Fold.Shortcut.Utilities

Documentation

motivate :: ShortcutFold a b -> ShortcutFold a b

demotivate :: ShortcutFold a b -> ShortcutFold a b

Causes a shortcut fold to stop once it becomes ambivalent

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

Allows to continue feeding a fold even after passing it to a function that closes it

withVitality :: ShortcutFold a b -> ShortcutFold a (Vitality' b)

repeatedly

Arguments

:: forall x xs result. (forall b. ShortcutFold x b -> xs -> b)

A witness to the fact that xs is a list of x

-> 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

Applies a function to each input before processing