Safe Haskell	Safe-Inferred
Language	Haskell2010

PlutusTx.Data.List

Synopsis

newtype List a = List (BuiltinList BuiltinData)
append ∷ List a → List a → List a
find ∷ UnsafeFromData a ⇒ (a → Bool) → List a → Maybe a
findIndices ∷ UnsafeFromData a ⇒ (a → Bool) → List a → List Integer
filter ∷ (UnsafeFromData a, ToData a) ⇒ (a → Bool) → List a → List a
mapMaybe ∷ (UnsafeFromData a, ToData b) ⇒ (a → Maybe b) → List a → List b
any ∷ UnsafeFromData a ⇒ (a → Bool) → List a → Bool
foldMap ∷ (UnsafeFromData a, Monoid m) ⇒ (a → m) → List a → m
map ∷ (UnsafeFromData a, ToData b) ⇒ (a → b) → List a → List b
length ∷ List a → Integer
mconcat ∷ (Monoid a, UnsafeFromData a) ⇒ List a → a
fromSOP ∷ ToData a ⇒ [a] → List a
toSOP ∷ UnsafeFromData a ⇒ List a → [a]

Documentation

newtype List a Source #

A list type backed directly by Data. It is meant to be used whenever fast encodingdecoding tofrom Data is needed.

Constructors

List (BuiltinList BuiltinData)

Instances

Instances details

Lift DefaultUni (List a) Source #
Instance details Defined in PlutusTx.Data.List Methods lift ∷ List a → RTCompile DefaultUni fun (Term TyName Name DefaultUni fun ()) Source #
Monoid (List a) Source #
Instance details Defined in PlutusTx.Data.List Methods mempty ∷ List a Source # mappend ∷ List a → List a → List a Source # mconcat ∷ [List a] → List a Source #
Semigroup (List a) Source #
Instance details Defined in PlutusTx.Data.List Methods (<>) ∷ List a → List a → List a Source # sconcat ∷ NonEmpty (List a) → List a Source # stimes ∷ Integral b ⇒ b → List a → List a Source #
Show (List a) Source #
Instance details Defined in PlutusTx.Data.List Methods showsPrec ∷ Int → List a → ShowS Source # show ∷ List a → String Source # showList ∷ [List a] → ShowS Source #
Eq (List a) Source #
Instance details Defined in PlutusTx.Data.List Methods (==) ∷ List a → List a → Bool Source # (/=) ∷ List a → List a → Bool Source #
Eq (List a) Source #
Instance details Defined in PlutusTx.Data.List Methods (==) ∷ List a → List a → Bool Source #
FromData (List a) Source #
Instance details Defined in PlutusTx.Data.List Methods fromBuiltinData ∷ BuiltinData → Maybe (List a) Source #
ToData (List a) Source #
Instance details Defined in PlutusTx.Data.List Methods toBuiltinData ∷ List a → BuiltinData Source #
UnsafeFromData (List a) Source #
Instance details Defined in PlutusTx.Data.List Methods unsafeFromBuiltinData ∷ BuiltinData → List a Source #
Monoid (List a) Source #
Instance details Defined in PlutusTx.Data.List Methods mempty ∷ List a Source #
Semigroup (List a) Source #
Instance details Defined in PlutusTx.Data.List Methods (<>) ∷ List a → List a → List a Source #
(UnsafeFromData a, Pretty a) ⇒ Pretty (List a) Source #
Instance details Defined in PlutusTx.Data.List Methods pretty ∷ List a → Doc ann Source # prettyList ∷ [List a] → Doc ann Source #
Typeable DefaultUni List Source #
Instance details Defined in PlutusTx.Data.List Methods typeRep ∷ Proxy List → RTCompile DefaultUni fun (Type TyName DefaultUni ()) Source #

append ∷ List a → List a → List a Source #

find ∷ UnsafeFromData a ⇒ (a → Bool) → List a → Maybe a Source #

findIndices ∷ UnsafeFromData a ⇒ (a → Bool) → List a → List Integer Source #

filter ∷ (UnsafeFromData a, ToData a) ⇒ (a → Bool) → List a → List a Source #

mapMaybe ∷ (UnsafeFromData a, ToData b) ⇒ (a → Maybe b) → List a → List b Source #

any ∷ UnsafeFromData a ⇒ (a → Bool) → List a → Bool Source #

foldMap ∷ (UnsafeFromData a, Monoid m) ⇒ (a → m) → List a → m Source #

map ∷ (UnsafeFromData a, ToData b) ⇒ (a → b) → List a → List b Source #

length ∷ List a → Integer Source #

mconcat ∷ (Monoid a, UnsafeFromData a) ⇒ List a → a Source #

Plutus Tx version of mconcat.

fromSOP ∷ ToData a ⇒ [a] → List a Source #

toSOP ∷ UnsafeFromData a ⇒ List a → [a] Source #