Safe Haskell | None |
---|---|

Language | Haskell2010 |

## Synopsis

- map :: (a -> b) -> [a] -> [b]
- filter :: (a -> Bool) -> [a] -> [a]
- listToMaybe :: [a] -> Maybe a
- uniqueElement :: [a] -> Maybe a
- findIndices :: (a -> Bool) -> [a] -> [Integer]
- findIndex :: (a -> Bool) -> [a] -> Maybe Integer
- foldr :: (a -> b -> b) -> b -> [a] -> b
- reverse :: [a] -> [a]
- zip :: [a] -> [b] -> [(a, b)]
- (++) :: [a] -> [a] -> [a]
- (!!) :: [a] -> Integer -> a
- head :: [a] -> a
- take :: Integer -> [a] -> [a]
- tail :: [a] -> [a]
- nub :: Eq a => [a] -> [a]
- nubBy :: (a -> a -> Bool) -> [a] -> [a]
- zipWith :: (a -> b -> c) -> [a] -> [b] -> [c]
- dropWhile :: (a -> Bool) -> [a] -> [a]
- partition :: (a -> Bool) -> [a] -> ([a], [a])
- sort :: Ord a => [a] -> [a]
- sortBy :: (a -> a -> Ordering) -> [a] -> [a]

# Documentation

map :: (a -> b) -> [a] -> [b] Source #

Plutus Tx version of `map`

.

`>>>`

[2,3,4]`map (\i -> i + 1) [1, 2, 3]`

filter :: (a -> Bool) -> [a] -> [a] Source #

Plutus Tx version of `filter`

.

`>>>`

[2,3,4]`filter (> 1) [1, 2, 3, 4]`

listToMaybe :: [a] -> Maybe a Source #

Plutus Tx version of `listToMaybe`

.

uniqueElement :: [a] -> Maybe a Source #

Return the element in the list, if there is precisely one.

findIndices :: (a -> Bool) -> [a] -> [Integer] Source #

Plutus Tx version of `findIndices`

.

foldr :: (a -> b -> b) -> b -> [a] -> b Source #

Plutus Tx version of `foldr`

.

`>>>`

10`foldr (\i s -> s + i) 0 [1, 2, 3, 4]`