Fold.Shortcut.Type

Documentation

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

Constructors

forall x y. ShortcutFold

Fields

• initial :: Vitality x y
• step :: y -> a -> Vitality x y
• extract :: Vitality x y -> 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 Will

Constructors

Ambivalent

Tenacious

Instances

Monoid Will

Defined in Strict

Methods

mempty :: Will

mappend :: Will -> Will -> Will

mconcat :: [Will] -> Will

Semigroup Will

Defined in Strict

Methods

(<>) :: Will -> Will -> Will

sconcat :: NonEmpty Will -> Will

stimes :: Integral b => b -> Will -> Will

data Vitality a b

Constructors

Dead a

Alive Will b

Instances

Functor (Vitality a)

Defined in Strict

Methods

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

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

type Vitality' a = Vitality a a