~/jendhub

def next_values

bendvy-ecs-core@0.1.0.4 · ordinary_binding_provision.bend:73

import bendvy-ecs-core@0.1.0.4/ordinary_binding_provision.bend as OrdinaryBindingProvision
import Base

73def next_values(~C:Type,~right:C -> U32 -> C & List<&2,Maybe<&2,String>>,id:U32,result:C & List<&2,Maybe<&2,String>>) -> C & List<&2,Maybe<&2,String>>:
74  match result:
75    case (store,before):joined(~C,~String,before,right(store,id))

Uses (7)

Used by (1)