Safe Haskell	Safe-Inferred
Language	GHC2021

Fold.Nonempty.Type

Synopsis

data NonemptyFold a b = forall x.NonemptyFold {
- initial :: a -> x
- step :: x -> a -> x
- extract :: x -> b
}

Documentation

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 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 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) 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 #