Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
PlutusTx.BuiltinList
Description
Functions operating on BuiltinList
.
Synopsis
- data BuiltinList a
- cons ∷ ∀ a. a → BuiltinList a → BuiltinList a
- uncons ∷ ∀ a. BuiltinList a → Maybe (a, BuiltinList a)
- empty ∷ ∀ a. MkNil a ⇒ BuiltinList a
- singleton ∷ ∀ a. MkNil a ⇒ a → BuiltinList a
- null ∷ ∀ a. BuiltinList a → Bool
- 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
- (++) ∷ ∀ a. BuiltinList a → BuiltinList a → BuiltinList a
- (<|) ∷ ∀ a. a → BuiltinList a → BuiltinList a
- append ∷ ∀ a. BuiltinList a → BuiltinList a → BuiltinList a
- findIndices ∷ ∀ a. (a → Bool) → BuiltinList a → BuiltinList Integer
- filter ∷ ∀ a. MkNil a ⇒ (a → Bool) → BuiltinList a → BuiltinList a
- mapMaybe ∷ ∀ a b. MkNil b ⇒ (a → Maybe b) → BuiltinList a → BuiltinList b
- length ∷ ∀ a. BuiltinList a → Integer
- and ∷ BuiltinList BuiltinBool → Bool
- or ∷ BuiltinList BuiltinBool → Bool
- notElem ∷ ∀ a. Eq a ⇒ a → BuiltinList a → Bool
- foldr ∷ ∀ a b. (a → b → b) → b → BuiltinList a → b
- foldl ∷ ∀ a b. (b → a → b) → b → BuiltinList a → b
- concat ∷ ∀ a. MkNil a ⇒ BuiltinList (BuiltinList a) → BuiltinList a
- concatMap ∷ ∀ a b. MkNil b ⇒ (a → BuiltinList b) → BuiltinList a → BuiltinList b
- listToMaybe ∷ ∀ a. BuiltinList a → Maybe a
- uniqueElement ∷ ∀ a. BuiltinList a → Maybe a
- revAppend ∷ ∀ a. BuiltinList a → BuiltinList a → BuiltinList a
- reverse ∷ ∀ a. MkNil a ⇒ BuiltinList a → BuiltinList a
- replicate ∷ ∀ a. MkNil a ⇒ Integer → a → BuiltinList a
- findIndex ∷ ∀ a. (a → Bool) → BuiltinList a → Maybe Integer
- head ∷ ∀ a. BuiltinList a → a
- last ∷ ∀ a. BuiltinList a → a
- tail ∷ ∀ a. BuiltinList a → BuiltinList a
- take ∷ ∀ a. MkNil a ⇒ Integer → BuiltinList a → BuiltinList a
- drop ∷ ∀ a. MkNil a ⇒ Integer → BuiltinList a → BuiltinList a
- dropWhile ∷ ∀ a. (a → Bool) → BuiltinList a → BuiltinList a
- elemBy ∷ ∀ a. (a → a → Bool) → a → BuiltinList a → Bool
- nub ∷ ∀ a. (Eq a, MkNil a) ⇒ BuiltinList a → BuiltinList a
- nubBy ∷ ∀ a. MkNil a ⇒ (a → a → Bool) → BuiltinList a → BuiltinList a
- zipWith ∷ ∀ a b c. MkNil c ⇒ (a → b → c) → BuiltinList a → BuiltinList b → BuiltinList c
Documentation
data BuiltinList a Source #
Instances
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
.
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 BuiltinBool → Bool Source #
Returns the conjunction of a list of Bools.
or ∷ BuiltinList BuiltinBool → Bool Source #
Returns the disjunction of a list of Bools.
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
.
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
.