def mixed_outcome_result

bendvy-ecs-core@0.1.0.4 · ordinary_reader_system.bend:348

import Base
import bendvy-ecs-core@0.1.0.4/world.bend as W
import bendvy-ecs-core@0.1.0.4/system.bend as Sys

348def mixed_outcome_result(~S:Data,~C:Type,~R:Type,~E:Data,~Meta:Type,~Context:Type,~Reader:Type,~Parameter:Type,~Declaration:Type,~Args:Type,~Failure:Data,~Output:Type,
349  ~runFn:W.World<S,C,R,E> -> Invocation<Meta,Reader,Parameter,Declaration,Args> -> Sys.Outcome<W.World<S,C,R,E>,Empty,Envelope<Meta,Reader,Parameter,Declaration,Failure,Output>>,
350  ~join:W.World<S,C,R,E> -> Meta -> Context,
351  registry:Sys.Registry<S,C,R,E,Invocation<Meta,Reader,Parameter,Declaration,Args>,Empty,Envelope<Meta,Reader,Parameter,Declaration,Failure,Output>,runFn>,outcome:Sys.Outcome<W.World<S,C,R,E>,Empty,Envelope<Meta,Reader,Parameter,Declaration,Failure,Output>>) -> RunResult<Context,Provider<Sys.Registry<S,C,R,E,Invocation<Meta,Reader,Parameter,Declaration,Args>,Empty,Envelope<Meta,Reader,Parameter,Declaration,Failure,Output>,runFn>,Reader,Parameter,Declaration>,Args,Failure,Output>:
352  match outcome:
353    case Sys.Failed{world,error}:Empty.absurd(RunResult<Context,Provider<Sys.Registry<S,C,R,E,Invocation<Meta,Reader,Parameter,Declaration,Args>,Empty,Envelope<Meta,Reader,Parameter,Declaration,Failure,Output>,runFn>,Reader,Parameter,Declaration>,Args,Failure,Output>,error)
354    case Sys.Succeeded{world,output}:mixed_envelope_result(~S,~C,~R,~E,~Meta,~Context,~Reader,~Parameter,~Declaration,~Args,~Failure,~Output,~runFn,~join,registry,world,output)