plutus-tx-1.46.0.0: Libraries for Plutus Tx and its prelude
Safe HaskellSafe-Inferred
LanguageHaskell2010

PlutusTx.BuiltinList

Description

Functions operating on BuiltinList.

Synopsis

Documentation

data BuiltinList a Source #

Instances

Instances details
(HasFromBuiltin arep, HasTermLevel uni [FromBuiltin arep]) ⇒ Lift uni (BuiltinList arep) Source # 
Instance details

Defined in PlutusTx.Lift.Class

Methods

liftBuiltinList arep → RTCompile uni fun (Term TyName Name uni fun ()) Source #

Data a ⇒ Data (BuiltinList a) Source # 
Instance details

Defined in PlutusTx.Builtins.Internal

Methods

gfoldl ∷ (∀ d b. Data d ⇒ c (d → b) → d → c b) → (∀ g. g → c g) → BuiltinList a → c (BuiltinList a) Source #

gunfold ∷ (∀ b r. Data b ⇒ c (b → r) → c r) → (∀ r. r → c r) → Constr → c (BuiltinList a) Source #

toConstrBuiltinList a → Constr Source #

dataTypeOfBuiltinList a → DataType Source #

dataCast1Typeable t ⇒ (∀ d. Data d ⇒ c (t d)) → Maybe (c (BuiltinList a)) Source #

dataCast2Typeable t ⇒ (∀ d e. (Data d, Data e) ⇒ c (t d e)) → Maybe (c (BuiltinList a)) Source #

gmapT ∷ (∀ b. Data b ⇒ b → b) → BuiltinList a → BuiltinList a Source #

gmapQl ∷ (r → r' → r) → r → (∀ d. Data d ⇒ d → r') → BuiltinList a → r Source #

gmapQr ∷ ∀ r r'. (r' → r → r) → r → (∀ d. Data d ⇒ d → r') → BuiltinList a → r Source #

gmapQ ∷ (∀ d. Data d ⇒ d → u) → BuiltinList a → [u] Source #

gmapQiInt → (∀ d. Data d ⇒ d → u) → BuiltinList a → u Source #

gmapMMonad m ⇒ (∀ d. Data d ⇒ d → m d) → BuiltinList a → m (BuiltinList a) Source #

gmapMpMonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → BuiltinList a → m (BuiltinList a) Source #

gmapMoMonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → BuiltinList a → m (BuiltinList a) Source #

Show a ⇒ Show (BuiltinList a) Source # 
Instance details

Defined in PlutusTx.Builtins.Internal

Eq a ⇒ Eq (BuiltinList a) Source # 
Instance details

Defined in PlutusTx.Builtins.Internal

Ord a ⇒ Ord (BuiltinList a) Source # 
Instance details

Defined in PlutusTx.Builtins.Internal

HasBlueprintDefinition a ⇒ HasBlueprintDefinition (BuiltinList a) Source # 
Instance details

Defined in PlutusTx.Blueprint.Definition.Unroll

Associated Types

type Unroll (BuiltinList a) ∷ [Type] Source #

HasFromBuiltin a ⇒ HasFromBuiltin (BuiltinList a) Source # 
Instance details

Defined in PlutusTx.Builtins.HasBuiltin

Associated Types

type FromBuiltin (BuiltinList a) Source #

MkNil a ⇒ MkNil (BuiltinList a) Source # 
Instance details

Defined in PlutusTx.Builtins.HasOpaque

HasBlueprintSchema a referencedTypes ⇒ HasBlueprintSchema (BuiltinList a) referencedTypes Source # 
Instance details

Defined in PlutusTx.Blueprint.Class

Methods

schemaSchema referencedTypes Source #

HasFromOpaque arep a ⇒ HasFromOpaque (BuiltinList arep) [a] Source # 
Instance details

Defined in PlutusTx.Builtins.HasOpaque

Methods

fromOpaqueBuiltinList arep → [a] Source #

(HasToOpaque a arep, MkNil arep) ⇒ HasToOpaque [a] (BuiltinList arep) Source # 
Instance details

Defined in PlutusTx.Builtins.HasOpaque

Methods

toOpaque ∷ [a] → BuiltinList arep Source #

HasTypeLevel uni ListTypeable uni BuiltinList Source # 
Instance details

Defined in PlutusTx.Lift.Class

Methods

typeRepProxy BuiltinListRTCompile uni fun (Type TyName uni ()) Source #

type Unroll (BuiltinList a) Source # 
Instance details

Defined in PlutusTx.Blueprint.Definition.Unroll

type FromBuiltin (BuiltinList a) Source # 
Instance details

Defined in PlutusTx.Builtins.HasBuiltin

cons ∷ ∀ a. a → BuiltinList a → BuiltinList a Source #

Plutus Tx version of : for BuiltinList.

uncons ∷ ∀ a. BuiltinList a → Maybe (a, BuiltinList a) Source #

Plutus Tx version of uncons for BuiltinList.

empty ∷ ∀ a. MkNil a ⇒ BuiltinList a Source #

Plutus Tx version of '[]' for BuiltinList.

singleton ∷ ∀ a. MkNil a ⇒ a → BuiltinList a Source #

Make a list with one element.

null ∷ ∀ a. BuiltinList a → Bool Source #

Plutus Tx version of null for BuiltinList.

caseList' ∷ ∀ a r. r → (a → BuiltinList a → r) → BuiltinList a → r Source #

caseList ∷ ∀ a r. (() → r) → (a → BuiltinList a → r) → BuiltinList a → r Source #

map ∷ ∀ a b. MkNil b ⇒ (a → b) → BuiltinList a → BuiltinList b Source #

Plutus Tx version of map for BuiltinList.

elem ∷ ∀ a. Eq a ⇒ a → BuiltinList a → Bool Source #

Does the element occur in the list?

find ∷ ∀ a. (a → Bool) → BuiltinList a → Maybe a Source #

Returns the leftmost element matching the predicate, or Nothing if there's no such element.

any ∷ ∀ a. (a → Bool) → BuiltinList a → Bool Source #

Determines whether any element of the structure satisfies the predicate.

all ∷ ∀ a. (a → Bool) → BuiltinList a → Bool Source #

Determines whether all elements of the list satisfy the predicate.

(!!) ∷ ∀ a. BuiltinList a → Integer → a infixl 9 Source #

Get the element at a given index. This function throws an error if the index is negative or larger than the length of the list.

(++) ∷ ∀ a. BuiltinList a → BuiltinList a → BuiltinList a infixr 5 Source #

Plutus Tx version of (++) for BuiltinList.

(<|) ∷ ∀ a. a → BuiltinList a → BuiltinList a infixr 5 Source #

Infix version of cons.

append ∷ ∀ a. BuiltinList a → BuiltinList a → BuiltinList a Source #

Plutus Tx version of append for BuiltinList.

findIndices ∷ ∀ a. (a → Bool) → BuiltinList a → BuiltinList Integer Source #

Plutus Tx version of findIndices for BuiltinList.

filter ∷ ∀ a. MkNil a ⇒ (a → Bool) → BuiltinList a → BuiltinList a Source #

Plutus Tx version of filter for BuiltinList.

mapMaybe ∷ ∀ a b. MkNil b ⇒ (a → Maybe b) → BuiltinList a → BuiltinList b Source #

Plutus Tx version of mapMaybe for BuiltinList.

length ∷ ∀ a. BuiltinList a → Integer Source #

Plutus Tx version of length for BuiltinList.

andBuiltinList BuiltinBoolBool Source #

Returns the conjunction of a list of Bools.

orBuiltinList BuiltinBoolBool Source #

Returns the disjunction of a list of Bools.

notElem ∷ ∀ a. Eq a ⇒ a → BuiltinList a → Bool Source #

The negation of elem.

foldr ∷ ∀ a b. (a → b → b) → b → BuiltinList a → b Source #

Plutus Tx version of foldr for BuiltinList.

foldl ∷ ∀ a b. (b → a → b) → b → BuiltinList a → b Source #

Plutus Tx velsion of foldl for BuiltinList.

concat ∷ ∀ a. MkNil a ⇒ BuiltinList (BuiltinList a) → BuiltinList a Source #

Plutus Tx version of concat for BuiltinList.

concatMap ∷ ∀ a b. MkNil b ⇒ (a → BuiltinList b) → BuiltinList a → BuiltinList b Source #

Plutus Tx version of concatMap for BuiltinList.

listToMaybe ∷ ∀ a. BuiltinList a → Maybe a Source #

Plutus Tx version of listToMaybe for BuiltinList.

uniqueElement ∷ ∀ a. BuiltinList a → Maybe a Source #

Return the element in the list, if there is precisely one.

revAppend ∷ ∀ a. BuiltinList a → BuiltinList a → BuiltinList a Source #

Cons each element of the first list to the second one in reverse order (i.e. the last element of the first list is the head of the result).

revAppend xs ys === reverse xs ++ ys

reverse ∷ ∀ a. MkNil a ⇒ BuiltinList a → BuiltinList a Source #

Plutus Tx version of reverse for BuiltinList.

replicate ∷ ∀ a. MkNil a ⇒ Integer → a → BuiltinList a Source #

Plutus Tx version of replicate for BuiltinList.

findIndex ∷ ∀ a. (a → Bool) → BuiltinList a → Maybe Integer Source #

Plutus Tx version of findIndex.

head ∷ ∀ a. BuiltinList a → a Source #

Plutus Tx version of head for BuiltinList.

last ∷ ∀ a. BuiltinList a → a Source #

Plutus Tx version of last for BuiltinList.

tail ∷ ∀ a. BuiltinList a → BuiltinList a Source #

Plutus Tx version of tail for BuiltinList.

take ∷ ∀ a. MkNil a ⇒ IntegerBuiltinList a → BuiltinList a Source #

Plutus Tx version of take for BuiltinList.

drop ∷ ∀ a. MkNil a ⇒ IntegerBuiltinList a → BuiltinList a Source #

Plutus Tx version of drop for BuiltinList.

dropWhile ∷ ∀ a. (a → Bool) → BuiltinList a → BuiltinList a Source #

Plutus Tx version of dropWhile for BuiltinList.

elemBy ∷ ∀ a. (a → a → Bool) → a → BuiltinList a → Bool Source #

Plutus Tx version of elemBy for BuiltinList.

nub ∷ ∀ a. (Eq a, MkNil a) ⇒ BuiltinList a → BuiltinList a Source #

Plutus Tx version of nub for BuiltinList.

nubBy ∷ ∀ a. MkNil a ⇒ (a → a → Bool) → BuiltinList a → BuiltinList a Source #

Plutus Tx version of nubBy for BuiltinList.

zipWith ∷ ∀ a b c. MkNil c ⇒ (a → b → c) → BuiltinList a → BuiltinList b → BuiltinList c Source #

Plutus Tx version of zipWith for BuiltinList.