def Builder

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

import Base
import bendvy-ecs-core@0.1.0.4/owner_product.bend as Product
import bendvy-ecs-core@0.1.0.4/ordinary_recoverable_array_resource.bend as Frame

6# Builder is an erased type index, like a Registry runner. It is specialized
7# at the closed recovery product before any executable grant is materialized.
8# Advanced erased grant-builder type for canonical recovery declarations.
9# Specializes operations to the closed recovery product and an owner-preserving
10# lens into that product. Ordinary bodies receive the generated Ops; they do not
11# supply runtime journal routes or inverse callbacks themselves.
12def Builder(~State:Type,~Recovery:Type,~Ops:Type -> Type) -> Type:
13  @-All:Type -> @-Rest:Type -> @-path:Product.Lens<All,Recovery,Rest> -> Unit -> Ops(Frame.Frame<State,All>)