Safe Haskell	Safe-Inferred
Language	Haskell2010

PlutusCore.Data

Synopsis

data Data
- = Constr Integer [Data]
- | Map [(Data, Data)]
- | List [Data]
- | I Integer
- | B ByteString

Documentation

data Data Source #

A generic "data" type.

The main constructor Constr represents a datatype value in sum-of-products form: Constr i args represents a use of the ith constructor along with its arguments.

The other constructors are various primitives.

Constructors

Constr Integer [Data]
Map [(Data, Data)]
List [Data]
I Integer
B ByteString

Instances

Instances details

Data Data Source #
Instance details Defined in PlutusCore.Data Methods gfoldl ∷ (∀ d b. Data0 d ⇒ c (d → b) → d → c b) → (∀ g. g → c g) → Data → c Data Source # gunfold ∷ (∀ b r. Data0 b ⇒ c (b → r) → c r) → (∀ r. r → c r) → Constr → c Data Source # toConstr ∷ Data → Constr Source # dataTypeOf ∷ Data → DataType Source # dataCast1 ∷ Typeable t ⇒ (∀ d. Data0 d ⇒ c (t d)) → Maybe (c Data) Source # dataCast2 ∷ Typeable t ⇒ (∀ d e. (Data0 d, Data0 e) ⇒ c (t d e)) → Maybe (c Data) Source # gmapT ∷ (∀ b. Data0 b ⇒ b → b) → Data → Data Source # gmapQl ∷ (r → r' → r) → r → (∀ d. Data0 d ⇒ d → r') → Data → r Source # gmapQr ∷ ∀ r r'. (r' → r → r) → r → (∀ d. Data0 d ⇒ d → r') → Data → r Source # gmapQ ∷ (∀ d. Data0 d ⇒ d → u) → Data → [u] Source # gmapQi ∷ Int → (∀ d. Data0 d ⇒ d → u) → Data → u Source # gmapM ∷ Monad m ⇒ (∀ d. Data0 d ⇒ d → m d) → Data → m Data Source # gmapMp ∷ MonadPlus m ⇒ (∀ d. Data0 d ⇒ d → m d) → Data → m Data Source # gmapMo ∷ MonadPlus m ⇒ (∀ d. Data0 d ⇒ d → m d) → Data → m Data Source #
Generic Data Source #
Instance details Defined in PlutusCore.Data Associated Types type Rep Data ∷ Type → Type Source # Methods from ∷ Data → Rep Data x Source # to ∷ Rep Data x → Data Source #
Read Data Source #
Instance details Defined in PlutusCore.Data Methods readsPrec ∷ Int → ReadS Data Source # readList ∷ ReadS [Data] Source # readPrec ∷ ReadPrec Data Source # readListPrec ∷ ReadPrec [Data] Source #
Show Data Source #
Instance details Defined in PlutusCore.Data Methods showsPrec ∷ Int → Data → ShowS Source # show ∷ Data → String Source # showList ∷ [Data] → ShowS Source #
NFData Data Source #
Instance details Defined in PlutusCore.Data Methods rnf ∷ Data → () Source #
Flat Data Source #
Instance details Defined in PlutusCore.Flat Methods encode ∷ Data → Encoding Source # decode ∷ Get Data Source # size ∷ Data → NumBits → NumBits Source #
Eq Data Source #
Instance details Defined in PlutusCore.Data Methods (==) ∷ Data → Data → Bool Source # (/=) ∷ Data → Data → Bool Source #
Ord Data Source #
Instance details Defined in PlutusCore.Data Methods compare ∷ Data → Data → Ordering Source # (<) ∷ Data → Data → Bool Source # (<=) ∷ Data → Data → Bool Source # (>) ∷ Data → Data → Bool Source # (>=) ∷ Data → Data → Bool Source # max ∷ Data → Data → Data Source # min ∷ Data → Data → Data Source #
Hashable Data Source #
Instance details Defined in PlutusCore.Data Methods hashWithSalt ∷ Int → Data → Int Source # hash ∷ Data → Int Source #
NoThunks Data Source #
Instance details Defined in PlutusCore.Data Methods noThunks ∷ Context → Data → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → Data → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy Data → String Source #
ExMemoryUsage Data Source #
Instance details Defined in PlutusCore.Evaluation.Machine.ExMemoryUsage Methods memoryUsage ∷ Data → CostRose Source #
Pretty Data Source #
Instance details Defined in PlutusCore.Data Methods pretty ∷ Data → Doc ann Source # prettyList ∷ [Data] → Doc ann Source #
Serialise Data Source #
Instance details Defined in PlutusCore.Data Methods encode ∷ Data → Encoding Source # decode ∷ Decoder s Data Source # encodeList ∷ [Data] → Encoding Source # decodeList ∷ Decoder s [Data] Source #
PrettyBy ConstConfig Data Source #
Instance details Defined in PlutusCore.Pretty.PrettyConst Methods prettyBy ∷ ConstConfig → Data → Doc ann Source # prettyListBy ∷ ConstConfig → [Data] → Doc ann Source #
KnownBuiltinTypeIn DefaultUni term Data ⇒ MakeKnownIn DefaultUni term Data Source #
Instance details Defined in PlutusCore.Default.Universe Methods makeKnown ∷ Data → BuiltinResult term Source #
KnownBuiltinTypeIn DefaultUni term Data ⇒ ReadKnownIn DefaultUni term Data Source #
Instance details Defined in PlutusCore.Default.Universe Methods readKnown ∷ term → ReadKnownM Data Source #
Contains DefaultUni Data Source #
Instance details Defined in PlutusCore.Default.Universe Methods knownUni ∷ DefaultUni (Esc Data) Source #
KnownBuiltinTypeAst tyname DefaultUni Data ⇒ KnownTypeAst tyname DefaultUni Data Source #
Instance details Defined in PlutusCore.Default.Universe Associated Types type IsBuiltin DefaultUni Data ∷ Bool Source # type ToHoles DefaultUni hole Data ∷ [Hole] Source # type ToBinds DefaultUni acc Data ∷ [Some TyNameRep] Source # Methods typeAst ∷ Type tyname DefaultUni () Source #
type Rep Data Source #
Instance details Defined in PlutusCore.Data type Rep Data = D1 ('MetaData "Data" "PlutusCore.Data" "plutus-core-1.53.0.0-inplace" 'False) ((C1 ('MetaCons "Constr" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Integer) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Data])) :+: C1 ('MetaCons "Map" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [(Data, Data)]))) :+: (C1 ('MetaCons "List" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Data])) :+: (C1 ('MetaCons "I" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Integer)) :+: C1 ('MetaCons "B" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ByteString)))))
type IsBuiltin DefaultUni Data Source #
Instance details Defined in PlutusCore.Default.Universe type IsBuiltin DefaultUni Data = IsBuiltin DefaultUni (ElaborateBuiltin DefaultUni Data)
type ToBinds DefaultUni acc Data Source #
Instance details Defined in PlutusCore.Default.Universe type ToBinds DefaultUni acc Data = ToBinds DefaultUni acc (ElaborateBuiltin DefaultUni Data)
type ToHoles DefaultUni hole Data Source #
Instance details Defined in PlutusCore.Default.Universe type ToHoles DefaultUni hole Data = ToHoles DefaultUni hole (ElaborateBuiltin DefaultUni Data)