type Declaration

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

import Base
import bendvy-ecs-core@0.1.0.4/recovery_use.bend as Use

14# Static recovery description for State, recovery owner and operation family Ops.
15# Canonical component/resource/capture modules supply matching builders, empty
16# recovery constructors and typed use descriptions. Arbitrary affine Type
17# payloads are supported by those operations; this is not automatic rollback for
18# all functions, external IO or arbitrary payload mutation.
19# The classic Declaration form has opaque use metadata. Automatic App recovery
20# registration requires a complete description and refuses that opaque form;
21# the classic runner remains available. See docs/parity/recovery.md for the
22# accepted operation domains, owner-return rules and qualified scenarios.
23type Declaration<-S:Data,-State:Type,-Recovery:Type,-Ops:Type -> Type,-builder:Builder(~State,~Recovery,~Ops)> is Type:
24  Declaration{empty:Unit -> Recovery,access:List<&2,String>}
25  Described{empty:Unit -> Recovery,access:List<&2,String>,description:Use.Description}