| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
PlutusTx.List
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.
>>>map (\i -> i + 1) [1, 2, 3][2,3,4]
filter :: (a -> Bool) -> [a] -> [a] Source #
Plutus Tx version of filter.
>>>filter (> 1) [1, 2, 3, 4][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.
>>>foldr (\i s -> s + i) 0 [1, 2, 3, 4]10