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