def append

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

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

import Base

11def append(~P:Type,log:Log<P>,payload:P) -> Log<P> & Nat:
12  match log:
13    case Log{+next,rows}:(Log{1n+next,List.append(&1,Row<P>,rows,[Row{next,payload}])},next)

Uses (7)

Used by (2)