folds-0.2: Beautiful Folding
Data.Fold.L
Synopsis
data L a b Source
Constructors
Instances
efficient prefix, leaky postfix
prefix
postfix
We can convert from a lazy left folding to a strict left folding.
We can convert from a lazy left folding to a right or monoidal fold
unfoldL :: (s -> (b, a -> s)) -> s -> L a bSource
Construct a Moore machine from a state valuation and transition function