Seq

Seq module: lazy fold-based sequences (church-encoded). Seq(a) wraps fn(b, fn(b, a) -> b) -> b. Enum operates eagerly on Lists; Seq operates lazily over I/O or generated sequences.

Types

ptypeStepStep(a) = Continue(a) | Halt(a)#

ptypeSeqSeq(a) = Seq(a)#

Functions

fnfrom_listfrom_list(xs)#

fnemptyempty()#

fnunfoldunfold(seed, next)#

fnconcatconcat(s1, s2)#

fnmapmap(seq, f)#

fnfilterfilter(seq, pred)#

fnflat_mapflat_map(seq, f)#

fntaketake(seq, n)#

fndropdrop(seq, n)#

fnzipzip(s1, s2)#

fnbatchbatch(seq, n)#

fnto_listto_list(seq)#

fnfoldfold(seq, start, f)#

fnfold_whilefold_while(seq, start, f)#

fneacheach(seq, f)#

fncountcount(seq)#

fnfindfind(seq, pred)#

fnanyany(seq, pred)#

fnallall(seq, pred)#