~/jendhub

def description

bendvy-ecs-core@0.1.0.4 · ordinary_owned_event_declaration.bend:58

import bendvy-ecs-core@0.1.0.4/ordinary_owned_event_declaration.bend as OrdinaryOwnedEventDeclaration
import Base

58# Consume a declaration and obtain its detached event-use description.
59# Legacy Declaration yields an opaque description; Described yields the supplied
60# one. This operation does not read logs, advance readers or publish events.
61def description(~S:Data,~State:Type,~Recovery:Type,~Ops:Type -> Type,~builder:Builder(~State,~Recovery,~Ops),value:Declaration<S,State,Recovery,Ops,builder>) -> Description:
62  match value:
63    case Declaration{_,_}:Description{[],True{}}
64    case Described{_,_,description}:description

Uses (5)

Used by (3)