gambler-0.1.0.0: Composable, streaming, and efficient left folds
Safe HaskellSafe-Inferred
LanguageGHC2021

Fold.Nonempty.Conversion

Description

Getting a NonemptyFold from some other type of fold

Synopsis

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