Skip to content

HORIZON HASKELL Docs lts/ghc-9.14.xd82dee82026-10-12Search names, modules, packages, or :: a typeCtrl K

GHC 9.14.1 · lts/ghc-9.14.x · d82dee8 · 2026-10-12

Moduleplutus-tx-1.70.0.0

PlutusTx.Data.List

1 type
51 values

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