plutus-tx-1.53.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

lift ∷ BuiltinList 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 #

toConstr ∷ BuiltinList a → Constr Source #

dataTypeOf ∷ BuiltinList a → DataType Source #

dataCast1 ∷ Typeable t ⇒ (∀ d. Data d ⇒ c (t d)) → Maybe (c (BuiltinList a)) Source #

dataCast2 ∷ Typeable 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 #

gmapQi ∷ Int → (∀ d. Data d ⇒ d → u) → BuiltinList a → u Source #

gmapM ∷ Monad m ⇒ (∀ d. Data d ⇒ d → m d) → BuiltinList a → m (BuiltinList a) Source #

gmapMp ∷ MonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → BuiltinList a → m (BuiltinList a) Source #

gmapMo ∷ MonadPlus 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

Methods

showsPrec ∷ Int → BuiltinList a → ShowS Source #

show ∷ BuiltinList a → String Source #

showList ∷ [BuiltinList a] → ShowS Source #

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

Defined in PlutusTx.Builtins.Internal

Methods

(==) ∷ BuiltinList a → BuiltinList a → Bool Source #

(/=) ∷ BuiltinList a → BuiltinList a → Bool Source #

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

Defined in PlutusTx.Builtins.Internal

Methods

compare ∷ BuiltinList a → BuiltinList a → Ordering Source #

(<) ∷ BuiltinList a → BuiltinList a → Bool Source #

(<=) ∷ BuiltinList a → BuiltinList a → Bool Source #

(>) ∷ BuiltinList a → BuiltinList a → Bool Source #

(>=) ∷ BuiltinList a → BuiltinList a → Bool Source #

max ∷ BuiltinList a → BuiltinList a → BuiltinList a Source #

min ∷ BuiltinList a → BuiltinList a → BuiltinList a Source #

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

Defined in PlutusTx.Blueprint.Definition.Unroll

Associated Types

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

Methods

definitionId ∷ DefinitionId Source #

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

Defined in PlutusTx.Builtins.HasBuiltin

Associated Types

type FromBuiltin (BuiltinList a) Source #

Methods

fromBuiltin ∷ BuiltinList a → FromBuiltin (BuiltinList a) Source #

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

Defined in PlutusTx.Builtins.HasOpaque

Methods

mkNil ∷ BuiltinList (BuiltinList a) Source #

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

Defined in PlutusTx.Blueprint.Class

Methods

schema ∷ Schema referencedTypes Source #

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

Defined in PlutusTx.Builtins.HasOpaque

Methods

fromOpaque ∷ BuiltinList 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 List ⇒ Typeable uni BuiltinList Source # 
Instance details

Defined in PlutusTx.Lift.Class

Methods

typeRep ∷ Proxy BuiltinList → RTCompile uni fun (Type TyName uni ()) Source #

type Unroll (BuiltinList a) Source # 
Instance details

Defined in PlutusTx.Blueprint.Definition.Unroll

type Unroll (BuiltinList a) = Insert (BuiltinList a) (Unrolled a)
type FromBuiltin (BuiltinList a) Source # 
Instance details

Defined in PlutusTx.Builtins.HasBuiltin

type FromBuiltin (BuiltinList a) = [FromBuiltin a]

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.

and ∷ BuiltinList Bool → Bool Source #

Returns the conjunction of a list of Bools.

or ∷ BuiltinList Bool → Bool 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 ⇒ Integer → BuiltinList a → BuiltinList a Source #

Plutus Tx version of take for BuiltinList.

drop ∷ ∀ a. MkNil a ⇒ Integer → BuiltinList 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.