def executed

bendvy-ecs-core@0.1.0.4 · query_contract.bend:56

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

56def executed(~World: Type,~U: Data,~Out: Data,+entityId: Key.Key,observed: Q.Executed<World,Q.Error<U>,Out>) -> Executed<World,U,Out>:
57  match observed:
58    case Q.Executed{world,T.Failure{error},_}: Executed{world,Fail{BodyError{error}}}
59    case Q.Executed{world,T.Success{},value <> []}: Executed{world,Done{value}}
60    case Q.Executed{world,T.Success{},[]}: Executed{world,Fail{QueryMismatch{entityId}}}
61    case Q.Executed{world,T.Success{},_}: Executed{world,Fail{QueryMismatch{entityId}}}