Fold.Types

Documentation

data Fold a b

Processes inputs of type a and results in a value of type b

Instances

Applicative (Fold a)

Defined in Fold.Pure.Type

Methods

pure :: a0 -> Fold a a0

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

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

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

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

Functor (Fold a)

Defined in Fold.Pure.Type

Methods

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

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

Monoid b => Monoid (Fold a b)

Defined in Fold.Pure.Type

Methods

mempty :: Fold a b

mappend :: Fold a b -> Fold a b -> Fold a b

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

Semigroup b => Semigroup (Fold a b)

Defined in Fold.Pure.Type

Methods

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

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

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

data NonemptyFold a b

Processes at least one input of type a and results in a value of type 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

data EffectfulFold m a b

Processes inputs of type a and results in an effectful value of type m b

Instances

Applicative m => Applicative (EffectfulFold m a)

Defined in Fold.Effectful.Type

Methods

pure :: a0 -> EffectfulFold m a a0

(<*>) :: EffectfulFold m a (a0 -> b) -> EffectfulFold m a a0 -> EffectfulFold m a b

liftA2 :: (a0 -> b -> c) -> EffectfulFold m a a0 -> EffectfulFold m a b -> EffectfulFold m a c

(*>) :: EffectfulFold m a a0 -> EffectfulFold m a b -> EffectfulFold m a b

(<*) :: EffectfulFold m a a0 -> EffectfulFold m a b -> EffectfulFold m a a0

Functor m => Functor (EffectfulFold m a)

Defined in Fold.Effectful.Type

Methods

fmap :: (a0 -> b) -> EffectfulFold m a a0 -> EffectfulFold m a b

(<$) :: a0 -> EffectfulFold m a b -> EffectfulFold m a a0

(Monoid b, Monad m) => Monoid (EffectfulFold m a b)

Defined in Fold.Effectful.Type

Methods

mempty :: EffectfulFold m a b

mappend :: EffectfulFold m a b -> EffectfulFold m a b -> EffectfulFold m a b

mconcat :: [EffectfulFold m a b] -> EffectfulFold m a b

(Semigroup b, Monad m) => Semigroup (EffectfulFold m a b)

Defined in Fold.Effectful.Type

Methods

(<>) :: EffectfulFold m a b -> EffectfulFold m a b -> EffectfulFold m a b

sconcat :: NonEmpty (EffectfulFold m a b) -> EffectfulFold m a b

stimes :: Integral b0 => b0 -> EffectfulFold m a b -> EffectfulFold m a b

data ShortcutFold a b

Processes inputs of type a, has the ability to halt midway through the stream, and results in a value of type b

Instances

Applicative (ShortcutFold a)

Defined in Fold.Shortcut.Type

Methods

pure :: a0 -> ShortcutFold a a0

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

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

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

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

Functor (ShortcutFold a)

Defined in Fold.Shortcut.Type

Methods

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

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

Monoid b => Monoid (ShortcutFold a b)

Defined in Fold.Shortcut.Type

Methods

mempty :: ShortcutFold a b

mappend :: ShortcutFold a b -> ShortcutFold a b -> ShortcutFold a b

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

Semigroup b => Semigroup (ShortcutFold a b)

Defined in Fold.Shortcut.Type

Methods

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

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

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

data ShortcutNonemptyFold a b

Processes at least one input of type a, has the ability to halt midway through the stream, and results in a value of type b

Instances

Applicative (ShortcutNonemptyFold a)

Defined in Fold.ShortcutNonempty.Type

Methods

pure :: a0 -> ShortcutNonemptyFold a a0

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

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

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

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

Functor (ShortcutNonemptyFold a)

Defined in Fold.ShortcutNonempty.Type

Methods

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

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

Monoid b => Monoid (ShortcutNonemptyFold a b)

Defined in Fold.ShortcutNonempty.Type

Methods

mempty :: ShortcutNonemptyFold a b

mappend :: ShortcutNonemptyFold a b -> ShortcutNonemptyFold a b -> ShortcutNonemptyFold a b

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

Semigroup b => Semigroup (ShortcutNonemptyFold a b)

Defined in Fold.ShortcutNonempty.Type

Methods

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

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

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