def counted_row

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

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

import Base

64def counted_row(~P:Type,row:Row<P>,result:List<Row<P>> & Nat) -> List<Row<P>> & Nat:
65  match result:
66    case (rows,count):(row <> rows,1n+count)

Uses (5)

Used by (1)

bendvy-ecs-core@0.1.0.3/owned_event_log:count_rows