def ResourceWriteSelection

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

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

import Base

54def ResourceWriteSelection(~S:Data,~C:Type,~R:Type,~H:Type,~B:Type,~Ops:Type -> Type) -> Type:
55  @-basic:BasicResourceWrite(~S,~C,~R,~H,~B) -> @-general:GeneralResourceWrite(~S,~C,~R,~H,~B) -> B -> B & Ops(H)

Uses (3)

Used by (3)