Control.Foldl.NonEmpty

This module provides a Fold1 type that is a "non-empty" analog of the Fold type, meaning that it requires at least one input element in order to produce a result

This module does not provide all of the same utilities as the Control.Foldl module. Instead, this module only provides the utilities which can make use of the non-empty input guarantee (e.g. head). For all other utilities you can convert them from the equivalent Fold using fromFold.

Documentation

data Fold1 a b

A Fold1 is like a Fold except that it consumes at least one input element

Constructors

Fold1 (a -> Fold a b)

Instances

Profunctor Fold1

Defined in Control.Foldl.NonEmpty

Methods

dimap :: (a -> b) -> (c -> d) -> Fold1 b c -> Fold1 a d

lmap :: (a -> b) -> Fold1 b c -> Fold1 a c

rmap :: (b -> c) -> Fold1 a b -> Fold1 a c

(#.) :: forall a b c q. Coercible c b => q b c -> Fold1 a b -> Fold1 a c

(.#) :: forall a b c q. Coercible b a => Fold1 b c -> q a b -> Fold1 a c

Applicative (Fold1 a)

Defined in Control.Foldl.NonEmpty

Methods

pure :: a0 -> Fold1 a a0

(<*>) :: Fold1 a (a0 -> b) -> Fold1 a a0 -> Fold1 a b

liftA2 :: (a0 -> b -> c) -> Fold1 a a0 -> Fold1 a b -> Fold1 a c

(*>) :: Fold1 a a0 -> Fold1 a b -> Fold1 a b

(<*) :: Fold1 a a0 -> Fold1 a b -> Fold1 a a0

Functor (Fold1 a)

Defined in Control.Foldl.NonEmpty

Methods

fmap :: (a0 -> b) -> Fold1 a a0 -> Fold1 a b

(<$) :: a0 -> Fold1 a b -> Fold1 a a0

Monoid b => Monoid (Fold1 a b)

Defined in Control.Foldl.NonEmpty

Methods

mempty :: Fold1 a b

mappend :: Fold1 a b -> Fold1 a b -> Fold1 a b

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

Semigroup b => Semigroup (Fold1 a b)

Defined in Control.Foldl.NonEmpty

Methods

(<>) :: Fold1 a b -> Fold1 a b -> Fold1 a b

sconcat :: NonEmpty (Fold1 a b) -> Fold1 a b

stimes :: Integral b0 => b0 -> Fold1 a b -> Fold1 a b

Floating b => Floating (Fold1 a b)

Defined in Control.Foldl.NonEmpty

Methods

pi :: Fold1 a b

exp :: Fold1 a b -> Fold1 a b

log :: Fold1 a b -> Fold1 a b

sqrt :: Fold1 a b -> Fold1 a b

(**) :: Fold1 a b -> Fold1 a b -> Fold1 a b

logBase :: Fold1 a b -> Fold1 a b -> Fold1 a b

sin :: Fold1 a b -> Fold1 a b

cos :: Fold1 a b -> Fold1 a b

tan :: Fold1 a b -> Fold1 a b

asin :: Fold1 a b -> Fold1 a b

acos :: Fold1 a b -> Fold1 a b

atan :: Fold1 a b -> Fold1 a b

sinh :: Fold1 a b -> Fold1 a b

cosh :: Fold1 a b -> Fold1 a b

tanh :: Fold1 a b -> Fold1 a b

asinh :: Fold1 a b -> Fold1 a b

acosh :: Fold1 a b -> Fold1 a b

atanh :: Fold1 a b -> Fold1 a b

log1p :: Fold1 a b -> Fold1 a b

expm1 :: Fold1 a b -> Fold1 a b

log1pexp :: Fold1 a b -> Fold1 a b

log1mexp :: Fold1 a b -> Fold1 a b

Num b => Num (Fold1 a b)

Defined in Control.Foldl.NonEmpty

Methods

(+) :: Fold1 a b -> Fold1 a b -> Fold1 a b

(-) :: Fold1 a b -> Fold1 a b -> Fold1 a b

(*) :: Fold1 a b -> Fold1 a b -> Fold1 a b

negate :: Fold1 a b -> Fold1 a b

abs :: Fold1 a b -> Fold1 a b

signum :: Fold1 a b -> Fold1 a b

fromInteger :: Integer -> Fold1 a b

Fractional b => Fractional (Fold1 a b)

Defined in Control.Foldl.NonEmpty

Methods

(/) :: Fold1 a b -> Fold1 a b -> Fold1 a b

recip :: Fold1 a b -> Fold1 a b

fromRational :: Rational -> Fold1 a b

fold1 :: Fold1 a b -> NonEmpty a -> b

Apply a strict left Fold1 to a NonEmpty list

fromFold :: Fold a b -> Fold1 a b

Promote any Fold to an equivalent Fold1

sconcat :: Semigroup a => Fold1 a a

Fold all values within a non-empty container using (<>)

head :: Fold1 a a

Get the first element of a non-empty container

last :: Fold1 a a

Get the last element of a non-empty container

maximum :: Ord a => Fold1 a a

Computes the maximum element

maximumBy :: (a -> a -> Ordering) -> Fold1 a a

Computes the maximum element with respect to the given comparison function

minimum :: Ord a => Fold1 a a

Computes the minimum element

minimumBy :: (a -> a -> Ordering) -> Fold1 a a

Computes the minimum element with respect to the given comparison function