def one_hot_count_go

mlbend-preprocess@0.1.0.0 · main.bend:278

import mlbend-preprocess@0.1.0.0/main.bend as MlbendPreprocess

import Base

278# The number of rows of a one-hot matrix, counted.
279def one_hot_count_go(+labels: List<&2, Nat>, +acc: Nat) -> Nat:
280  match labels:
281    case Nil{}:
282      acc
283    case Con{h, t}:
284      one_hot_count_go(t, Nat.add(acc, 1n))

Uses (3)

List
Nat
Nat.add

Used by (0)

No other definition uses this definition.