~/jendhub

def Ops

bendvy-ecs-core@0.1.0.4 · ordinary_recovery_resource.bend:13

import bendvy-ecs-core@0.1.0.4/ordinary_recovery_resource.bend as OrdinaryRecoveryResource
import Base
import bendvy-ecs-core@0.1.0.4/ordinary_recoverable_array_resource.bend as F
import bendvy-ecs-core@0.1.0.4/ordinary_schema.bend as Schema

13# Canonical World resource target and generated recovery path; no caller inverse.
14# Nominal recoverable Array<P> resource capability family with whole-array
15# replace and bounded element swap. P may be arbitrary affine Type; this does
16# not provide automatic inverses for unrelated resource mutations.
17def Ops(~S:Data,~P:Type,~identity:Schema.Resource<S,Array<P>>,H:Type) -> Type:F.Write<S,P,identity,H>

Uses (3)

Used by (1)