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

Fold.Nonempty.Type

Synopsis

Documentation

data NonemptyFold a b Source #

Processes at least one input of type a and results in a value of type b

Constructors

forall x. NonemptyFold 

Fields

Instances

Instances details
Applicative (NonemptyFold a) Source # 
Instance details

Defined in Fold.Nonempty.Type

Methods

pure :: a0 -> NonemptyFold a a0 #

(<*>) :: NonemptyFold a (a0 -> b) -> NonemptyFold a a0 -> NonemptyFold a b #

liftA2 :: (a0 -> b -> c) -> NonemptyFold a a0 -> NonemptyFold a b -> NonemptyFold a c #

(*>) :: NonemptyFold a a0 -> NonemptyFold a b -> NonemptyFold a b #

(<*) :: NonemptyFold a a0 -> NonemptyFold a b -> NonemptyFold a a0 #

Functor (NonemptyFold a) Source # 
Instance details

Defined in Fold.Nonempty.Type

Methods

fmap :: (a0 -> b) -> NonemptyFold a a0 -> NonemptyFold a b #

(<$) :: a0 -> NonemptyFold a b -> NonemptyFold a a0 #

Monoid b => Monoid (NonemptyFold a b) Source # 
Instance details

Defined in Fold.Nonempty.Type

Semigroup b => Semigroup (NonemptyFold a b) Source # 
Instance details

Defined in Fold.Nonempty.Type

Methods

(<>) :: NonemptyFold a b -> NonemptyFold a b -> NonemptyFold a b #

sconcat :: NonEmpty (NonemptyFold a b) -> NonemptyFold a b #

stimes :: Integral b0 => b0 -> NonemptyFold a b -> NonemptyFold a b #