Safe Haskell | Safe-Inferred |
---|---|
Language | GHC2021 |
Synopsis
- motivate :: ShortcutNonemptyFold a b -> ShortcutNonemptyFold a b
- demotivate :: ShortcutNonemptyFold a b -> ShortcutNonemptyFold a b
- duplicate :: ShortcutNonemptyFold a b -> ShortcutNonemptyFold a (ShortcutFold a b)
- withVitality :: ShortcutNonemptyFold a b -> ShortcutNonemptyFold a (Vitality' b)
- repeatedly :: forall x xs result. (forall b. ShortcutNonemptyFold x b -> xs -> b) -> ShortcutNonemptyFold x result -> ShortcutNonemptyFold xs result
- premap :: (a -> b) -> ShortcutNonemptyFold b r -> ShortcutNonemptyFold a r
Documentation
motivate :: ShortcutNonemptyFold a b -> ShortcutNonemptyFold a b Source #
demotivate :: ShortcutNonemptyFold a b -> ShortcutNonemptyFold a b Source #
Causes a shortcut fold to stop once it becomes ambivalent
duplicate :: ShortcutNonemptyFold a b -> ShortcutNonemptyFold a (ShortcutFold a b) Source #
Allows to continue feeding a fold even after passing it to a function that closes it
withVitality :: ShortcutNonemptyFold a b -> ShortcutNonemptyFold a (Vitality' b) Source #
:: forall x xs result. (forall b. ShortcutNonemptyFold x b -> xs -> b) | A witness to the fact that |
-> ShortcutNonemptyFold x result | |
-> ShortcutNonemptyFold xs result |
Convert a nonempty fold for a single item (x
) into a
nonempty fold for nonempty lists of items (xs
)
premap :: (a -> b) -> ShortcutNonemptyFold b r -> ShortcutNonemptyFold a r Source #
Applies a function to each input before processing