QueryContract.executed: def of bendvy-ecs-core@0.1.0.4
Import: import bendvy-ecs-core@0.1.0.4/query_contract.bend as QueryContract
Lines 56-61 of bendvy-ecs-core@0.1.0.4/query_contract.bend: https://jend.leeeet.dev/read.txt?path=bendvy-ecs-core@0.1.0.4/query_contract.bend&start_line=56&end_line=61

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

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

Uses (8):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Result
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/compose.bend&name=Error
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/compose.bend&name=Executed
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/entity_key.bend&name=Key
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/query_contract.bend&name=Error
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/query_contract.bend&name=Executed
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/transaction.bend&name=Outcome