Copyright	(c) 2023 GYELD GMBH
License	Apache 2.0
Maintainer	[email protected]
Stability	develop
Safe Haskell	Safe-Inferred
Language	GHC2021

GeniusYield.Types.Datum

Contents

Datum
Datum hash

Description

Synopsis

data GYDatum
datumToApi' ∷ GYDatum → HashableScriptData
datumFromApi' ∷ HashableScriptData → GYDatum
datumToPlutus ∷ GYDatum → Datum
datumToPlutus' ∷ GYDatum → BuiltinData
datumFromPlutus ∷ Datum → GYDatum
datumFromPlutus' ∷ BuiltinData → GYDatum
datumFromPlutusData ∷ ToData a ⇒ a → GYDatum
hashDatum ∷ GYDatum → GYDatumHash
data GYDatumHash
datumHashFromHex ∷ String → Maybe GYDatumHash
datumHashFromHexE ∷ String → Either String GYDatumHash
datumHashFromPlutus ∷ DatumHash → Either PlutusToCardanoError GYDatumHash
unsafeDatumHashFromPlutus ∷ DatumHash → GYDatumHash
datumHashToPlutus ∷ GYDatumHash → DatumHash
datumHashFromApi ∷ Hash ScriptData → GYDatumHash
datumHashToApi ∷ GYDatumHash → Hash ScriptData

Datum

data GYDatum #

Datum

In the GY system we always include datums in transactions so this simple type is sufficient.

Instances

Instances details

Show GYDatum #
Instance details Defined in GeniusYield.Types.Datum Methods showsPrec ∷ Int → GYDatum → ShowS Source # show ∷ GYDatum → String Source # showList ∷ [GYDatum] → ShowS Source #
Eq GYDatum #
Instance details Defined in GeniusYield.Types.Datum Methods (==) ∷ GYDatum → GYDatum → Bool Source # (/=) ∷ GYDatum → GYDatum → Bool Source #
Ord GYDatum #
Instance details Defined in GeniusYield.Types.Datum Methods compare ∷ GYDatum → GYDatum → Ordering Source # (<) ∷ GYDatum → GYDatum → Bool Source # (<=) ∷ GYDatum → GYDatum → Bool Source # (>) ∷ GYDatum → GYDatum → Bool Source # (>=) ∷ GYDatum → GYDatum → Bool Source # max ∷ GYDatum → GYDatum → GYDatum Source # min ∷ GYDatum → GYDatum → GYDatum Source #
FromData GYDatum #
Instance details Defined in GeniusYield.Types.Datum Methods fromBuiltinData ∷ BuiltinData → Maybe GYDatum Source #
ToData GYDatum #
Instance details Defined in GeniusYield.Types.Datum Methods toBuiltinData ∷ GYDatum → BuiltinData Source #

datumToApi' ∷ GYDatum → HashableScriptData #

Convert a GYDatum to HashableScriptData from Cardano Api.

NOTE: This function is to be used only when generating for new outputs in a transaction as doing datumFromApi` followed by datumToApi` does not guarantee same low level CBOR representation of the high level data type.

datumFromApi' ∷ HashableScriptData → GYDatum #

Get a GYDatum from a Cardano Api ScriptData

datumToPlutus ∷ GYDatum → Datum #

Convert a GYDatum to Datum from Plutus

datumToPlutus' ∷ GYDatum → BuiltinData #

Convert a GYDatum to BuiltinData from Plutus

datumFromPlutus ∷ Datum → GYDatum #

Get a GYDatum from a Plutus Datum

datumFromPlutus' ∷ BuiltinData → GYDatum #

Get a GYDatum from a Plutus BuiltinData

datumFromPlutusData ∷ ToData a ⇒ a → GYDatum #

Get a GYDatum from any Plutus ToData type.

hashDatum ∷ GYDatum → GYDatumHash #

Returns the GYDatumHash of the given GYDatum

Datum hash

data GYDatumHash #

Instances

Instances details

FromJSON GYDatumHash #
Instance details Defined in GeniusYield.Types.Datum Methods parseJSON ∷ Value → Parser GYDatumHash Source # parseJSONList ∷ Value → Parser [GYDatumHash] Source #
ToJSON GYDatumHash #
Instance details Defined in GeniusYield.Types.Datum Methods toJSON ∷ GYDatumHash → Value Source # toEncoding ∷ GYDatumHash → Encoding Source # toJSONList ∷ [GYDatumHash] → Value Source # toEncodingList ∷ [GYDatumHash] → Encoding Source #
IsString GYDatumHash #
Instance details Defined in GeniusYield.Types.Datum Methods fromString ∷ String → GYDatumHash Source #
Show GYDatumHash #
Instance details Defined in GeniusYield.Types.Datum Methods showsPrec ∷ Int → GYDatumHash → ShowS Source # show ∷ GYDatumHash → String Source # showList ∷ [GYDatumHash] → ShowS Source #
Eq GYDatumHash #
Instance details Defined in GeniusYield.Types.Datum Methods (==) ∷ GYDatumHash → GYDatumHash → Bool Source # (/=) ∷ GYDatumHash → GYDatumHash → Bool Source #
Ord GYDatumHash #
Instance details Defined in GeniusYield.Types.Datum Methods compare ∷ GYDatumHash → GYDatumHash → Ordering Source # (<) ∷ GYDatumHash → GYDatumHash → Bool Source # (<=) ∷ GYDatumHash → GYDatumHash → Bool Source # (>) ∷ GYDatumHash → GYDatumHash → Bool Source # (>=) ∷ GYDatumHash → GYDatumHash → Bool Source # max ∷ GYDatumHash → GYDatumHash → GYDatumHash Source # min ∷ GYDatumHash → GYDatumHash → GYDatumHash Source #
ToHttpApiData GYDatumHash #
Instance details Defined in GeniusYield.Types.Datum Methods toUrlPiece ∷ GYDatumHash → Text Source # toEncodedUrlPiece ∷ GYDatumHash → Builder Source # toHeader ∷ GYDatumHash → ByteString Source # toQueryParam ∷ GYDatumHash → Text Source #
FromField GYDatumHash #
Instance details Defined in GeniusYield.Types.Datum Methods fromField ∷ FieldParser GYDatumHash Source #
ToField GYDatumHash #
Instance details Defined in GeniusYield.Types.Datum Methods toField ∷ GYDatumHash → Action Source #

datumHashFromHex ∷ String → Maybe GYDatumHash #

datumHashFromHexE ∷ String → Either String GYDatumHash #

datumHashFromPlutus ∷ DatumHash → Either PlutusToCardanoError GYDatumHash #

unsafeDatumHashFromPlutus ∷ DatumHash → GYDatumHash #

datumHashToPlutus ∷ GYDatumHash → DatumHash #

datumHashFromApi ∷ Hash ScriptData → GYDatumHash #

datumHashToApi ∷ GYDatumHash → Hash ScriptData #