Moduleplutus-tx-1.70.0.0

PlutusTx.Data.List

Synopsis

value !!
value <|
value all
value and
value any
value append
value caseList
value caseList'
value concat
value concatMap
value cons
value drop
value dropWhile
value elem
value elemBy
value filter
value find
value findIndex
value findIndices
value foldMap
value foldl
value foldr
value fromBuiltinList
value fromSOP
value head
value last
value length
value listToMaybe
value map
value mapMaybe
value mconcat
value nil
value notElem
value nub
value nubBy
value null
value or
value partition
value replicate
value revAppend
value reverse
value singleton
value splitAt
value tail
value take
value toBuiltinList
value toSOP
value uncons
value uniqueElement
value unzip
value zipWith
newtype List

Packageplutus-tx-1.70.0.0
Exports52
LicenceApache-2.0

value(!!) :: UnsafeFromData a => List a -> Integer -> a

value(<|) :: ToData a => a -> List a -> List a

valueall :: UnsafeFromData a => (a -> Bool) -> List a -> Bool

valueand :: List Bool -> Bool

valueany :: UnsafeFromData a => (a -> Bool) -> List a -> Bool

valueappend :: List a -> List a -> List a

valuecaseList

:: UnsafeFromData a
=> () -> r
-> a -> List a -> r
-> List a
-> r

valuecaseList' :: UnsafeFromData a => r -> (a -> List a -> r) -> List a -> r

valueconcat :: List (List a) -> List a

valueconcatMap :: UnsafeFromData a => (a -> List b) -> List a -> List b

valuecons :: ToData a => a -> List a -> List a

valuedrop :: Integer -> List a -> List a

valuedropWhile :: UnsafeFromData a => (a -> Bool) -> List a -> List a

valueelem :: ToData a => a -> List a -> Bool

valueelemBy :: UnsafeFromData a => (a -> a -> Bool) -> a -> List a -> Bool

valuefilter :: (UnsafeFromData a, ToData a) => (a -> Bool) -> List a -> List a

valuefind :: UnsafeFromData a => (a -> Bool) -> List a -> Maybe a

valuefindIndex :: UnsafeFromData a => (a -> Bool) -> List a -> Maybe Integer

valuefindIndices :: UnsafeFromData a => (a -> Bool) -> List a -> List Integer

valuefoldMap :: (UnsafeFromData a, Monoid m) => (a -> m) -> List a -> m

valuefoldl :: UnsafeFromData a => (b -> a -> b) -> b -> List a -> b

valuefoldr :: UnsafeFromData a => (a -> b -> b) -> b -> List a -> b

valuefromBuiltinList :: BuiltinList BuiltinData -> List a

valuefromSOP :: ToData a => [a] -> List a

valuehead :: UnsafeFromData a => List a -> a

valuelast :: UnsafeFromData a => List a -> a

valuelength :: List a -> Integer

valuelistToMaybe :: UnsafeFromData a => List a -> Maybe a

valuemap :: (UnsafeFromData a, ToData b) => (a -> b) -> List a -> List b

valuemapMaybe

:: (UnsafeFromData a, ToData b)
=> a -> Maybe b
-> List a
-> List b

valuemconcat :: (Monoid a, UnsafeFromData a) => List a -> a

valuenil :: List a

valuenotElem :: ToData a => a -> List a -> Bool

valuenub :: (Eq a, UnsafeFromData a) => List a -> List a

valuenubBy :: UnsafeFromData a => (a -> a -> Bool) -> List a -> List a

valuenull :: List a -> Bool

valueor :: List Bool -> Bool

valuepartition :: UnsafeFromData a => (a -> Bool) -> List a -> (List a, List a)

valuereplicate :: ToData a => Integer -> a -> List a

valuerevAppend :: List a -> List a -> List a

valuereverse :: List a -> List a

valuesingleton :: ToData a => a -> List a

valuesplitAt :: Integer -> List a -> (List a, List a)

valuetail :: List a -> List a

valuetake :: Integer -> List a -> List a

valuetoBuiltinList :: List a -> BuiltinList BuiltinData

valuetoSOP :: UnsafeFromData a => List a -> [a]

valueuncons :: UnsafeFromData a => List a -> Maybe (a, List a)

valueuniqueElement :: UnsafeFromData a => List a -> Maybe a

valueunzip :: List (a, b) -> (List a, List b)

valuezipWith

:: (UnsafeFromData a, UnsafeFromData b, ToData c)
=> a -> b -> c
-> List a
-> List b
-> List c

newtypenewtype List a

Instances13Lift, Show, Pretty, FromData, ToData, UnsafeFromData, …

Lift DefaultUni (List a)Defined in plutus-tx-1.70.0.0 · PlutusTx.Data.List
Eq (List a)Defined in plutus-tx-1.70.0.0 · PlutusTx.Data.List
Show (List a)Defined in plutus-tx-1.70.0.0 · PlutusTx.Data.List
Semigroup (List a)Defined in plutus-tx-1.70.0.0 · PlutusTx.Data.List
Monoid (List a)Defined in plutus-tx-1.70.0.0 · PlutusTx.Data.List
(UnsafeFromData a, Pretty a) => Pretty (List a)Defined in plutus-tx-1.70.0.0 · PlutusTx.Data.List
FromData (List a)Defined in plutus-tx-1.70.0.0 · PlutusTx.Data.List
ToData (List a)Defined in plutus-tx-1.70.0.0 · PlutusTx.Data.List
UnsafeFromData (List a)Defined in plutus-tx-1.70.0.0 · PlutusTx.Data.List
Monoid (List a)Defined in plutus-tx-1.70.0.0 · PlutusTx.Data.List
Semigroup (List a)Defined in plutus-tx-1.70.0.0 · PlutusTx.Data.List
Eq (List a)Defined in plutus-tx-1.70.0.0 · PlutusTx.Data.List
Typeable DefaultUni ListDefined in plutus-tx-1.70.0.0 · PlutusTx.Data.List