def invocation_fields

bendvy-ecs-core@0.1.0.4 · ordinary_app_execution_recipe.bend:106

import Base
import bendvy-ecs-core@0.1.0.4/ordinary_app_records.bend as Leaf
import bendvy-ecs-core@0.1.0.4/ordinary_app_registration_fields.bend as Records

106# Advanced owner-returning fold exposing this invocation's single field record.
107# Arguments, outputs and actual token remain retained unchanged.
108def invocation_fields(~S:Data,~Token:Type,~Args:Data,~Out:Data,value:Invocation<S,Token,Args,Out>) -> Invocation<S,Token,Args,Out> & List<&2,Records.Fields<S>>:
109  match value:
110    case Invocation{Leaf.Record{token,+fields},args,outputs}:(Invocation{Leaf.Record{token,fields},args,outputs},[fields])