Moduleplutus-tx-1.70.0.0

PlutusTx.BuiltinList

Synopsis

value !!
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 empty
value filter
value find
value findIndex
value findIndices
value foldl
value foldr
value head
value last
value length
value listToMaybe
value map
value mapMaybe
value notElem
value nub
value nubBy
value null
value or
value replicate
value revAppend
value reverse
value singleton
value tail
value take
value uncons
value uniqueElement
value zipWith
data BuiltinList

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