| Safe Haskell | Safe-Inferred |
|---|---|
| Language | GHC2021 |
Fold.Shortcut.Examples.Interesting
Synopsis
- null :: ShortcutFold a Bool
- and :: ShortcutFold Bool Bool
- or :: ShortcutFold Bool Bool
- all :: (a -> Bool) -> ShortcutFold a Bool
- any :: (a -> Bool) -> ShortcutFold a Bool
- element :: Eq a => a -> ShortcutFold a Bool
- notElement :: Eq a => a -> ShortcutFold a Bool
- find :: (a -> Bool) -> ShortcutFold a (Maybe a)
- lookup :: Eq a => a -> ShortcutFold (a, b) (Maybe b)
- index :: Natural -> ShortcutFold a (Maybe a)
- findIndex :: (a -> Bool) -> ShortcutFold a (Maybe Natural)
- elementIndex :: Eq a => a -> ShortcutFold a (Maybe Natural)
Length
Boolean
all :: (a -> Bool) -> ShortcutFold a Bool Source #
True if all inputs satisfy the predicate (tenacious)
any :: (a -> Bool) -> ShortcutFold a Bool Source #
True if any input satisfies the predicate (tenacious)
Search
element :: Eq a => a -> ShortcutFold a Bool Source #
True if any input is equal to the given value (tenacious)
notElement :: Eq a => a -> ShortcutFold a Bool Source #
False if any input is equal to the given value (tenacious)
find :: (a -> Bool) -> ShortcutFold a (Maybe a) Source #
The first input that satisfies the predicate, if any (tenacious)
lookup :: Eq a => a -> ShortcutFold (a, b) (Maybe b) Source #
The b from the first tuple where a equals the given value,
if any (tenacious)
Index
index :: Natural -> ShortcutFold a (Maybe a) Source #
The nth input, where n=0 is the first input, if the index is in bounds (tenacious)
findIndex :: (a -> Bool) -> ShortcutFold a (Maybe Natural) Source #
The index of the first input that satisfies the predicate, if any (tenacious)
elementIndex :: Eq a => a -> ShortcutFold a (Maybe Natural) Source #
The index of the first input that matches the given value, if any (tenacious)