mlbend-select

Releases (1):
  0.1.0.0  0xf6594aa2392363c8ab774bc81fb20b9d  indexed  https://jend.leeeet.dev/files.txt?path=mlbend-select@0.1.0.0

Definitions (9):
  MlbendSelect.Fold (https://jend.leeeet.dev/definition.txt?path=mlbend-select@0.1.0.0/main.bend&name=Fold)
   type Fold is Data:
     Fold{test: List<&2, Nat>, train: List<&2, Nat>}
  MlbendSelect.select_covers (https://jend.leeeet.dev/definition.txt?path=mlbend-select@0.1.0.0/main.bend&name=select_covers)
   # LAW (select_covers): every row of the dataset is in exactly one fold —
   # the fold list holds one entry per row, so the folds cover the dataset
   # exactly once each.
   law select_covers:
     for labels: List<&2, Nat>
     for +orders: List<&2, List<&2, Nat>>
     for +k: Nat
     for +i: Nat
     {Split.count_rows(Split.folds_from(labels, orders, k, i)) == List.length(&2, Nat, labels) : Nat}
  MlbendSelect.fold_of (https://jend.leeeet.dev/definition.txt?path=mlbend-select@0.1.0.0/main.bend&name=fold_of)
   # The rows of the fold f: the ones that test and the ones that train.
   def fold_of(+fs: List<&2, Nat>, +f: Nat) -> Fold:
  MlbendSelect.fold_size (https://jend.leeeet.dev/definition.txt?path=mlbend-select@0.1.0.0/main.bend&name=fold_size)
   # The number of rows of the fold f.
   def fold_size(fs: List<&2, Nat>, f: Nat) -> Nat:
  MlbendSelect.fold_sizes_go (https://jend.leeeet.dev/definition.txt?path=mlbend-select@0.1.0.0/main.bend&name=fold_sizes_go)
   # The number of rows of each fold.
   def fold_sizes_go(+fs: List<&2, Nat>, k: Nat, +acc: List<&2, Nat>) -> List<&2, Nat>:
  MlbendSelect.fold_sizes (https://jend.leeeet.dev/definition.txt?path=mlbend-select@0.1.0.0/main.bend&name=fold_sizes)
   # The number of rows of each fold.
   def fold_sizes(fs: List<&2, Nat>, k: Nat) -> List<&2, Nat>:
  MlbendSelect.folds (https://jend.leeeet.dev/definition.txt?path=mlbend-select@0.1.0.0/main.bend&name=folds)
   # The fold of every row of the dataset, in the order of the rows.
   def folds(labels: List<&2, Nat>, seed: U32, k: Nat) -> List<&2, Nat>:
  MlbendSelect.folds_go (https://jend.leeeet.dev/definition.txt?path=mlbend-select@0.1.0.0/main.bend&name=folds_go)
   # The rows of every fold.
   def folds_go(+fs: List<&2, Nat>, k: Nat, +acc: List<&2, Fold>) -> List<&2, Fold>:
  MlbendSelect.folds_of (https://jend.leeeet.dev/definition.txt?path=mlbend-select@0.1.0.0/main.bend&name=folds_of)
   # The rows of every fold: the test rows of each fold, and the training
   # rows of each fold.
   def folds_of(labels: List<&2, Nat>, seed: U32, +k: Nat) -> List<&2, Fold>: