def left

bendvy-ecs-core@0.1.0.4 · owned_compose.bend:29

import bendvy-ecs-core@0.1.0.4/owned_compose.bend as OwnedCompose

import Base
import transaction.bend as T
import compose.bend as Q

29def left(~S:Data,~Store:Type,~R:Type,~E:Data,~H:Type,~U:Data,~Out:Data,~leave:H -> Q.Frame<S,Store,R,E>,observed:H & (T.Outcome<U> & Out)) -> Q.Frame<S,Store,R,E> & (T.Outcome<U> & Out):
30  match observed:
31    case (owner,result): (leave(owner),result)

Uses (4)

Used by (2)