~/jendhub

def root_grant

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

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

73# Advanced runner projection: instantiate the matching builder at the complete
74# recovery owner with its identity lens. Returns operations, not live state;
75# registration, journal execution and recovery results belong to
76# ordinary-recovery-system. Use canonical declaration constructors for gameplay.
77def root_grant(~S:Data,~State:Type,~Recovery:Type,~Ops:Type -> Type,~builder:Builder(~State,~Recovery,~Ops)) -> Ops(Frame.Frame<State,Recovery>):builder(Recovery,Unit,identity(~Recovery),Unit{})

Uses (4)

Used by (1)