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.BuiltinList

1 type
43 values

Packageplutus-tx-1.70.0.0
Exports44
LicenceApache-2.0

value(!!) :: BuiltinList a -> Integer -> a

value(++) :: BuiltinList a -> BuiltinList a -> BuiltinList a

value(<|) :: a -> BuiltinList a -> BuiltinList a

valueall :: (a -> Bool) -> BuiltinList a -> Bool

valueand :: BuiltinList Bool -> Bool

valueany :: (a -> Bool) -> BuiltinList a -> Bool

valueappend :: BuiltinList a -> BuiltinList a -> BuiltinList a

valuecaseList :: (() -> r) -> (a -> BuiltinList a -> r) -> BuiltinList a -> r

valuecaseList' :: r -> (a -> BuiltinList a -> r) -> BuiltinList a -> r

valueconcat :: MkNil a => BuiltinList (BuiltinList a) -> BuiltinList a

valueconcatMap

:: MkNil b
=> a -> BuiltinList b
-> BuiltinList a
-> BuiltinList b

valuecons :: a -> BuiltinList a -> BuiltinList a

valuedrop :: MkNil a => Integer -> BuiltinList a -> BuiltinList a

valuedropWhile :: (a -> Bool) -> BuiltinList a -> BuiltinList a

valueelem :: Eq a => a -> BuiltinList a -> Bool

valueelemBy :: (a -> a -> Bool) -> a -> BuiltinList a -> Bool

valueempty :: MkNil a => BuiltinList a

valuefilter :: MkNil a => (a -> Bool) -> BuiltinList a -> BuiltinList a

valuefind :: (a -> Bool) -> BuiltinList a -> Maybe a

valuefindIndex :: (a -> Bool) -> BuiltinList a -> Maybe Integer

valuefindIndices :: (a -> Bool) -> BuiltinList a -> BuiltinList Integer

valuefoldl :: (b -> a -> b) -> b -> BuiltinList a -> b

valuefoldr :: (a -> b -> b) -> b -> BuiltinList a -> b

valuehead :: BuiltinList a -> a

valuelast :: BuiltinList a -> a

valuelength :: BuiltinList a -> Integer

valuelistToMaybe :: BuiltinList a -> Maybe a

valuemap :: MkNil b => (a -> b) -> BuiltinList a -> BuiltinList b

valuemapMaybe :: MkNil b => (a -> Maybe b) -> BuiltinList a -> BuiltinList b

valuenotElem :: Eq a => a -> BuiltinList a -> Bool

valuenub :: (Eq a, MkNil a) => BuiltinList a -> BuiltinList a

valuenubBy :: MkNil a => (a -> a -> Bool) -> BuiltinList a -> BuiltinList a

valuenull :: BuiltinList a -> Bool

valueor :: BuiltinList Bool -> Bool

valuereplicate :: MkNil a => Integer -> a -> BuiltinList a

valuerevAppend :: BuiltinList a -> BuiltinList a -> BuiltinList a

valuereverse :: MkNil a => BuiltinList a -> BuiltinList a

valuesingleton :: MkNil a => a -> BuiltinList a

valuetail :: BuiltinList a -> BuiltinList a

valuetake :: MkNil a => Integer -> BuiltinList a -> BuiltinList a

valueuncons :: BuiltinList a -> Maybe (a, BuiltinList a)

valueuniqueElement :: BuiltinList a -> Maybe a

valuezipWith

:: MkNil c
=> a -> b -> c
-> BuiltinList a
-> BuiltinList b
-> BuiltinList c

datadata BuiltinList a

Instances14Lift, Eq, Data, Ord, Show, HasBlueprintDefinition, …

(HasFromBuiltin arep, HasTermLevel uni [FromBuiltin arep]) => Lift uni (BuiltinList arep)Defined in plutus-tx-1.70.0.0 · PlutusTx.Lift.Class
Eq a => Eq (BuiltinList a)Defined in plutus-tx-1.70.0.0 · PlutusTx.Builtins.Internal
Data a => Data (BuiltinList a)Defined in plutus-tx-1.70.0.0 · PlutusTx.Builtins.Internal
Ord a => Ord (BuiltinList a)Defined in plutus-tx-1.70.0.0 · PlutusTx.Builtins.Internal
Show a => Show (BuiltinList a)Defined in plutus-tx-1.70.0.0 · PlutusTx.Builtins.Internal
HasBlueprintDefinition a => HasBlueprintDefinition (BuiltinList a)Defined in plutus-tx-1.70.0.0 · PlutusTx.Blueprint.Definition.Unroll
MkNil a => MkNil (BuiltinList a)Defined in plutus-tx-1.70.0.0 · PlutusTx.Builtins.HasOpaque
HasFromBuiltin a => HasFromBuiltin (BuiltinList a)Defined in plutus-tx-1.70.0.0 · PlutusTx.Builtins.HasBuiltin
HasBlueprintSchema a referencedTypes => HasBlueprintSchema (BuiltinList a) referencedTypesDefined in plutus-tx-1.70.0.0 · PlutusTx.Blueprint.Class
HasFromOpaque arep a => HasFromOpaque (BuiltinList arep) [a]Defined in plutus-tx-1.70.0.0 · PlutusTx.Builtins.HasOpaque
(HasToOpaque a arep, MkNil arep) => HasToOpaque [a] (BuiltinList arep)Defined in plutus-tx-1.70.0.0 · PlutusTx.Builtins.HasOpaque
HasTypeLevel uni [] => Typeable uni BuiltinListDefined in plutus-tx-1.70.0.0 · PlutusTx.Lift.Class
type Unroll (BuiltinList a) = Insert (BuiltinList a) (Unrolled a)Defined in plutus-tx-1.70.0.0 · PlutusTx.Blueprint.Definition.Unroll
type FromBuiltin (BuiltinList a) = [FromBuiltin a]Defined in plutus-tx-1.70.0.0 · PlutusTx.Builtins.HasBuiltin