~/jendhub

def enabled_barrier

bendvy-ecs-core@0.1.0.4 · ordinary_app_execution.bend:177

import bendvy-ecs-core@0.1.0.4/ordinary_app_execution.bend as OrdinaryAppExecution
import Base
import bendvy-ecs-core@0.1.0.4/world.bend as W

177def enabled_barrier(~S:Data,~C:Type,~R:Type,~E:Data,~H:Type,~Error:Data,result:(H & Journal<Error>) & W.World<S,C,R,E>) -> (H & ExecutionState<Error>) & W.World<S,C,R,E>:
178  match result:
179    case ((owners,journal),world):((owners,On{journal}),world)

Uses (5)

Used by (1)