def ResourceReadSelection

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

import bendvy-ecs-core@0.1.0.3/execution_builder.bend as ExecutionBuilder

import Base

44def ResourceReadSelection(~S:Data,~C:Type,~R:Type,~H:Type,~B:Type,~Ops:Type -> Type) -> Type:
45  @-basic:BasicResourceRead(~S,~C,~R,~H,~B) -> @-general:GeneralResourceRead(~S,~C,~R,~H,~B) -> @-failure:FailureRead(~S,~C,~R,~H,~B) -> @-general_failure:GeneralFailureRead(~S,~C,~R,~H,~B) -> B -> B & Ops(H)

Uses (5)

Used by (3)