def prepend

bendvy-ecs-core@0.1.0.4 · machine_handler_engine.bend:16

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

16def prepend(~S:Data,~State:Type,~Entry:Type,~Phase:Data,~V:Data,~invoke:Entry -> State -> Phase -> V -> V -> Entry & Sys.Outcome<State,String,Unit>,~initial:Entry -> State -> V -> Entry & Sys.Outcome<State,String,Unit>,~exitPhase:Phase,~transitionPhase:Phase,~enterPhase:Phase,head:Entry,tail:PhaseResult<State,Entry>) -> PhaseResult<State,Entry>:
17  match tail:
18    case Complete{entries,world}: Complete{head <> entries,world}
19    case Failed{entries,world,error}: Failed{head <> entries,world,error}