~/jendhub

def append_rows

bendvy-ecs-core@0.1.0.3 · owned_event_log.bend:20

import bendvy-ecs-core@0.1.0.3/owned_event_log.bend as OwnedEventLog
import Base

20def append_rows(~P:Type,payloads:List<P>,log:Log<P>) -> Log<P> & List<&2,Nat>:
21  match payloads:
22    case []:(log,[])
23    case payload <> rest:append_remaining(~P,next => append_rows(~P,rest,next),append(~P,log,payload))

Uses (7)

Used by (1)