Fold.Nonempty.Type

Documentation

data NonemptyFold a b

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

Constructors

forall x. NonemptyFold

Fields

• initial :: a -> x
• step :: x -> a -> x
• extract :: x -> b

Instances

Applicative (NonemptyFold a)

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)

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)

Defined in Fold.Nonempty.Type

Methods

mempty :: NonemptyFold a b

mappend :: NonemptyFold a b -> NonemptyFold a b -> NonemptyFold a b

mconcat :: [NonemptyFold a b] -> NonemptyFold a b

Semigroup b => Semigroup (NonemptyFold a b)

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