~/jendhub

def access

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

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

33# Consume a declaration and obtain its declared registration access names.
34# Order and duplicates are retained. These strings are metadata, not a journal
35# route or a replacement for the declaration's typed operation authority.
36def access(~S:Data,~State:Type,~Recovery:Type,~Ops:Type -> Type,~builder:Builder(~State,~Recovery,~Ops),value:Declaration<S,State,Recovery,Ops,builder>) -> List<&2,String>:
37  match value:
38    case Declaration{_,access}:access
39    case Described{_,access,_}:access

Uses (4)

Used by (2)