repo.blue

Contract

Core
Blue ID: AERp8BWnuUsjoPciAeNXuUWS9fmqPNMdWbxmKn3tcitx

Core type of Blue Language v1.0 (see https://language.blue). Base for all contracts (channels, handlers, markers). Contracts live under a scope's contracts map (keyed by Text). At runtime, contract processors execute deterministically and only through explicit operations; there are no implicit side effects.

Type Definition
YAML representation of the type document
Loading...