def FrameworkProgram

bendvy-ecs-core@0.1.0.3 · execution_builder.bend:116

import Base
import bendvy-ecs-core@0.1.0.3/execution_effects.bend as E
import bendvy-ecs-core@0.1.0.3/world.bend as W

116# Trusted compiler kernel. Ordinary application Programs never receive token.
117def FrameworkProgram(~S:Data,~WC:Type,~C:Type,~R:Type,~Ops:Data -> (Type -> Type) -> Type -> Type) -> Type:
118  @-Permit:Data -> @-token:Permit -> @-F:(Type -> Type) -> @-effects:E.Effects<F> -> @-request:(Permit -> F(W.Reservation<S>)) -> @-H:Type -> @-B:Type -> @-builder:Builder(~S,~WC,~C,~R,~Permit,~F,~H,~B) -> B -> B & Ops(Permit,F,H)