Moduleplutus-tx-1.70.0.0

PlutusTx.List

Synopsis

value(!!) :: [a] -> Integer -> a

value(++) :: [a] -> [a] -> [a]

valueall :: (a -> Bool) -> [a] -> Bool

valueand :: [Bool] -> Bool

valueany :: (a -> Bool) -> [a] -> Bool

valueconcat :: [[a]] -> [a]

valueconcatMap :: (a -> [b]) -> [a] -> [b]

valuedrop :: Integer -> [a] -> [a]

valuedropWhile :: (a -> Bool) -> [a] -> [a]

valueelem :: Eq a => a -> [a] -> Bool

valueelemBy :: (a -> a -> Bool) -> a -> [a] -> Bool

valuefilter :: (a -> Bool) -> [a] -> [a]

valuefind :: (a -> Bool) -> [a] -> Maybe a

valuefindIndex :: (a -> Bool) -> [a] -> Maybe Integer

valuefindIndices :: (a -> Bool) -> [a] -> [Integer]

valuefoldl :: (b -> a -> b) -> b -> [a] -> b

valuefoldr :: (a -> b -> b) -> b -> [a] -> b

valuehead :: [a] -> a

valuelast :: [a] -> a

valuelength :: [a] -> Integer

valuelistToMaybe :: [a] -> Maybe a

valuemap :: (a -> b) -> [a] -> [b]

valuenotElem :: Eq a => a -> [a] -> Bool

valuenub :: Eq a => [a] -> [a]

valuenubBy :: (a -> a -> Bool) -> [a] -> [a]

valuenull :: [a] -> Bool

valueor :: [Bool] -> Bool

valuepartition :: (a -> Bool) -> [a] -> ([a], [a])

valuereplicate :: Integer -> a -> [a]

valuerevAppend :: [a] -> [a] -> [a]

valuereverse :: [a] -> [a]

valuesort :: Ord a => [a] -> [a]

valuesortBy :: (a -> a -> Ordering) -> [a] -> [a]

valuesplitAt :: Integer -> [a] -> ([a], [a])

valuetail :: [a] -> [a]

valuetake :: Integer -> [a] -> [a]

valueuncons :: [a] -> Maybe (a, [a])

valueuniqueElement :: [a] -> Maybe a

valueunzip :: [(a, b)] -> ([a], [b])

valuezip :: [a] -> [b] -> [(a, b)]

valuezipWith :: (a -> b -> c) -> [a] -> [b] -> [c]