~/jendhub

def empty

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

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

44# Consume a declaration and obtain its fresh recovery-owner constructor.
45# It initializes the finish-time recovery accumulator; it does not copy payloads,
46# publish an event, retire a log entry or execute cleanup.
47def empty(~S:Data,~State:Type,~Recovery:Type,~Ops:Type -> Type,~builder:Builder(~State,~Recovery,~Ops),value:Declaration<S,State,Recovery,Ops,builder>) -> Unit -> Recovery:
48  match value:
49    case Declaration{empty,_}:empty
50    case Described{empty,_,_}:empty

Uses (3)

Used by (4)