Safe Haskell	Safe-Inferred
Language	Haskell2010

PlutusTx.BuiltinList

Description

Functions operating on BuiltinList.

Synopsis

data BuiltinList a
caseList ∷ ∀ a r. (() → r) → (a → BuiltinList a → r) → BuiltinList a → r
caseList' ∷ ∀ a r. r → (a → BuiltinList a → r) → BuiltinList a → r
map ∷ ∀ a b. MkNil b ⇒ (a → b) → BuiltinList a → BuiltinList b
elem ∷ ∀ a. Eq a ⇒ a → BuiltinList a → Bool
find ∷ ∀ a. (a → Bool) → BuiltinList a → Maybe a
any ∷ ∀ a. (a → Bool) → BuiltinList a → Bool
all ∷ ∀ a. (a → Bool) → BuiltinList a → Bool
(!!) ∷ ∀ a. BuiltinList a → Integer → a

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 #
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]

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 #

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

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

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

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

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

Get the element at a given index.

This function is partial and takes linear time.