Module effect_capability 

Structs

CapabilityDefinition

One immutable compiler-owned capability definition.

CapabilityId

Stable compiler schema identity for one capability.

CapabilityOperation

One immutable operation exposed by a capability.

CapabilityOperationId

Stable compiler schema identity for one capability operation.

CapabilitySignature

One immutable signature owned by the compiler registry.

EffectCapabilityRegistry

The immutable, deterministic built-in registry for Phase F effects.

RuntimeCapabilityLowering

Stable runtime-facing lowering identity. F4 declares it but does not lower it.

StaticCapabilityPath

The externally authored static path that identifies one capability operation.

Enums

ArgumentSerializationPolicy

Whether operation arguments require structural serialization.

BuiltinCapabilityProvenance

Provenance for definitions that are part of the compiler schema rather than source input.

CapabilityOperationKind

The supported top-level effect operation forms.

CapabilityParameters

The fixed or variadic parameters accepted by one operation.

CapabilityResultPolicy

All Phase F v1 operations are terminal and return no value.

CapabilityValueContract

The canonical value shapes accepted by an operation signature.

Constants

EFFECT_CAPABILITY_REGISTRY

The one authoritative registry instance used by all compiler consumers.

EFFECT_CAPABILITY_REGISTRY_VERSION

The version of the compiler-owned effect capability registry schema.