~/jendhub

def count_rows

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

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

67def count_rows(~P:Type,rows:List<Row<P>>) -> List<Row<P>> & Nat:
68  match rows:
69    case []:([],0n)
70    case row <> rest:counted_row(~P,row,count_rows(~P,rest))

Uses (6)

Used by (1)