| Alive | Fold.ShortcutNonempty.Type, Fold.Shortcut.Type, Fold |
| all | |
| 1 (Function) | Fold.Shortcut.Examples.Interesting, Fold.Shortcut.Examples, Fold.Shortcut, Fold |
| 2 (Function) | Fold.ShortcutNonempty.Examples.Boring, Fold.ShortcutNonempty.Examples, Fold.ShortcutNonempty |
| 3 (Function) | Fold.Pure.Examples.Boring, Fold.Pure.Examples, Fold.Pure |
| 4 (Function) | Fold.Nonempty.Examples.Boring, Fold.Nonempty.Examples, Fold.Nonempty |
| 5 (Function) | Fold.Effectful.Examples.Boring, Fold.Effectful.Examples, Fold.Effectful |
| Ambivalent | Fold.ShortcutNonempty.Type, Fold.Shortcut.Type, Fold |
| and | |
| 1 (Function) | Fold.Shortcut.Examples.Interesting, Fold.Shortcut.Examples, Fold.Shortcut, Fold |
| 2 (Function) | Fold.ShortcutNonempty.Examples.Boring, Fold.ShortcutNonempty.Examples, Fold.ShortcutNonempty |
| 3 (Function) | Fold.Pure.Examples.Boring, Fold.Pure.Examples, Fold.Pure |
| 4 (Function) | Fold.Nonempty.Examples.Boring, Fold.Nonempty.Examples, Fold.Nonempty |
| 5 (Function) | Fold.Effectful.Examples.Boring, Fold.Effectful.Examples, Fold.Effectful |
| any | |
| 1 (Function) | Fold.Shortcut.Examples.Interesting, Fold.Shortcut.Examples, Fold.Shortcut, Fold |
| 2 (Function) | Fold.ShortcutNonempty.Examples.Boring, Fold.ShortcutNonempty.Examples, Fold.ShortcutNonempty |
| 3 (Function) | Fold.Pure.Examples.Boring, Fold.Pure.Examples, Fold.Pure |
| 4 (Function) | Fold.Nonempty.Examples.Boring, Fold.Nonempty.Examples, Fold.Nonempty |
| 5 (Function) | Fold.Effectful.Examples.Boring, Fold.Effectful.Examples, Fold.Effectful |
| Dead | Fold.ShortcutNonempty.Type, Fold.Shortcut.Type, Fold |
| demotivate | |
| 1 (Function) | Fold.ShortcutNonempty.Utilities, Fold.ShortcutNonempty |
| 2 (Function) | Fold.Shortcut.Utilities, Fold.Shortcut |
| drop | |
| 1 (Function) | Fold.Pure.Utilities, Fold.Pure |
| 2 (Function) | Fold.Effectful.Utilities, Fold.Effectful |
| duplicate | |
| 1 (Function) | Fold.Pure.Utilities, Fold.Pure |
| 2 (Function) | Fold.Nonempty.Utilities, Fold.Nonempty |
| 3 (Function) | Fold.Effectful.Utilities, Fold.Effectful |
| duplicateEffectfulFold | Fold |
| duplicateFold | Fold |
| duplicateNonemptyFold | Fold |
| effect | Fold.Effectful.Examples.Interesting, Fold.Effectful.Examples, Fold.Effectful, Fold |
| EffectfulFold | |
| 1 (Type/Class) | Fold.Effectful.Type, Fold.Effectful, Fold, Fold.Types |
| 2 (Data Constructor) | Fold.Effectful.Type, Fold.Effectful, Fold |
| effectfulFold | |
| 1 (Function) | Fold.Pure.Conversion, Fold.Pure |
| 2 (Function) | Fold.ShortcutNonempty.Conversion, Fold.ShortcutNonempty |
| 3 (Function) | Fold.Shortcut.Conversion, Fold.Shortcut |
| 4 (Function) | Fold.Nonempty.Conversion, Fold.Nonempty |
| effectfulToNonempty | Fold |
| effectfulToPure | Fold |
| effectMonoid | Fold.Effectful.Examples.Interesting, Fold.Effectful.Examples, Fold.Effectful, Fold |
| element | |
| 1 (Function) | Fold.Shortcut.Examples.Interesting, Fold.Shortcut.Examples, Fold.Shortcut, Fold |
| 2 (Function) | Fold.ShortcutNonempty.Examples.Boring, Fold.ShortcutNonempty.Examples, Fold.ShortcutNonempty |
| 3 (Function) | Fold.Pure.Examples.Boring, Fold.Pure.Examples, Fold.Pure |
| 4 (Function) | Fold.Nonempty.Examples.Boring, Fold.Nonempty.Examples, Fold.Nonempty |
| 5 (Function) | Fold.Effectful.Examples.Boring, Fold.Effectful.Examples, Fold.Effectful |
| elementIndex | |
| 1 (Function) | Fold.Shortcut.Examples.Interesting, Fold.Shortcut.Examples, Fold.Shortcut, Fold |
| 2 (Function) | Fold.ShortcutNonempty.Examples.Boring, Fold.ShortcutNonempty.Examples, Fold.ShortcutNonempty |
| 3 (Function) | Fold.Pure.Examples.Boring, Fold.Pure.Examples, Fold.Pure |
| 4 (Function) | Fold.Nonempty.Examples.Boring, Fold.Nonempty.Examples, Fold.Nonempty |
| 5 (Function) | Fold.Effectful.Examples.Boring, Fold.Effectful.Examples, Fold.Effectful |
| emptyToNonempty | Fold |
| extract | |
| 1 (Function) | Fold.Pure.Type, Fold.Pure |
| 2 (Function) | Fold.Nonempty.Type, Fold.Nonempty |
| 3 (Function) | Fold.Effectful.Type, Fold.Effectful |
| extractDead | |
| 1 (Function) | Fold.ShortcutNonempty.Type, Fold.ShortcutNonempty |
| 2 (Function) | Fold.Shortcut.Type, Fold.Shortcut |
| extractLive | |
| 1 (Function) | Fold.ShortcutNonempty.Type, Fold.ShortcutNonempty |
| 2 (Function) | Fold.Shortcut.Type, Fold.Shortcut |
| find | |
| 1 (Function) | Fold.Shortcut.Examples.Interesting, Fold.Shortcut.Examples, Fold.Shortcut, Fold |
| 2 (Function) | Fold.ShortcutNonempty.Examples.Boring, Fold.ShortcutNonempty.Examples, Fold.ShortcutNonempty |
| 3 (Function) | Fold.Pure.Examples.Boring, Fold.Pure.Examples, Fold.Pure |
| 4 (Function) | Fold.Nonempty.Examples.Boring, Fold.Nonempty.Examples, Fold.Nonempty |
| 5 (Function) | Fold.Effectful.Examples.Boring, Fold.Effectful.Examples, Fold.Effectful |
| findIndex | |
| 1 (Function) | Fold.Shortcut.Examples.Interesting, Fold.Shortcut.Examples, Fold.Shortcut, Fold |
| 2 (Function) | Fold.ShortcutNonempty.Examples.Boring, Fold.ShortcutNonempty.Examples, Fold.ShortcutNonempty |
| 3 (Function) | Fold.Pure.Examples.Boring, Fold.Pure.Examples, Fold.Pure |
| 4 (Function) | Fold.Nonempty.Examples.Boring, Fold.Nonempty.Examples, Fold.Nonempty |
| 5 (Function) | Fold.Effectful.Examples.Boring, Fold.Effectful.Examples, Fold.Effectful |
| first | |
| 1 (Function) | Fold.ShortcutNonempty.Examples.Interesting, Fold.ShortcutNonempty.Examples, Fold.ShortcutNonempty, Fold |
| 2 (Function) | Fold.Shortcut.Examples.Boring, Fold.Shortcut.Examples, Fold.Shortcut |
| 3 (Function) | Fold.Pure.Examples.Boring, Fold.Pure.Examples, Fold.Pure |
| 4 (Function) | Fold.Nonempty.Examples.Boring, Fold.Nonempty.Examples, Fold.Nonempty |
| 5 (Function) | Fold.Effectful.Examples.Boring, Fold.Effectful.Examples, Fold.Effectful |
| Fold | |
| 1 (Type/Class) | Fold.Pure.Type, Fold.Pure, Fold, Fold.Types |
| 2 (Data Constructor) | Fold.Pure.Type, Fold.Pure, Fold |
| fold | |
| 1 (Function) | Fold.ShortcutNonempty.Conversion, Fold.ShortcutNonempty |
| 2 (Function) | Fold.Shortcut.Conversion, Fold.Shortcut |
| 3 (Function) | Fold.Nonempty.Conversion, Fold.Nonempty |
| 4 (Function) | Fold.Effectful.Conversion, Fold.Effectful |
| hoist | Fold.Effectful.Utilities, Fold.Effectful, Fold |
| index | |
| 1 (Function) | Fold.Shortcut.Examples.Interesting, Fold.Shortcut.Examples, Fold.Shortcut, Fold |
| 2 (Function) | Fold.ShortcutNonempty.Examples.Boring, Fold.ShortcutNonempty.Examples, Fold.ShortcutNonempty |
| 3 (Function) | Fold.Pure.Examples.Boring, Fold.Pure.Examples, Fold.Pure |
| 4 (Function) | Fold.Nonempty.Examples.Boring, Fold.Nonempty.Examples, Fold.Nonempty |
| 5 (Function) | Fold.Effectful.Examples.Boring, Fold.Effectful.Examples, Fold.Effectful |
| initial | |
| 1 (Function) | Fold.ShortcutNonempty.Type, Fold.ShortcutNonempty |
| 2 (Function) | Fold.Shortcut.Type, Fold.Shortcut |
| 3 (Function) | Fold.Pure.Type, Fold.Pure |
| 4 (Function) | Fold.Nonempty.Type, Fold.Nonempty |
| 5 (Function) | Fold.Effectful.Type, Fold.Effectful |
| last | |
| 1 (Function) | Fold.Nonempty.Examples.Interesting, Fold.Nonempty.Examples, Fold.Nonempty, Fold |
| 2 (Function) | Fold.ShortcutNonempty.Examples.Boring, Fold.ShortcutNonempty.Examples, Fold.ShortcutNonempty |
| 3 (Function) | Fold.Shortcut.Examples.Boring, Fold.Shortcut.Examples, Fold.Shortcut |
| 4 (Function) | Fold.Pure.Examples.Boring, Fold.Pure.Examples, Fold.Pure |
| 5 (Function) | Fold.Effectful.Examples.Boring, Fold.Effectful.Examples, Fold.Effectful |
| length | |
| 1 (Function) | Fold.Pure.Examples.Interesting, Fold.Pure.Examples, Fold.Pure, Fold |
| 2 (Function) | Fold.ShortcutNonempty.Examples.Boring, Fold.ShortcutNonempty.Examples, Fold.ShortcutNonempty |
| 3 (Function) | Fold.Shortcut.Examples.Boring, Fold.Shortcut.Examples, Fold.Shortcut |
| 4 (Function) | Fold.Nonempty.Examples.Boring, Fold.Nonempty.Examples, Fold.Nonempty |
| 5 (Function) | Fold.Effectful.Examples.Boring, Fold.Effectful.Examples, Fold.Effectful |
| list | |
| 1 (Function) | Fold.Pure.Examples.Interesting, Fold.Pure.Examples, Fold.Pure, Fold |
| 2 (Function) | Fold.Nonempty.Examples.Interesting, Fold.Nonempty.Examples, Fold.Nonempty |
| 3 (Function) | Fold.ShortcutNonempty.Examples.Boring, Fold.ShortcutNonempty.Examples, Fold.ShortcutNonempty |
| 4 (Function) | Fold.Shortcut.Examples.Boring, Fold.Shortcut.Examples, Fold.Shortcut |
| 5 (Function) | Fold.Nonempty.Examples.Boring |
| 6 (Function) | Fold.Effectful.Examples.Boring, Fold.Effectful.Examples, Fold.Effectful |
| lookup | |
| 1 (Function) | Fold.Shortcut.Examples.Interesting, Fold.Shortcut.Examples, Fold.Shortcut, Fold |
| 2 (Function) | Fold.ShortcutNonempty.Examples.Boring, Fold.ShortcutNonempty.Examples, Fold.ShortcutNonempty |
| 3 (Function) | Fold.Pure.Examples.Boring, Fold.Pure.Examples, Fold.Pure |
| 4 (Function) | Fold.Nonempty.Examples.Boring, Fold.Nonempty.Examples, Fold.Nonempty |
| 5 (Function) | Fold.Effectful.Examples.Boring, Fold.Effectful.Examples, Fold.Effectful |
| magma | |
| 1 (Function) | Fold.Nonempty.Examples.Interesting, Fold.Nonempty.Examples, Fold.Nonempty, Fold |
| 2 (Function) | Fold.ShortcutNonempty.Examples.Boring, Fold.ShortcutNonempty.Examples, Fold.ShortcutNonempty |
| 3 (Function) | Fold.Shortcut.Examples.Boring, Fold.Shortcut.Examples, Fold.Shortcut |
| 4 (Function) | Fold.Pure.Examples.Boring, Fold.Pure.Examples, Fold.Pure |
| 5 (Function) | Fold.Effectful.Examples.Boring, Fold.Effectful.Examples, Fold.Effectful |
| maximum | |
| 1 (Function) | Fold.Nonempty.Examples.Interesting, Fold.Nonempty.Examples, Fold.Nonempty, Fold |
| 2 (Function) | Fold.ShortcutNonempty.Examples.Boring, Fold.ShortcutNonempty.Examples, Fold.ShortcutNonempty |
| 3 (Function) | Fold.Shortcut.Examples.Boring, Fold.Shortcut.Examples, Fold.Shortcut |
| 4 (Function) | Fold.Pure.Examples.Boring, Fold.Pure.Examples, Fold.Pure |
| 5 (Function) | Fold.Effectful.Examples.Boring, Fold.Effectful.Examples, Fold.Effectful |
| maximumBy | |
| 1 (Function) | Fold.Nonempty.Examples.Interesting, Fold.Nonempty.Examples, Fold.Nonempty, Fold |
| 2 (Function) | Fold.ShortcutNonempty.Examples.Boring, Fold.ShortcutNonempty.Examples, Fold.ShortcutNonempty |
| 3 (Function) | Fold.Shortcut.Examples.Boring, Fold.Shortcut.Examples, Fold.Shortcut |
| 4 (Function) | Fold.Pure.Examples.Boring, Fold.Pure.Examples, Fold.Pure |
| 5 (Function) | Fold.Effectful.Examples.Boring, Fold.Effectful.Examples, Fold.Effectful |
| mean | |
| 1 (Function) | Fold.Pure.Examples.Interesting, Fold.Pure.Examples, Fold.Pure, Fold |
| 2 (Function) | Fold.ShortcutNonempty.Examples.Boring, Fold.ShortcutNonempty.Examples, Fold.ShortcutNonempty |
| 3 (Function) | Fold.Shortcut.Examples.Boring, Fold.Shortcut.Examples, Fold.Shortcut |
| 4 (Function) | Fold.Nonempty.Examples.Boring, Fold.Nonempty.Examples, Fold.Nonempty |
| 5 (Function) | Fold.Effectful.Examples.Boring, Fold.Effectful.Examples, Fold.Effectful |
| minimum | |
| 1 (Function) | Fold.Nonempty.Examples.Interesting, Fold.Nonempty.Examples, Fold.Nonempty, Fold |
| 2 (Function) | Fold.ShortcutNonempty.Examples.Boring, Fold.ShortcutNonempty.Examples, Fold.ShortcutNonempty |
| 3 (Function) | Fold.Shortcut.Examples.Boring, Fold.Shortcut.Examples, Fold.Shortcut |
| 4 (Function) | Fold.Pure.Examples.Boring, Fold.Pure.Examples, Fold.Pure |
| 5 (Function) | Fold.Effectful.Examples.Boring, Fold.Effectful.Examples, Fold.Effectful |
| minimumBy | |
| 1 (Function) | Fold.Nonempty.Examples.Interesting, Fold.Nonempty.Examples, Fold.Nonempty, Fold |
| 2 (Function) | Fold.ShortcutNonempty.Examples.Boring, Fold.ShortcutNonempty.Examples, Fold.ShortcutNonempty |
| 3 (Function) | Fold.Shortcut.Examples.Boring, Fold.Shortcut.Examples, Fold.Shortcut |
| 4 (Function) | Fold.Pure.Examples.Boring, Fold.Pure.Examples, Fold.Pure |
| 5 (Function) | Fold.Effectful.Examples.Boring, Fold.Effectful.Examples, Fold.Effectful |
| monoid | |
| 1 (Function) | Fold.Pure.Examples.Interesting, Fold.Pure.Examples, Fold.Pure, Fold |
| 2 (Function) | Fold.ShortcutNonempty.Examples.Boring, Fold.ShortcutNonempty.Examples, Fold.ShortcutNonempty |
| 3 (Function) | Fold.Shortcut.Examples.Boring, Fold.Shortcut.Examples, Fold.Shortcut |
| 4 (Function) | Fold.Nonempty.Examples.Boring, Fold.Nonempty.Examples, Fold.Nonempty |
| 5 (Function) | Fold.Effectful.Examples.Boring, Fold.Effectful.Examples, Fold.Effectful |
| nest | |
| 1 (Function) | Fold.Pure.Utilities, Fold.Pure |
| 2 (Function) | Fold.Nonempty.Utilities, Fold.Nonempty |
| NonemptyFold | |
| 1 (Type/Class) | Fold.Nonempty.Type, Fold.Nonempty, Fold, Fold.Types |
| 2 (Data Constructor) | Fold.Nonempty.Type, Fold.Nonempty, Fold |
| nonemptyFold | |
| 1 (Function) | Fold.Pure.Conversion, Fold.Pure |
| 2 (Function) | Fold.ShortcutNonempty.Conversion, Fold.ShortcutNonempty |
| 3 (Function) | Fold.Shortcut.Conversion, Fold.Shortcut |
| 4 (Function) | Fold.Effectful.Conversion, Fold.Effectful |
| nonemptyList | Fold |
| nonemptyToEffectful | Fold |
| nonemptyToEmpty | Fold |
| notElement | |
| 1 (Function) | Fold.Shortcut.Examples.Interesting, Fold.Shortcut.Examples, Fold.Shortcut, Fold |
| 2 (Function) | Fold.ShortcutNonempty.Examples.Boring, Fold.ShortcutNonempty.Examples, Fold.ShortcutNonempty |
| 3 (Function) | Fold.Pure.Examples.Boring, Fold.Pure.Examples, Fold.Pure |
| 4 (Function) | Fold.Nonempty.Examples.Boring, Fold.Nonempty.Examples, Fold.Nonempty |
| 5 (Function) | Fold.Effectful.Examples.Boring, Fold.Effectful.Examples, Fold.Effectful |
| null | |
| 1 (Function) | Fold.Shortcut.Examples.Interesting, Fold.Shortcut.Examples, Fold.Shortcut, Fold |
| 2 (Function) | Fold.Pure.Examples.Boring, Fold.Pure.Examples, Fold.Pure |
| 3 (Function) | Fold.Effectful.Examples.Boring, Fold.Effectful.Examples, Fold.Effectful |
| or | |
| 1 (Function) | Fold.Shortcut.Examples.Interesting, Fold.Shortcut.Examples, Fold.Shortcut, Fold |
| 2 (Function) | Fold.ShortcutNonempty.Examples.Boring, Fold.ShortcutNonempty.Examples, Fold.ShortcutNonempty |
| 3 (Function) | Fold.Pure.Examples.Boring, Fold.Pure.Examples, Fold.Pure |
| 4 (Function) | Fold.Nonempty.Examples.Boring, Fold.Nonempty.Examples, Fold.Nonempty |
| 5 (Function) | Fold.Effectful.Examples.Boring, Fold.Effectful.Examples, Fold.Effectful |
| postscan | Fold.Pure.Run, Fold.Pure |
| predropWhile | Fold.Pure.Utilities, Fold.Pure |
| prefilter | |
| 1 (Function) | Fold.Pure.Utilities, Fold.Pure |
| 2 (Function) | Fold.Effectful.Utilities, Fold.Effectful |
| premap | |
| 1 (Function) | Fold.Pure.Utilities, Fold.Pure |
| 2 (Function) | Fold.Nonempty.Utilities, Fold.Nonempty |
| 3 (Function) | Fold.Effectful.Utilities, Fold.Effectful |
| prescan | Fold.Pure.Run, Fold.Pure |
| product | |
| 1 (Function) | Fold.Pure.Examples.Interesting, Fold.Pure.Examples, Fold.Pure, Fold |
| 2 (Function) | Fold.ShortcutNonempty.Examples.Boring, Fold.ShortcutNonempty.Examples, Fold.ShortcutNonempty |
| 3 (Function) | Fold.Shortcut.Examples.Boring, Fold.Shortcut.Examples, Fold.Shortcut |
| 4 (Function) | Fold.Nonempty.Examples.Boring, Fold.Nonempty.Examples, Fold.Nonempty |
| 5 (Function) | Fold.Effectful.Examples.Boring, Fold.Effectful.Examples, Fold.Effectful |
| pureToEffectful | Fold |
| reverseList | |
| 1 (Function) | Fold.Pure.Examples.Interesting, Fold.Pure.Examples, Fold.Pure, Fold |
| 2 (Function) | Fold.Nonempty.Examples.Interesting, Fold.Nonempty.Examples, Fold.Nonempty |
| 3 (Function) | Fold.ShortcutNonempty.Examples.Boring, Fold.ShortcutNonempty.Examples, Fold.ShortcutNonempty |
| 4 (Function) | Fold.Shortcut.Examples.Boring, Fold.Shortcut.Examples, Fold.Shortcut |
| 5 (Function) | Fold.Nonempty.Examples.Boring |
| 6 (Function) | Fold.Effectful.Examples.Boring, Fold.Effectful.Examples, Fold.Effectful |
| reverseNonemptyList | Fold |
| run | |
| 1 (Function) | Fold.ShortcutNonempty.Run, Fold.ShortcutNonempty |
| 2 (Function) | Fold.Shortcut.Run, Fold.Shortcut |
| 3 (Function) | Fold.Pure.Run, Fold.Pure |
| 4 (Function) | Fold.Nonempty.Run, Fold.Nonempty |
| 5 (Function) | Fold.Effectful.Run, Fold.Effectful |
| runEffectfulFold | Fold |
| runFold | Fold |
| runNonemptyFold | Fold |
| scan | Fold.Pure.Run, Fold.Pure |
| semigroup | |
| 1 (Function) | Fold.Nonempty.Examples.Interesting, Fold.Nonempty.Examples, Fold.Nonempty, Fold |
| 2 (Function) | Fold.ShortcutNonempty.Examples.Boring, Fold.ShortcutNonempty.Examples, Fold.ShortcutNonempty |
| 3 (Function) | Fold.Shortcut.Examples.Boring, Fold.Shortcut.Examples, Fold.Shortcut |
| 4 (Function) | Fold.Pure.Examples.Boring, Fold.Pure.Examples, Fold.Pure |
| 5 (Function) | Fold.Effectful.Examples.Boring, Fold.Effectful.Examples, Fold.Effectful |
| ShortcutFold | |
| 1 (Type/Class) | Fold.Shortcut.Type, Fold.Shortcut, Fold, Fold.Types |
| 2 (Data Constructor) | Fold.Shortcut.Type, Fold.Shortcut, Fold |
| shortcutFold | |
| 1 (Function) | Fold.Pure.Conversion, Fold.Pure |
| 2 (Function) | Fold.ShortcutNonempty.Conversion, Fold.ShortcutNonempty |
| 3 (Function) | Fold.Nonempty.Conversion, Fold.Nonempty |
| 4 (Function) | Fold.Effectful.Conversion, Fold.Effectful |
| ShortcutNonemptyFold | |
| 1 (Type/Class) | Fold.ShortcutNonempty.Type, Fold.ShortcutNonempty, Fold, Fold.Types |
| 2 (Data Constructor) | Fold.ShortcutNonempty.Type, Fold.ShortcutNonempty, Fold |
| shortcutNonemptyFold | |
| 1 (Function) | Fold.Pure.Conversion, Fold.Pure |
| 2 (Function) | Fold.Shortcut.Conversion, Fold.Shortcut |
| 3 (Function) | Fold.Nonempty.Conversion, Fold.Nonempty |
| 4 (Function) | Fold.Effectful.Conversion, Fold.Effectful |
| standardDeviation | |
| 1 (Function) | Fold.Pure.Examples.Interesting, Fold.Pure.Examples, Fold.Pure, Fold |
| 2 (Function) | Fold.ShortcutNonempty.Examples.Boring, Fold.ShortcutNonempty.Examples, Fold.ShortcutNonempty |
| 3 (Function) | Fold.Shortcut.Examples.Boring, Fold.Shortcut.Examples, Fold.Shortcut |
| 4 (Function) | Fold.Nonempty.Examples.Boring, Fold.Nonempty.Examples, Fold.Nonempty |
| 5 (Function) | Fold.Effectful.Examples.Boring, Fold.Effectful.Examples, Fold.Effectful |
| step | |
| 1 (Function) | Fold.ShortcutNonempty.Type, Fold.ShortcutNonempty |
| 2 (Function) | Fold.Shortcut.Type, Fold.Shortcut |
| 3 (Function) | Fold.Pure.Type, Fold.Pure |
| 4 (Function) | Fold.Nonempty.Type, Fold.Nonempty |
| 5 (Function) | Fold.Effectful.Type, Fold.Effectful |
| sum | |
| 1 (Function) | Fold.Pure.Examples.Interesting, Fold.Pure.Examples, Fold.Pure, Fold |
| 2 (Function) | Fold.ShortcutNonempty.Examples.Boring, Fold.ShortcutNonempty.Examples, Fold.ShortcutNonempty |
| 3 (Function) | Fold.Shortcut.Examples.Boring, Fold.Shortcut.Examples, Fold.Shortcut |
| 4 (Function) | Fold.Nonempty.Examples.Boring, Fold.Nonempty.Examples, Fold.Nonempty |
| 5 (Function) | Fold.Effectful.Examples.Boring, Fold.Effectful.Examples, Fold.Effectful |
| Tenacious | Fold.ShortcutNonempty.Type, Fold.Shortcut.Type, Fold |
| variance | |
| 1 (Function) | Fold.Pure.Examples.Interesting, Fold.Pure.Examples, Fold.Pure, Fold |
| 2 (Function) | Fold.ShortcutNonempty.Examples.Boring, Fold.ShortcutNonempty.Examples, Fold.ShortcutNonempty |
| 3 (Function) | Fold.Shortcut.Examples.Boring, Fold.Shortcut.Examples, Fold.Shortcut |
| 4 (Function) | Fold.Nonempty.Examples.Boring, Fold.Nonempty.Examples, Fold.Nonempty |
| 5 (Function) | Fold.Effectful.Examples.Boring, Fold.Effectful.Examples, Fold.Effectful |
| Vitality | Fold.ShortcutNonempty.Type, Fold.Shortcut.Type, Fold |
| Will | Fold.ShortcutNonempty.Type, Fold.Shortcut.Type, Fold |