~/jendhub

def counted

bendvy-ecs-core@0.1.0.4 · ordinary_schema_provision.bend:17

import bendvy-ecs-core@0.1.0.4/ordinary_schema_provision.bend as OrdinarySchemaProvision
import Base
import bendvy-ecs-core@0.1.0.4/column.bend as Col

17def counted(~S:Data,~P:Type,total:U32,result:Col.Column<S,P> & Bool,ih:Col.Column<S,P> -> U32 -> Col.Column<S,P> & U32) -> Col.Column<S,P> & U32:
18  match result:
19    case (column,True{}):ih(column,(total + 1 : U32))
20    case (column,False{}):ih(column,total)

Uses (6)

Used by (1)