PlutusTx.List · plutus-tx-1.70.0.0

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]

#