~/jendhub

def empty

bendvy-ecs-core@0.1.0.4 · ordinary_recovery_declaration.bend:26

import bendvy-ecs-core@0.1.0.4/ordinary_recovery_declaration.bend as OrdinaryRecoveryDeclaration
import Base

26# Consume a declaration and obtain its fresh recovery-owner constructor.
27# This constructs the accumulator used when a recovery runner finishes; it does
28# not execute operations, undo a transaction or copy live affine recovery values.
29def empty(~S:Data,~State:Type,~Recovery:Type,~Ops:Type -> Type,~builder:Builder(~State,~Recovery,~Ops),value:Declaration<S,State,Recovery,Ops,builder>) -> Unit -> Recovery:
30  match value:
31    case Declaration{empty,_}:empty
32    case Described{empty,_,_}:empty

Uses (3)

Used by (2)