Safe Haskell	Safe-Inferred
Language	GHC2021

Fold.ShortcutNonempty.Type

Synopsis

Documentation

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

Constructors

forall x y. ShortcutNonemptyFold
Fields initial :: a -> Vitality x y step :: y -> a -> Vitality x y extractDead :: x -> b extractLive :: y -> b

Instances details

Applicative (ShortcutNonemptyFold a) Source #
Instance details 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) Source #
Instance details 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) Source #
Instance details 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) Source #
Instance details 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 #

Constructors

Ambivalent
Tenacious

Instances details

Monoid Will Source #
Instance details Defined in Strict Methods mempty :: Will # mappend :: Will -> Will -> Will # mconcat :: [Will] -> Will #
Semigroup Will Source #
Instance details Defined in Strict Methods (<>) :: Will -> Will -> Will # sconcat :: NonEmpty Will -> Will # stimes :: Integral b => b -> Will -> Will #

Constructors

Dead a
Alive Will b

Instances details

Functor (Vitality a) Source #
Instance details Defined in Strict Methods fmap :: (a0 -> b) -> Vitality a a0 -> Vitality a b # (<$) :: a0 -> Vitality a b -> Vitality a a0 #