| Safe Haskell | Safe-Inferred |
|---|---|
| Language | GHC2021 |
Fold.Nonempty.Conversion
Description
Getting a NonemptyFold from some other type of fold
Synopsis
- fold :: Fold a b -> NonemptyFold a b
- effectfulFold :: EffectfulFold Identity a b -> NonemptyFold a b
- shortcutFold :: ShortcutFold a b -> NonemptyFold a b
- shortcutNonemptyFold :: ShortcutNonemptyFold a b -> NonemptyFold a b
Documentation
fold :: Fold a b -> NonemptyFold a b Source #
Turn a regular fold that allows empty input into a fold that requires at least one input
effectfulFold :: EffectfulFold Identity a b -> NonemptyFold a b Source #
Turn an effectful fold into a pure fold that requires at least one input
shortcutFold :: ShortcutFold a b -> NonemptyFold a b Source #
shortcutNonemptyFold :: ShortcutNonemptyFold a b -> NonemptyFold a b Source #