Modulecardano-ledger-core-1.21.0.0

Cardano.Ledger.Plutus.Data

5 types
13 values

Packagecardano-ledger-core-1.21.0.0
Exports19
LicenceApache-2.0

valuebinaryDataToData :: Era era => BinaryData era -> Data era

valuedataHashSize :: StrictMaybe DataHash -> Integer

valuedataToBinaryData :: Data era -> BinaryData era

valuedatumDataHash :: Datum era -> StrictMaybe DataHash

valuegetPlutusData :: Data era -> Data

valuehashBinaryData :: BinaryData era -> DataHash

valuehashData :: Data era -> DataHash

valuemakeBinaryData

:: Era era
=> ShortByteString
-> Either String (BinaryData era)

valuemkHashedDatum :: Era era => Data -> Datum era

valuemkInlineDatum :: Era era => Data -> Datum era

valuetranslateDatum :: Datum era1 -> Datum era2

valueunData :: Data era -> Data

valueupgradeData :: (Era era1, Era era2) => Data era1 -> Data era2

typetype DataHash = SafeHash EraIndependentData

newtypenewtype BinaryData era

Instances11Eq, Ord, Show, Generic, MemPack, NoThunks, …

Eq (BinaryData era)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.Data
Ord (BinaryData era)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.Data
Show (BinaryData era)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.Data
Generic (BinaryData era)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.Data
MemPack (BinaryData era)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.Data
NoThunks (BinaryData era)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.Data
Era era => DecCBOR (BinaryData era)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.Data
EncCBOR (BinaryData era)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.Data
SafeToHash (BinaryData era)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.Data
HashAnnotated (BinaryData era) EraIndependentDataDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.Data
type Rep (BinaryData era) = D1 ('MetaData "BinaryData" "Cardano.Ledger.Plutus.Data" "cardano-ledger-core-1.21.0.0-HG71GU5V9Tb4NBnJzzlL6" 'True) (C1 ('MetaCons "BinaryData" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ShortByteString)))Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.Data

newtypenewtype Data era

Constructors

MkData (MemoBytes (PlutusData era))

Instances16Eq, Show, Generic, NFData, FromJSON, ToJSON, …

Eq (Data era)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.Data
Show (Data era)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.Data
Generic (Data era)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.Data
NFData (Data era)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.Data
Era era => FromJSON (Data era)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.Data
ToJSON (Data era)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.Data
Typeable era => NoThunks (Data era)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.Data
Typeable era => ToCBOR (Data era)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.Data
Era era => DecCBOR (Annotator (Data era))Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.Data
Typeable era => DecCBOR (Data era)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.Data
Typeable era => EncCBOR (Data era)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.Data
SafeToHash (Data era)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.Data
Memoized (Data era)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.Data
HashAnnotated (Data era) EraIndependentDataDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.Data
type Rep (Data era) = D1 ('MetaData "Data" "Cardano.Ledger.Plutus.Data" "cardano-ledger-core-1.21.0.0-HG71GU5V9Tb4NBnJzzlL6" 'True) (C1 ('MetaCons "MkData" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (MemoBytes (PlutusData era)))))Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.Data
type RawType (Data era) = PlutusData eraDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.Data

patternpattern Data :: Era era => Data -> Data era

datadata Datum era

Constructors

NoDatum
DatumHash !DataHash
Datum !(BinaryData era)

Instances10Eq, Ord, Show, Generic, ToJSON, MemPack, …

Eq (Datum era)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.Data
Ord (Datum era)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.Data
Show (Datum era)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.Data
Generic (Datum era)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.Data
Era era => ToJSON (Datum era)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.Data
Era era => MemPack (Datum era)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.Data
NoThunks (Datum era)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.Data
Era era => DecCBOR (Datum era)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.Data
Era era => EncCBOR (Datum era)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.Data
type Rep (Datum era) = D1 ('MetaData "Datum" "Cardano.Ledger.Plutus.Data" "cardano-ledger-core-1.21.0.0-HG71GU5V9Tb4NBnJzzlL6" 'False) (C1 ('MetaCons "NoDatum" 'PrefixI 'False) U1 :+: (C1 ('MetaCons "DatumHash" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 DataHash)) :+: C1 ('MetaCons "Datum" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 (BinaryData era)))))Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.Data

newtypenewtype PlutusData era

Constructors

PlutusData Data

Instances13Eq, Show, Generic, NFData, FromJSON, ToJSON, …

Eq (PlutusData era)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.Data
Show (PlutusData era)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.Data
Generic (PlutusData era)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.Data
NFData (PlutusData era)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.Data
FromJSON (PlutusData era)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.Data
ToJSON (PlutusData era)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.Data
Serialise (PlutusData era)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.Data
NoThunks (PlutusData era)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.Data
Typeable era => DecCBOR (Annotator (PlutusData era))Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.Data
Typeable era => DecCBOR (PlutusData era)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.Data
EncCBOR (PlutusData era)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.Data
type Rep (PlutusData era) = Rep DataDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.Data
type MemoHashIndex (PlutusData era) = EraIndependentDataDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.Data