def drop_empty

mlbend-datasets@0.1.6.0 · main.bend:74

import mlbend-datasets@0.1.6.0/main.bend as MlbendDatasets

import Base

74# The lines of a file without its empty ones: a file ends with a
75# newline, and the line after it is empty.
76def drop_empty(lines: List<&2, String>) -> List<&2, String>:
77  List.filter(String, not_empty, lines)

Uses (4)

Used by (2)