Safe Haskell	None
Language	Haskell2010

Maestro.Types.Common

Description

Common (shared) types between different versions of Maestro-API.

Synopsis

data Tx
data TxOutCbor
data DatumHash
data Address
newtype TxIndex = TxIndex Natural
newtype PolicyId = PolicyId Text
newtype TokenName = TokenName Text
newtype EpochNo = EpochNo {
- unEpochNo ∷ Word64
}
newtype EpochSize = EpochSize {
- unEpochSize ∷ Word64
}
newtype AbsoluteSlot = AbsoluteSlot {
- unAbsoluteSlot ∷ Natural
}
newtype SlotNo = SlotNo {
- unSlotNo ∷ Word64
}
newtype BlockHeight = BlockHeight {
- unBlockHeight ∷ Natural
}
newtype BlockHash = BlockHash {
- unBlockHash ∷ Text
}
newtype TxHash = TxHash Text
newtype Bech32StringOf a = Bech32StringOf Text
newtype HexStringOf a = HexStringOf Text
newtype HashStringOf a = HashStringOf Text
data DatumOptionType
- = Inline
- | Hash
data DatumOption = DatumOption {
- datumOptionBytes ∷ !(Maybe Text)
- datumOptionHash ∷ !Text
- datumOptionJson ∷ !(Maybe Value)
- datumOptionType ∷ !DatumOptionType
}
data ScriptType
- = Native
- | PlutusV1
- | PlutusV2
- | PlutusV3
data Script = Script {
- scriptBytes ∷ !(Maybe Text)
- scriptHash ∷ !Text
- scriptJson ∷ !(Maybe Value)
- scriptType ∷ !ScriptType
}
data Order
- = Ascending
- | Descending
data CBORStream
data LowerFirst
data LowerAll

Documentation

data Tx #

Phantom datatype to be used with constructors like HashStringOf.

data TxOutCbor #

Phantom datatype to be used with HexStringOf to represent hex encoded CBOR bytes of transaction output.

data DatumHash #

Phantom datatype to be used with HexStringOf to represent hex encoded datum hash.

data Address #

Phantom datatype to be used with, say Bech32StringOf to represent Bech32 representation of an address.

newtype TxIndex #

Index of UTxO in a transaction outputs.

Constructors

TxIndex Natural

Instances

Instances details

Enum TxIndex #
Instance details Defined in Maestro.Types.Common Methods succ ∷ TxIndex → TxIndex # pred ∷ TxIndex → TxIndex # toEnum ∷ Int → TxIndex # fromEnum ∷ TxIndex → Int # enumFrom ∷ TxIndex → [TxIndex] # enumFromThen ∷ TxIndex → TxIndex → [TxIndex] # enumFromTo ∷ TxIndex → TxIndex → [TxIndex] # enumFromThenTo ∷ TxIndex → TxIndex → TxIndex → [TxIndex] #
Eq TxIndex #
Instance details Defined in Maestro.Types.Common Methods (==) ∷ TxIndex → TxIndex → Bool # (/=) ∷ TxIndex → TxIndex → Bool #
Integral TxIndex #
Instance details Defined in Maestro.Types.Common Methods quot ∷ TxIndex → TxIndex → TxIndex # rem ∷ TxIndex → TxIndex → TxIndex # div ∷ TxIndex → TxIndex → TxIndex # mod ∷ TxIndex → TxIndex → TxIndex # quotRem ∷ TxIndex → TxIndex → (TxIndex, TxIndex) # divMod ∷ TxIndex → TxIndex → (TxIndex, TxIndex) # toInteger ∷ TxIndex → Integer #
Num TxIndex #
Instance details Defined in Maestro.Types.Common Methods (+) ∷ TxIndex → TxIndex → TxIndex # (-) ∷ TxIndex → TxIndex → TxIndex # (*) ∷ TxIndex → TxIndex → TxIndex # negate ∷ TxIndex → TxIndex # abs ∷ TxIndex → TxIndex # signum ∷ TxIndex → TxIndex # fromInteger ∷ Integer → TxIndex #
Ord TxIndex #
Instance details Defined in Maestro.Types.Common Methods compare ∷ TxIndex → TxIndex → Ordering # (<) ∷ TxIndex → TxIndex → Bool # (<=) ∷ TxIndex → TxIndex → Bool # (>) ∷ TxIndex → TxIndex → Bool # (>=) ∷ TxIndex → TxIndex → Bool # max ∷ TxIndex → TxIndex → TxIndex # min ∷ TxIndex → TxIndex → TxIndex #
Real TxIndex #
Instance details Defined in Maestro.Types.Common Methods toRational ∷ TxIndex → Rational #
Show TxIndex #
Instance details Defined in Maestro.Types.Common Methods showsPrec ∷ Int → TxIndex → ShowS # show ∷ TxIndex → String # showList ∷ [TxIndex] → ShowS #
Generic TxIndex #
Instance details Defined in Maestro.Types.Common Associated Types type Rep TxIndex ∷ Type → Type # Methods from ∷ TxIndex → Rep TxIndex x # to ∷ Rep TxIndex x → TxIndex #
FromHttpApiData TxIndex #
Instance details Defined in Maestro.Types.Common Methods parseUrlPiece ∷ Text → Either Text TxIndex parseHeader ∷ ByteString → Either Text TxIndex parseQueryParam ∷ Text → Either Text TxIndex
ToHttpApiData TxIndex #
Instance details Defined in Maestro.Types.Common Methods toUrlPiece ∷ TxIndex → Text toEncodedUrlPiece ∷ TxIndex → Builder toHeader ∷ TxIndex → ByteString toQueryParam ∷ TxIndex → Text toEncodedQueryParam ∷ TxIndex → Builder
ToJSON TxIndex #
Instance details Defined in Maestro.Types.Common Methods toJSON ∷ TxIndex → Value toEncoding ∷ TxIndex → Encoding toJSONList ∷ [TxIndex] → Value toEncodingList ∷ [TxIndex] → Encoding omitField ∷ TxIndex → Bool
FromJSON TxIndex #
Instance details Defined in Maestro.Types.Common Methods parseJSON ∷ Value → Parser TxIndex parseJSONList ∷ Value → Parser [TxIndex] omittedField ∷ Maybe TxIndex
type Rep TxIndex #
Instance details Defined in Maestro.Types.Common type Rep TxIndex = D1 ('MetaData "TxIndex" "Maestro.Types.Common" "maestro-sdk-1.7.3-inplace" 'True) (C1 ('MetaCons "TxIndex" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Natural)))

newtype PolicyId #

Hex encoded minting policy ID (for non-ada native asset).

Constructors

PolicyId Text

Instances

Instances details

Eq PolicyId #
Instance details Defined in Maestro.Types.Common Methods (==) ∷ PolicyId → PolicyId → Bool # (/=) ∷ PolicyId → PolicyId → Bool #
Ord PolicyId #
Instance details Defined in Maestro.Types.Common Methods compare ∷ PolicyId → PolicyId → Ordering # (<) ∷ PolicyId → PolicyId → Bool # (<=) ∷ PolicyId → PolicyId → Bool # (>) ∷ PolicyId → PolicyId → Bool # (>=) ∷ PolicyId → PolicyId → Bool # max ∷ PolicyId → PolicyId → PolicyId # min ∷ PolicyId → PolicyId → PolicyId #
Show PolicyId #
Instance details Defined in Maestro.Types.Common Methods showsPrec ∷ Int → PolicyId → ShowS # show ∷ PolicyId → String # showList ∷ [PolicyId] → ShowS #
IsString PolicyId #
Instance details Defined in Maestro.Types.Common Methods fromString ∷ String → PolicyId #
Generic PolicyId #
Instance details Defined in Maestro.Types.Common Associated Types type Rep PolicyId ∷ Type → Type # Methods from ∷ PolicyId → Rep PolicyId x # to ∷ Rep PolicyId x → PolicyId #
FromHttpApiData PolicyId #
Instance details Defined in Maestro.Types.Common Methods parseUrlPiece ∷ Text → Either Text PolicyId parseHeader ∷ ByteString → Either Text PolicyId parseQueryParam ∷ Text → Either Text PolicyId
ToHttpApiData PolicyId #
Instance details Defined in Maestro.Types.Common Methods toUrlPiece ∷ PolicyId → Text toEncodedUrlPiece ∷ PolicyId → Builder toHeader ∷ PolicyId → ByteString toQueryParam ∷ PolicyId → Text toEncodedQueryParam ∷ PolicyId → Builder
ToJSON PolicyId #
Instance details Defined in Maestro.Types.Common Methods toJSON ∷ PolicyId → Value toEncoding ∷ PolicyId → Encoding toJSONList ∷ [PolicyId] → Value toEncodingList ∷ [PolicyId] → Encoding omitField ∷ PolicyId → Bool
FromJSON PolicyId #
Instance details Defined in Maestro.Types.Common Methods parseJSON ∷ Value → Parser PolicyId parseJSONList ∷ Value → Parser [PolicyId] omittedField ∷ Maybe PolicyId
type Rep PolicyId #
Instance details Defined in Maestro.Types.Common type Rep PolicyId = D1 ('MetaData "PolicyId" "Maestro.Types.Common" "maestro-sdk-1.7.3-inplace" 'True) (C1 ('MetaCons "PolicyId" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)))

newtype TokenName #

Hex encoded token name (for non-ada native asset).

Constructors

TokenName Text

Instances

Instances details

Eq TokenName #
Instance details Defined in Maestro.Types.Common Methods (==) ∷ TokenName → TokenName → Bool # (/=) ∷ TokenName → TokenName → Bool #
Ord TokenName #
Instance details Defined in Maestro.Types.Common Methods compare ∷ TokenName → TokenName → Ordering # (<) ∷ TokenName → TokenName → Bool # (<=) ∷ TokenName → TokenName → Bool # (>) ∷ TokenName → TokenName → Bool # (>=) ∷ TokenName → TokenName → Bool # max ∷ TokenName → TokenName → TokenName # min ∷ TokenName → TokenName → TokenName #
Show TokenName #
Instance details Defined in Maestro.Types.Common Methods showsPrec ∷ Int → TokenName → ShowS # show ∷ TokenName → String # showList ∷ [TokenName] → ShowS #
IsString TokenName #
Instance details Defined in Maestro.Types.Common Methods fromString ∷ String → TokenName #
Generic TokenName #
Instance details Defined in Maestro.Types.Common Associated Types type Rep TokenName ∷ Type → Type # Methods from ∷ TokenName → Rep TokenName x # to ∷ Rep TokenName x → TokenName #
FromHttpApiData TokenName #
Instance details Defined in Maestro.Types.Common Methods parseUrlPiece ∷ Text → Either Text TokenName parseHeader ∷ ByteString → Either Text TokenName parseQueryParam ∷ Text → Either Text TokenName
ToHttpApiData TokenName #
Instance details Defined in Maestro.Types.Common Methods toUrlPiece ∷ TokenName → Text toEncodedUrlPiece ∷ TokenName → Builder toHeader ∷ TokenName → ByteString toQueryParam ∷ TokenName → Text toEncodedQueryParam ∷ TokenName → Builder
ToJSON TokenName #
Instance details Defined in Maestro.Types.Common Methods toJSON ∷ TokenName → Value toEncoding ∷ TokenName → Encoding toJSONList ∷ [TokenName] → Value toEncodingList ∷ [TokenName] → Encoding omitField ∷ TokenName → Bool
FromJSON TokenName #
Instance details Defined in Maestro.Types.Common Methods parseJSON ∷ Value → Parser TokenName parseJSONList ∷ Value → Parser [TokenName] omittedField ∷ Maybe TokenName
type Rep TokenName #
Instance details Defined in Maestro.Types.Common type Rep TokenName = D1 ('MetaData "TokenName" "Maestro.Types.Common" "maestro-sdk-1.7.3-inplace" 'True) (C1 ('MetaCons "TokenName" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)))

newtype EpochNo #

An epoch, i.e. the number of the epoch.

Constructors

EpochNo
Fields unEpochNo ∷ Word64

Instances

Instances details

Enum EpochNo #
Instance details Defined in Maestro.Types.Common Methods succ ∷ EpochNo → EpochNo # pred ∷ EpochNo → EpochNo # toEnum ∷ Int → EpochNo # fromEnum ∷ EpochNo → Int # enumFrom ∷ EpochNo → [EpochNo] # enumFromThen ∷ EpochNo → EpochNo → [EpochNo] # enumFromTo ∷ EpochNo → EpochNo → [EpochNo] # enumFromThenTo ∷ EpochNo → EpochNo → EpochNo → [EpochNo] #
Eq EpochNo #
Instance details Defined in Maestro.Types.Common Methods (==) ∷ EpochNo → EpochNo → Bool # (/=) ∷ EpochNo → EpochNo → Bool #
Integral EpochNo #
Instance details Defined in Maestro.Types.Common Methods quot ∷ EpochNo → EpochNo → EpochNo # rem ∷ EpochNo → EpochNo → EpochNo # div ∷ EpochNo → EpochNo → EpochNo # mod ∷ EpochNo → EpochNo → EpochNo # quotRem ∷ EpochNo → EpochNo → (EpochNo, EpochNo) # divMod ∷ EpochNo → EpochNo → (EpochNo, EpochNo) # toInteger ∷ EpochNo → Integer #
Num EpochNo #
Instance details Defined in Maestro.Types.Common Methods (+) ∷ EpochNo → EpochNo → EpochNo # (-) ∷ EpochNo → EpochNo → EpochNo # (*) ∷ EpochNo → EpochNo → EpochNo # negate ∷ EpochNo → EpochNo # abs ∷ EpochNo → EpochNo # signum ∷ EpochNo → EpochNo # fromInteger ∷ Integer → EpochNo #
Ord EpochNo #
Instance details Defined in Maestro.Types.Common Methods compare ∷ EpochNo → EpochNo → Ordering # (<) ∷ EpochNo → EpochNo → Bool # (<=) ∷ EpochNo → EpochNo → Bool # (>) ∷ EpochNo → EpochNo → Bool # (>=) ∷ EpochNo → EpochNo → Bool # max ∷ EpochNo → EpochNo → EpochNo # min ∷ EpochNo → EpochNo → EpochNo #
Real EpochNo #
Instance details Defined in Maestro.Types.Common Methods toRational ∷ EpochNo → Rational #
Show EpochNo #
Instance details Defined in Maestro.Types.Common Methods showsPrec ∷ Int → EpochNo → ShowS # show ∷ EpochNo → String # showList ∷ [EpochNo] → ShowS #
Generic EpochNo #
Instance details Defined in Maestro.Types.Common Associated Types type Rep EpochNo ∷ Type → Type # Methods from ∷ EpochNo → Rep EpochNo x # to ∷ Rep EpochNo x → EpochNo #
ToHttpApiData EpochNo #
Instance details Defined in Maestro.Types.Common Methods toUrlPiece ∷ EpochNo → Text toEncodedUrlPiece ∷ EpochNo → Builder toHeader ∷ EpochNo → ByteString toQueryParam ∷ EpochNo → Text toEncodedQueryParam ∷ EpochNo → Builder
ToJSON EpochNo #
Instance details Defined in Maestro.Types.Common Methods toJSON ∷ EpochNo → Value toEncoding ∷ EpochNo → Encoding toJSONList ∷ [EpochNo] → Value toEncodingList ∷ [EpochNo] → Encoding omitField ∷ EpochNo → Bool
FromJSON EpochNo #
Instance details Defined in Maestro.Types.Common Methods parseJSON ∷ Value → Parser EpochNo parseJSONList ∷ Value → Parser [EpochNo] omittedField ∷ Maybe EpochNo
type Rep EpochNo #
Instance details Defined in Maestro.Types.Common type Rep EpochNo = D1 ('MetaData "EpochNo" "Maestro.Types.Common" "maestro-sdk-1.7.3-inplace" 'True) (C1 ('MetaCons "EpochNo" 'PrefixI 'True) (S1 ('MetaSel ('Just "unEpochNo") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word64)))

newtype EpochSize #

Length of an epoch, i.e., number of slots in it.

Constructors

EpochSize
Fields unEpochSize ∷ Word64

Instances

Instances details

Enum EpochSize #
Instance details Defined in Maestro.Types.Common Methods succ ∷ EpochSize → EpochSize # pred ∷ EpochSize → EpochSize # toEnum ∷ Int → EpochSize # fromEnum ∷ EpochSize → Int # enumFrom ∷ EpochSize → [EpochSize] # enumFromThen ∷ EpochSize → EpochSize → [EpochSize] # enumFromTo ∷ EpochSize → EpochSize → [EpochSize] # enumFromThenTo ∷ EpochSize → EpochSize → EpochSize → [EpochSize] #
Eq EpochSize #
Instance details Defined in Maestro.Types.Common Methods (==) ∷ EpochSize → EpochSize → Bool # (/=) ∷ EpochSize → EpochSize → Bool #
Integral EpochSize #
Instance details Defined in Maestro.Types.Common Methods quot ∷ EpochSize → EpochSize → EpochSize # rem ∷ EpochSize → EpochSize → EpochSize # div ∷ EpochSize → EpochSize → EpochSize # mod ∷ EpochSize → EpochSize → EpochSize # quotRem ∷ EpochSize → EpochSize → (EpochSize, EpochSize) # divMod ∷ EpochSize → EpochSize → (EpochSize, EpochSize) # toInteger ∷ EpochSize → Integer #
Num EpochSize #
Instance details Defined in Maestro.Types.Common Methods (+) ∷ EpochSize → EpochSize → EpochSize # (-) ∷ EpochSize → EpochSize → EpochSize # (*) ∷ EpochSize → EpochSize → EpochSize # negate ∷ EpochSize → EpochSize # abs ∷ EpochSize → EpochSize # signum ∷ EpochSize → EpochSize # fromInteger ∷ Integer → EpochSize #
Ord EpochSize #
Instance details Defined in Maestro.Types.Common Methods compare ∷ EpochSize → EpochSize → Ordering # (<) ∷ EpochSize → EpochSize → Bool # (<=) ∷ EpochSize → EpochSize → Bool # (>) ∷ EpochSize → EpochSize → Bool # (>=) ∷ EpochSize → EpochSize → Bool # max ∷ EpochSize → EpochSize → EpochSize # min ∷ EpochSize → EpochSize → EpochSize #
Real EpochSize #
Instance details Defined in Maestro.Types.Common Methods toRational ∷ EpochSize → Rational #
Show EpochSize #
Instance details Defined in Maestro.Types.Common Methods showsPrec ∷ Int → EpochSize → ShowS # show ∷ EpochSize → String # showList ∷ [EpochSize] → ShowS #
Generic EpochSize #
Instance details Defined in Maestro.Types.Common Associated Types type Rep EpochSize ∷ Type → Type # Methods from ∷ EpochSize → Rep EpochSize x # to ∷ Rep EpochSize x → EpochSize #
ToJSON EpochSize #
Instance details Defined in Maestro.Types.Common Methods toJSON ∷ EpochSize → Value toEncoding ∷ EpochSize → Encoding toJSONList ∷ [EpochSize] → Value toEncodingList ∷ [EpochSize] → Encoding omitField ∷ EpochSize → Bool
FromJSON EpochSize #
Instance details Defined in Maestro.Types.Common Methods parseJSON ∷ Value → Parser EpochSize parseJSONList ∷ Value → Parser [EpochSize] omittedField ∷ Maybe EpochSize
type Rep EpochSize #
Instance details Defined in Maestro.Types.Common type Rep EpochSize = D1 ('MetaData "EpochSize" "Maestro.Types.Common" "maestro-sdk-1.7.3-inplace" 'True) (C1 ('MetaCons "EpochSize" 'PrefixI 'True) (S1 ('MetaSel ('Just "unEpochSize") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word64)))

newtype AbsoluteSlot #

Absolute Slot Number

Constructors

AbsoluteSlot
Fields unAbsoluteSlot ∷ Natural

Instances

Instances details

Eq AbsoluteSlot #
Instance details Defined in Maestro.Types.Common Methods (==) ∷ AbsoluteSlot → AbsoluteSlot → Bool # (/=) ∷ AbsoluteSlot → AbsoluteSlot → Bool #
Show AbsoluteSlot #
Instance details Defined in Maestro.Types.Common Methods showsPrec ∷ Int → AbsoluteSlot → ShowS # show ∷ AbsoluteSlot → String # showList ∷ [AbsoluteSlot] → ShowS #
Generic AbsoluteSlot #
Instance details Defined in Maestro.Types.Common Associated Types type Rep AbsoluteSlot ∷ Type → Type # Methods from ∷ AbsoluteSlot → Rep AbsoluteSlot x # to ∷ Rep AbsoluteSlot x → AbsoluteSlot #
ToJSON AbsoluteSlot #
Instance details Defined in Maestro.Types.Common Methods toJSON ∷ AbsoluteSlot → Value toEncoding ∷ AbsoluteSlot → Encoding toJSONList ∷ [AbsoluteSlot] → Value toEncodingList ∷ [AbsoluteSlot] → Encoding omitField ∷ AbsoluteSlot → Bool
FromJSON AbsoluteSlot #
Instance details Defined in Maestro.Types.Common Methods parseJSON ∷ Value → Parser AbsoluteSlot parseJSONList ∷ Value → Parser [AbsoluteSlot] omittedField ∷ Maybe AbsoluteSlot
type Rep AbsoluteSlot #
Instance details Defined in Maestro.Types.Common type Rep AbsoluteSlot = D1 ('MetaData "AbsoluteSlot" "Maestro.Types.Common" "maestro-sdk-1.7.3-inplace" 'True) (C1 ('MetaCons "AbsoluteSlot" 'PrefixI 'True) (S1 ('MetaSel ('Just "unAbsoluteSlot") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Natural)))

newtype SlotNo #

The 0-based index for the Ourboros time slot.

Constructors

SlotNo
Fields unSlotNo ∷ Word64

Instances

Instances details

Bounded SlotNo #
Instance details Defined in Maestro.Types.Common Methods minBound ∷ SlotNo # maxBound ∷ SlotNo #
Enum SlotNo #
Instance details Defined in Maestro.Types.Common Methods succ ∷ SlotNo → SlotNo # pred ∷ SlotNo → SlotNo # toEnum ∷ Int → SlotNo # fromEnum ∷ SlotNo → Int # enumFrom ∷ SlotNo → [SlotNo] # enumFromThen ∷ SlotNo → SlotNo → [SlotNo] # enumFromTo ∷ SlotNo → SlotNo → [SlotNo] # enumFromThenTo ∷ SlotNo → SlotNo → SlotNo → [SlotNo] #
Eq SlotNo #
Instance details Defined in Maestro.Types.Common Methods (==) ∷ SlotNo → SlotNo → Bool # (/=) ∷ SlotNo → SlotNo → Bool #
Integral SlotNo #
Instance details Defined in Maestro.Types.Common Methods quot ∷ SlotNo → SlotNo → SlotNo # rem ∷ SlotNo → SlotNo → SlotNo # div ∷ SlotNo → SlotNo → SlotNo # mod ∷ SlotNo → SlotNo → SlotNo # quotRem ∷ SlotNo → SlotNo → (SlotNo, SlotNo) # divMod ∷ SlotNo → SlotNo → (SlotNo, SlotNo) # toInteger ∷ SlotNo → Integer #
Num SlotNo #
Instance details Defined in Maestro.Types.Common Methods (+) ∷ SlotNo → SlotNo → SlotNo # (-) ∷ SlotNo → SlotNo → SlotNo # (*) ∷ SlotNo → SlotNo → SlotNo # negate ∷ SlotNo → SlotNo # abs ∷ SlotNo → SlotNo # signum ∷ SlotNo → SlotNo # fromInteger ∷ Integer → SlotNo #
Ord SlotNo #
Instance details Defined in Maestro.Types.Common Methods compare ∷ SlotNo → SlotNo → Ordering # (<) ∷ SlotNo → SlotNo → Bool # (<=) ∷ SlotNo → SlotNo → Bool # (>) ∷ SlotNo → SlotNo → Bool # (>=) ∷ SlotNo → SlotNo → Bool # max ∷ SlotNo → SlotNo → SlotNo # min ∷ SlotNo → SlotNo → SlotNo #
Real SlotNo #
Instance details Defined in Maestro.Types.Common Methods toRational ∷ SlotNo → Rational #
Show SlotNo #
Instance details Defined in Maestro.Types.Common Methods showsPrec ∷ Int → SlotNo → ShowS # show ∷ SlotNo → String # showList ∷ [SlotNo] → ShowS #
Generic SlotNo #
Instance details Defined in Maestro.Types.Common Associated Types type Rep SlotNo ∷ Type → Type # Methods from ∷ SlotNo → Rep SlotNo x # to ∷ Rep SlotNo x → SlotNo #
FromHttpApiData SlotNo #
Instance details Defined in Maestro.Types.Common Methods parseUrlPiece ∷ Text → Either Text SlotNo parseHeader ∷ ByteString → Either Text SlotNo parseQueryParam ∷ Text → Either Text SlotNo
ToHttpApiData SlotNo #
Instance details Defined in Maestro.Types.Common Methods toUrlPiece ∷ SlotNo → Text toEncodedUrlPiece ∷ SlotNo → Builder toHeader ∷ SlotNo → ByteString toQueryParam ∷ SlotNo → Text toEncodedQueryParam ∷ SlotNo → Builder
ToJSON SlotNo #
Instance details Defined in Maestro.Types.Common Methods toJSON ∷ SlotNo → Value toEncoding ∷ SlotNo → Encoding toJSONList ∷ [SlotNo] → Value toEncodingList ∷ [SlotNo] → Encoding omitField ∷ SlotNo → Bool
FromJSON SlotNo #
Instance details Defined in Maestro.Types.Common Methods parseJSON ∷ Value → Parser SlotNo parseJSONList ∷ Value → Parser [SlotNo] omittedField ∷ Maybe SlotNo
type Rep SlotNo #
Instance details Defined in Maestro.Types.Common type Rep SlotNo = D1 ('MetaData "SlotNo" "Maestro.Types.Common" "maestro-sdk-1.7.3-inplace" 'True) (C1 ('MetaCons "SlotNo" 'PrefixI 'True) (S1 ('MetaSel ('Just "unSlotNo") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word64)))

newtype BlockHeight #

Block Height

Constructors

BlockHeight
Fields unBlockHeight ∷ Natural

Instances

Instances details

Enum BlockHeight #
Instance details Defined in Maestro.Types.Common Methods succ ∷ BlockHeight → BlockHeight # pred ∷ BlockHeight → BlockHeight # toEnum ∷ Int → BlockHeight # fromEnum ∷ BlockHeight → Int # enumFrom ∷ BlockHeight → [BlockHeight] # enumFromThen ∷ BlockHeight → BlockHeight → [BlockHeight] # enumFromTo ∷ BlockHeight → BlockHeight → [BlockHeight] # enumFromThenTo ∷ BlockHeight → BlockHeight → BlockHeight → [BlockHeight] #
Eq BlockHeight #
Instance details Defined in Maestro.Types.Common Methods (==) ∷ BlockHeight → BlockHeight → Bool # (/=) ∷ BlockHeight → BlockHeight → Bool #
Integral BlockHeight #
Instance details Defined in Maestro.Types.Common Methods quot ∷ BlockHeight → BlockHeight → BlockHeight # rem ∷ BlockHeight → BlockHeight → BlockHeight # div ∷ BlockHeight → BlockHeight → BlockHeight # mod ∷ BlockHeight → BlockHeight → BlockHeight # quotRem ∷ BlockHeight → BlockHeight → (BlockHeight, BlockHeight) # divMod ∷ BlockHeight → BlockHeight → (BlockHeight, BlockHeight) # toInteger ∷ BlockHeight → Integer #
Num BlockHeight #
Instance details Defined in Maestro.Types.Common Methods (+) ∷ BlockHeight → BlockHeight → BlockHeight # (-) ∷ BlockHeight → BlockHeight → BlockHeight # (*) ∷ BlockHeight → BlockHeight → BlockHeight # negate ∷ BlockHeight → BlockHeight # abs ∷ BlockHeight → BlockHeight # signum ∷ BlockHeight → BlockHeight # fromInteger ∷ Integer → BlockHeight #
Ord BlockHeight #
Instance details Defined in Maestro.Types.Common Methods compare ∷ BlockHeight → BlockHeight → Ordering # (<) ∷ BlockHeight → BlockHeight → Bool # (<=) ∷ BlockHeight → BlockHeight → Bool # (>) ∷ BlockHeight → BlockHeight → Bool # (>=) ∷ BlockHeight → BlockHeight → Bool # max ∷ BlockHeight → BlockHeight → BlockHeight # min ∷ BlockHeight → BlockHeight → BlockHeight #
Real BlockHeight #
Instance details Defined in Maestro.Types.Common Methods toRational ∷ BlockHeight → Rational #
Show BlockHeight #
Instance details Defined in Maestro.Types.Common Methods showsPrec ∷ Int → BlockHeight → ShowS # show ∷ BlockHeight → String # showList ∷ [BlockHeight] → ShowS #
Generic BlockHeight #
Instance details Defined in Maestro.Types.Common Associated Types type Rep BlockHeight ∷ Type → Type # Methods from ∷ BlockHeight → Rep BlockHeight x # to ∷ Rep BlockHeight x → BlockHeight #
FromHttpApiData BlockHeight #
Instance details Defined in Maestro.Types.Common Methods parseUrlPiece ∷ Text → Either Text BlockHeight parseHeader ∷ ByteString → Either Text BlockHeight parseQueryParam ∷ Text → Either Text BlockHeight
ToHttpApiData BlockHeight #
Instance details Defined in Maestro.Types.Common Methods toUrlPiece ∷ BlockHeight → Text toEncodedUrlPiece ∷ BlockHeight → Builder toHeader ∷ BlockHeight → ByteString toQueryParam ∷ BlockHeight → Text toEncodedQueryParam ∷ BlockHeight → Builder
ToJSON BlockHeight #
Instance details Defined in Maestro.Types.Common Methods toJSON ∷ BlockHeight → Value toEncoding ∷ BlockHeight → Encoding toJSONList ∷ [BlockHeight] → Value toEncodingList ∷ [BlockHeight] → Encoding omitField ∷ BlockHeight → Bool
FromJSON BlockHeight #
Instance details Defined in Maestro.Types.Common Methods parseJSON ∷ Value → Parser BlockHeight parseJSONList ∷ Value → Parser [BlockHeight] omittedField ∷ Maybe BlockHeight
type Rep BlockHeight #
Instance details Defined in Maestro.Types.Common type Rep BlockHeight = D1 ('MetaData "BlockHeight" "Maestro.Types.Common" "maestro-sdk-1.7.3-inplace" 'True) (C1 ('MetaCons "BlockHeight" 'PrefixI 'True) (S1 ('MetaSel ('Just "unBlockHeight") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Natural)))

newtype BlockHash #

Hash of the block.

Constructors

BlockHash
Fields unBlockHash ∷ Text

Instances

Instances details

Eq BlockHash #
Instance details Defined in Maestro.Types.Common Methods (==) ∷ BlockHash → BlockHash → Bool # (/=) ∷ BlockHash → BlockHash → Bool #
Ord BlockHash #
Instance details Defined in Maestro.Types.Common Methods compare ∷ BlockHash → BlockHash → Ordering # (<) ∷ BlockHash → BlockHash → Bool # (<=) ∷ BlockHash → BlockHash → Bool # (>) ∷ BlockHash → BlockHash → Bool # (>=) ∷ BlockHash → BlockHash → Bool # max ∷ BlockHash → BlockHash → BlockHash # min ∷ BlockHash → BlockHash → BlockHash #
Show BlockHash #
Instance details Defined in Maestro.Types.Common Methods showsPrec ∷ Int → BlockHash → ShowS # show ∷ BlockHash → String # showList ∷ [BlockHash] → ShowS #
Generic BlockHash #
Instance details Defined in Maestro.Types.Common Associated Types type Rep BlockHash ∷ Type → Type # Methods from ∷ BlockHash → Rep BlockHash x # to ∷ Rep BlockHash x → BlockHash #
FromHttpApiData BlockHash #
Instance details Defined in Maestro.Types.Common Methods parseUrlPiece ∷ Text → Either Text BlockHash parseHeader ∷ ByteString → Either Text BlockHash parseQueryParam ∷ Text → Either Text BlockHash
ToHttpApiData BlockHash #
Instance details Defined in Maestro.Types.Common Methods toUrlPiece ∷ BlockHash → Text toEncodedUrlPiece ∷ BlockHash → Builder toHeader ∷ BlockHash → ByteString toQueryParam ∷ BlockHash → Text toEncodedQueryParam ∷ BlockHash → Builder
ToJSON BlockHash #
Instance details Defined in Maestro.Types.Common Methods toJSON ∷ BlockHash → Value toEncoding ∷ BlockHash → Encoding toJSONList ∷ [BlockHash] → Value toEncodingList ∷ [BlockHash] → Encoding omitField ∷ BlockHash → Bool
FromJSON BlockHash #
Instance details Defined in Maestro.Types.Common Methods parseJSON ∷ Value → Parser BlockHash parseJSONList ∷ Value → Parser [BlockHash] omittedField ∷ Maybe BlockHash
type Rep BlockHash #
Instance details Defined in Maestro.Types.Common type Rep BlockHash = D1 ('MetaData "BlockHash" "Maestro.Types.Common" "maestro-sdk-1.7.3-inplace" 'True) (C1 ('MetaCons "BlockHash" 'PrefixI 'True) (S1 ('MetaSel ('Just "unBlockHash") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)))

newtype TxHash #

Hash of the Transaction.

Constructors

TxHash Text

Instances

Instances details

Eq TxHash #
Instance details Defined in Maestro.Types.Common Methods (==) ∷ TxHash → TxHash → Bool # (/=) ∷ TxHash → TxHash → Bool #
Ord TxHash #
Instance details Defined in Maestro.Types.Common Methods compare ∷ TxHash → TxHash → Ordering # (<) ∷ TxHash → TxHash → Bool # (<=) ∷ TxHash → TxHash → Bool # (>) ∷ TxHash → TxHash → Bool # (>=) ∷ TxHash → TxHash → Bool # max ∷ TxHash → TxHash → TxHash # min ∷ TxHash → TxHash → TxHash #
Show TxHash #
Instance details Defined in Maestro.Types.Common Methods showsPrec ∷ Int → TxHash → ShowS # show ∷ TxHash → String # showList ∷ [TxHash] → ShowS #
IsString TxHash #
Instance details Defined in Maestro.Types.Common Methods fromString ∷ String → TxHash #
Generic TxHash #
Instance details Defined in Maestro.Types.Common Associated Types type Rep TxHash ∷ Type → Type # Methods from ∷ TxHash → Rep TxHash x # to ∷ Rep TxHash x → TxHash #
FromHttpApiData TxHash #
Instance details Defined in Maestro.Types.Common Methods parseUrlPiece ∷ Text → Either Text TxHash parseHeader ∷ ByteString → Either Text TxHash parseQueryParam ∷ Text → Either Text TxHash
ToHttpApiData TxHash #
Instance details Defined in Maestro.Types.Common Methods toUrlPiece ∷ TxHash → Text toEncodedUrlPiece ∷ TxHash → Builder toHeader ∷ TxHash → ByteString toQueryParam ∷ TxHash → Text toEncodedQueryParam ∷ TxHash → Builder
ToJSON TxHash #
Instance details Defined in Maestro.Types.Common Methods toJSON ∷ TxHash → Value toEncoding ∷ TxHash → Encoding toJSONList ∷ [TxHash] → Value toEncodingList ∷ [TxHash] → Encoding omitField ∷ TxHash → Bool
FromJSON TxHash #
Instance details Defined in Maestro.Types.Common Methods parseJSON ∷ Value → Parser TxHash parseJSONList ∷ Value → Parser [TxHash] omittedField ∷ Maybe TxHash
type Rep TxHash #
Instance details Defined in Maestro.Types.Common type Rep TxHash = D1 ('MetaData "TxHash" "Maestro.Types.Common" "maestro-sdk-1.7.3-inplace" 'True) (C1 ('MetaCons "TxHash" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)))

newtype Bech32StringOf a #

Type to label the string is question is a Bech32 representation of the given type a.

Constructors

Bech32StringOf Text

Instances

Instances details

Eq (Bech32StringOf a) #
Instance details Defined in Maestro.Types.Common Methods (==) ∷ Bech32StringOf a → Bech32StringOf a → Bool # (/=) ∷ Bech32StringOf a → Bech32StringOf a → Bool #
Ord (Bech32StringOf a) #
Instance details Defined in Maestro.Types.Common Methods compare ∷ Bech32StringOf a → Bech32StringOf a → Ordering # (<) ∷ Bech32StringOf a → Bech32StringOf a → Bool # (<=) ∷ Bech32StringOf a → Bech32StringOf a → Bool # (>) ∷ Bech32StringOf a → Bech32StringOf a → Bool # (>=) ∷ Bech32StringOf a → Bech32StringOf a → Bool # max ∷ Bech32StringOf a → Bech32StringOf a → Bech32StringOf a # min ∷ Bech32StringOf a → Bech32StringOf a → Bech32StringOf a #
Show (Bech32StringOf a) #
Instance details Defined in Maestro.Types.Common Methods showsPrec ∷ Int → Bech32StringOf a → ShowS # show ∷ Bech32StringOf a → String # showList ∷ [Bech32StringOf a] → ShowS #
IsString (Bech32StringOf a) #
Instance details Defined in Maestro.Types.Common Methods fromString ∷ String → Bech32StringOf a #
Generic (Bech32StringOf a) #
Instance details Defined in Maestro.Types.Common Associated Types type Rep (Bech32StringOf a) ∷ Type → Type # Methods from ∷ Bech32StringOf a → Rep (Bech32StringOf a) x # to ∷ Rep (Bech32StringOf a) x → Bech32StringOf a #
FromHttpApiData (Bech32StringOf a) #
Instance details Defined in Maestro.Types.Common Methods parseUrlPiece ∷ Text → Either Text (Bech32StringOf a) parseHeader ∷ ByteString → Either Text (Bech32StringOf a) parseQueryParam ∷ Text → Either Text (Bech32StringOf a)
ToHttpApiData (Bech32StringOf a) #
Instance details Defined in Maestro.Types.Common Methods toUrlPiece ∷ Bech32StringOf a → Text toEncodedUrlPiece ∷ Bech32StringOf a → Builder toHeader ∷ Bech32StringOf a → ByteString toQueryParam ∷ Bech32StringOf a → Text toEncodedQueryParam ∷ Bech32StringOf a → Builder
ToJSON (Bech32StringOf a) #
Instance details Defined in Maestro.Types.Common Methods toJSON ∷ Bech32StringOf a → Value toEncoding ∷ Bech32StringOf a → Encoding toJSONList ∷ [Bech32StringOf a] → Value toEncodingList ∷ [Bech32StringOf a] → Encoding omitField ∷ Bech32StringOf a → Bool
FromJSON (Bech32StringOf a) #
Instance details Defined in Maestro.Types.Common Methods parseJSON ∷ Value → Parser (Bech32StringOf a) parseJSONList ∷ Value → Parser [Bech32StringOf a] omittedField ∷ Maybe (Bech32StringOf a)
type Rep (Bech32StringOf a) #
Instance details Defined in Maestro.Types.Common type Rep (Bech32StringOf a) = D1 ('MetaData "Bech32StringOf" "Maestro.Types.Common" "maestro-sdk-1.7.3-inplace" 'True) (C1 ('MetaCons "Bech32StringOf" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)))

newtype HexStringOf a #

Type to label the string is question is a hexadecimal representation of the given type a.

Constructors

HexStringOf Text

Instances

Instances details

Eq (HexStringOf a) #
Instance details Defined in Maestro.Types.Common Methods (==) ∷ HexStringOf a → HexStringOf a → Bool # (/=) ∷ HexStringOf a → HexStringOf a → Bool #
Ord (HexStringOf a) #
Instance details Defined in Maestro.Types.Common Methods compare ∷ HexStringOf a → HexStringOf a → Ordering # (<) ∷ HexStringOf a → HexStringOf a → Bool # (<=) ∷ HexStringOf a → HexStringOf a → Bool # (>) ∷ HexStringOf a → HexStringOf a → Bool # (>=) ∷ HexStringOf a → HexStringOf a → Bool # max ∷ HexStringOf a → HexStringOf a → HexStringOf a # min ∷ HexStringOf a → HexStringOf a → HexStringOf a #
Show (HexStringOf a) #
Instance details Defined in Maestro.Types.Common Methods showsPrec ∷ Int → HexStringOf a → ShowS # show ∷ HexStringOf a → String # showList ∷ [HexStringOf a] → ShowS #
IsString (HexStringOf a) #
Instance details Defined in Maestro.Types.Common Methods fromString ∷ String → HexStringOf a #
Generic (HexStringOf a) #
Instance details Defined in Maestro.Types.Common Associated Types type Rep (HexStringOf a) ∷ Type → Type # Methods from ∷ HexStringOf a → Rep (HexStringOf a) x # to ∷ Rep (HexStringOf a) x → HexStringOf a #
FromHttpApiData (HexStringOf a) #
Instance details Defined in Maestro.Types.Common Methods parseUrlPiece ∷ Text → Either Text (HexStringOf a) parseHeader ∷ ByteString → Either Text (HexStringOf a) parseQueryParam ∷ Text → Either Text (HexStringOf a)
ToHttpApiData (HexStringOf a) #
Instance details Defined in Maestro.Types.Common Methods toUrlPiece ∷ HexStringOf a → Text toEncodedUrlPiece ∷ HexStringOf a → Builder toHeader ∷ HexStringOf a → ByteString toQueryParam ∷ HexStringOf a → Text toEncodedQueryParam ∷ HexStringOf a → Builder
ToJSON (HexStringOf a) #
Instance details Defined in Maestro.Types.Common Methods toJSON ∷ HexStringOf a → Value toEncoding ∷ HexStringOf a → Encoding toJSONList ∷ [HexStringOf a] → Value toEncodingList ∷ [HexStringOf a] → Encoding omitField ∷ HexStringOf a → Bool
FromJSON (HexStringOf a) #
Instance details Defined in Maestro.Types.Common Methods parseJSON ∷ Value → Parser (HexStringOf a) parseJSONList ∷ Value → Parser [HexStringOf a] omittedField ∷ Maybe (HexStringOf a)
type Rep (HexStringOf a) #
Instance details Defined in Maestro.Types.Common type Rep (HexStringOf a) = D1 ('MetaData "HexStringOf" "Maestro.Types.Common" "maestro-sdk-1.7.3-inplace" 'True) (C1 ('MetaCons "HexStringOf" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)))

newtype HashStringOf a #

Type to label the string is question is a hash string of the given type a, like hash of the transaction body.

Constructors

HashStringOf Text

Instances

Instances details

Eq (HashStringOf a) #
Instance details Defined in Maestro.Types.Common Methods (==) ∷ HashStringOf a → HashStringOf a → Bool # (/=) ∷ HashStringOf a → HashStringOf a → Bool #
Ord (HashStringOf a) #
Instance details Defined in Maestro.Types.Common Methods compare ∷ HashStringOf a → HashStringOf a → Ordering # (<) ∷ HashStringOf a → HashStringOf a → Bool # (<=) ∷ HashStringOf a → HashStringOf a → Bool # (>) ∷ HashStringOf a → HashStringOf a → Bool # (>=) ∷ HashStringOf a → HashStringOf a → Bool # max ∷ HashStringOf a → HashStringOf a → HashStringOf a # min ∷ HashStringOf a → HashStringOf a → HashStringOf a #
Show (HashStringOf a) #
Instance details Defined in Maestro.Types.Common Methods showsPrec ∷ Int → HashStringOf a → ShowS # show ∷ HashStringOf a → String # showList ∷ [HashStringOf a] → ShowS #
IsString (HashStringOf a) #
Instance details Defined in Maestro.Types.Common Methods fromString ∷ String → HashStringOf a #
Generic (HashStringOf a) #
Instance details Defined in Maestro.Types.Common Associated Types type Rep (HashStringOf a) ∷ Type → Type # Methods from ∷ HashStringOf a → Rep (HashStringOf a) x # to ∷ Rep (HashStringOf a) x → HashStringOf a #
FromHttpApiData (HashStringOf a) #
Instance details Defined in Maestro.Types.Common Methods parseUrlPiece ∷ Text → Either Text (HashStringOf a) parseHeader ∷ ByteString → Either Text (HashStringOf a) parseQueryParam ∷ Text → Either Text (HashStringOf a)
ToHttpApiData (HashStringOf a) #
Instance details Defined in Maestro.Types.Common Methods toUrlPiece ∷ HashStringOf a → Text toEncodedUrlPiece ∷ HashStringOf a → Builder toHeader ∷ HashStringOf a → ByteString toQueryParam ∷ HashStringOf a → Text toEncodedQueryParam ∷ HashStringOf a → Builder
ToJSON (HashStringOf a) #
Instance details Defined in Maestro.Types.Common Methods toJSON ∷ HashStringOf a → Value toEncoding ∷ HashStringOf a → Encoding toJSONList ∷ [HashStringOf a] → Value toEncodingList ∷ [HashStringOf a] → Encoding omitField ∷ HashStringOf a → Bool
FromJSON (HashStringOf a) #
Instance details Defined in Maestro.Types.Common Methods parseJSON ∷ Value → Parser (HashStringOf a) parseJSONList ∷ Value → Parser [HashStringOf a] omittedField ∷ Maybe (HashStringOf a)
type Rep (HashStringOf a) #
Instance details Defined in Maestro.Types.Common type Rep (HashStringOf a) = D1 ('MetaData "HashStringOf" "Maestro.Types.Common" "maestro-sdk-1.7.3-inplace" 'True) (C1 ('MetaCons "HashStringOf" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)))

data DatumOptionType #

Datum in output is either inlined or not.

Constructors

Inline
Hash

Instances

Instances details

Eq DatumOptionType #
Instance details Defined in Maestro.Types.Common Methods (==) ∷ DatumOptionType → DatumOptionType → Bool # (/=) ∷ DatumOptionType → DatumOptionType → Bool #
Ord DatumOptionType #
Instance details Defined in Maestro.Types.Common Methods compare ∷ DatumOptionType → DatumOptionType → Ordering # (<) ∷ DatumOptionType → DatumOptionType → Bool # (<=) ∷ DatumOptionType → DatumOptionType → Bool # (>) ∷ DatumOptionType → DatumOptionType → Bool # (>=) ∷ DatumOptionType → DatumOptionType → Bool # max ∷ DatumOptionType → DatumOptionType → DatumOptionType # min ∷ DatumOptionType → DatumOptionType → DatumOptionType #
Show DatumOptionType #
Instance details Defined in Maestro.Types.Common Methods showsPrec ∷ Int → DatumOptionType → ShowS # show ∷ DatumOptionType → String # showList ∷ [DatumOptionType] → ShowS #
Generic DatumOptionType #
Instance details Defined in Maestro.Types.Common Associated Types type Rep DatumOptionType ∷ Type → Type # Methods from ∷ DatumOptionType → Rep DatumOptionType x # to ∷ Rep DatumOptionType x → DatumOptionType #
ToJSON DatumOptionType #
Instance details Defined in Maestro.Types.Common Methods toJSON ∷ DatumOptionType → Value toEncoding ∷ DatumOptionType → Encoding toJSONList ∷ [DatumOptionType] → Value toEncodingList ∷ [DatumOptionType] → Encoding omitField ∷ DatumOptionType → Bool
FromJSON DatumOptionType #
Instance details Defined in Maestro.Types.Common Methods parseJSON ∷ Value → Parser DatumOptionType parseJSONList ∷ Value → Parser [DatumOptionType] omittedField ∷ Maybe DatumOptionType
type Rep DatumOptionType #
Instance details Defined in Maestro.Types.Common type Rep DatumOptionType = D1 ('MetaData "DatumOptionType" "Maestro.Types.Common" "maestro-sdk-1.7.3-inplace" 'False) (C1 ('MetaCons "Inline" 'PrefixI 'False) (U1 ∷ Type → Type) :+: C1 ('MetaCons "Hash" 'PrefixI 'False) (U1 ∷ Type → Type))

data DatumOption #

Description of datum in an output. If datum is successfully resolved for (when mentioning to resolve for it by giving resolve_datums flag in query parameters) then fields like datumOptionBytes would have non Nothing value even if UTxO just had hash of datum.

Constructors

DatumOption
Fields datumOptionBytes ∷ !(Maybe Text) Hex encoded datum CBOR bytes. datumOptionHash ∷ !Text Hash of the datum. datumOptionJson ∷ !(Maybe Value) JSON representation of the datum. datumOptionType ∷ !DatumOptionType See `DatumOptionType`.

Instances

Instances details

Eq DatumOption #
Instance details Defined in Maestro.Types.Common Methods (==) ∷ DatumOption → DatumOption → Bool # (/=) ∷ DatumOption → DatumOption → Bool #
Ord DatumOption #
Instance details Defined in Maestro.Types.Common Methods compare ∷ DatumOption → DatumOption → Ordering # (<) ∷ DatumOption → DatumOption → Bool # (<=) ∷ DatumOption → DatumOption → Bool # (>) ∷ DatumOption → DatumOption → Bool # (>=) ∷ DatumOption → DatumOption → Bool # max ∷ DatumOption → DatumOption → DatumOption # min ∷ DatumOption → DatumOption → DatumOption #
Show DatumOption #
Instance details Defined in Maestro.Types.Common Methods showsPrec ∷ Int → DatumOption → ShowS # show ∷ DatumOption → String # showList ∷ [DatumOption] → ShowS #
Generic DatumOption #
Instance details Defined in Maestro.Types.Common Associated Types type Rep DatumOption ∷ Type → Type # Methods from ∷ DatumOption → Rep DatumOption x # to ∷ Rep DatumOption x → DatumOption #
ToJSON DatumOption #
Instance details Defined in Maestro.Types.Common Methods toJSON ∷ DatumOption → Value toEncoding ∷ DatumOption → Encoding toJSONList ∷ [DatumOption] → Value toEncodingList ∷ [DatumOption] → Encoding omitField ∷ DatumOption → Bool
FromJSON DatumOption #
Instance details Defined in Maestro.Types.Common Methods parseJSON ∷ Value → Parser DatumOption parseJSONList ∷ Value → Parser [DatumOption] omittedField ∷ Maybe DatumOption
type Rep DatumOption #
Instance details Defined in Maestro.Types.Common type Rep DatumOption = D1 ('MetaData "DatumOption" "Maestro.Types.Common" "maestro-sdk-1.7.3-inplace" 'False) (C1 ('MetaCons "DatumOption" 'PrefixI 'True) ((S1 ('MetaSel ('Just "datumOptionBytes") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Maybe Text)) :: S1 ('MetaSel ('Just "datumOptionHash") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Text)) :: (S1 ('MetaSel ('Just "datumOptionJson") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Maybe Value)) :*: S1 ('MetaSel ('Just "datumOptionType") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 DatumOptionType))))

data ScriptType #

Type of script.

Constructors

Native
PlutusV1
PlutusV2
PlutusV3

Instances

Instances details

Eq ScriptType #
Instance details Defined in Maestro.Types.Common Methods (==) ∷ ScriptType → ScriptType → Bool # (/=) ∷ ScriptType → ScriptType → Bool #
Ord ScriptType #
Instance details Defined in Maestro.Types.Common Methods compare ∷ ScriptType → ScriptType → Ordering # (<) ∷ ScriptType → ScriptType → Bool # (<=) ∷ ScriptType → ScriptType → Bool # (>) ∷ ScriptType → ScriptType → Bool # (>=) ∷ ScriptType → ScriptType → Bool # max ∷ ScriptType → ScriptType → ScriptType # min ∷ ScriptType → ScriptType → ScriptType #
Show ScriptType #
Instance details Defined in Maestro.Types.Common Methods showsPrec ∷ Int → ScriptType → ShowS # show ∷ ScriptType → String # showList ∷ [ScriptType] → ShowS #
Generic ScriptType #
Instance details Defined in Maestro.Types.Common Associated Types type Rep ScriptType ∷ Type → Type # Methods from ∷ ScriptType → Rep ScriptType x # to ∷ Rep ScriptType x → ScriptType #
ToJSON ScriptType #
Instance details Defined in Maestro.Types.Common Methods toJSON ∷ ScriptType → Value toEncoding ∷ ScriptType → Encoding toJSONList ∷ [ScriptType] → Value toEncodingList ∷ [ScriptType] → Encoding omitField ∷ ScriptType → Bool
FromJSON ScriptType #
Instance details Defined in Maestro.Types.Common Methods parseJSON ∷ Value → Parser ScriptType parseJSONList ∷ Value → Parser [ScriptType] omittedField ∷ Maybe ScriptType
type Rep ScriptType #
Instance details Defined in Maestro.Types.Common type Rep ScriptType = D1 ('MetaData "ScriptType" "Maestro.Types.Common" "maestro-sdk-1.7.3-inplace" 'False) ((C1 ('MetaCons "Native" 'PrefixI 'False) (U1 ∷ Type → Type) :+: C1 ('MetaCons "PlutusV1" 'PrefixI 'False) (U1 ∷ Type → Type)) :+: (C1 ('MetaCons "PlutusV2" 'PrefixI 'False) (U1 ∷ Type → Type) :+: C1 ('MetaCons "PlutusV3" 'PrefixI 'False) (U1 ∷ Type → Type)))

data Script #

Type to represent script in an UTxO.

Constructors

Script
Fields scriptBytes ∷ !(Maybe Text) Script bytes (`Nothing` if `Native` script). scriptHash ∷ !Text Hash of script. scriptJson ∷ !(Maybe Value) JSON representation of script (`Nothing` if not `Native` script). scriptType ∷ !ScriptType See `ScriptType`.

Instances

Instances details

Eq Script #
Instance details Defined in Maestro.Types.Common Methods (==) ∷ Script → Script → Bool # (/=) ∷ Script → Script → Bool #
Ord Script #
Instance details Defined in Maestro.Types.Common Methods compare ∷ Script → Script → Ordering # (<) ∷ Script → Script → Bool # (<=) ∷ Script → Script → Bool # (>) ∷ Script → Script → Bool # (>=) ∷ Script → Script → Bool # max ∷ Script → Script → Script # min ∷ Script → Script → Script #
Show Script #
Instance details Defined in Maestro.Types.Common Methods showsPrec ∷ Int → Script → ShowS # show ∷ Script → String # showList ∷ [Script] → ShowS #
Generic Script #
Instance details Defined in Maestro.Types.Common Associated Types type Rep Script ∷ Type → Type # Methods from ∷ Script → Rep Script x # to ∷ Rep Script x → Script #
ToJSON Script #
Instance details Defined in Maestro.Types.Common Methods toJSON ∷ Script → Value toEncoding ∷ Script → Encoding toJSONList ∷ [Script] → Value toEncodingList ∷ [Script] → Encoding omitField ∷ Script → Bool
FromJSON Script #
Instance details Defined in Maestro.Types.Common Methods parseJSON ∷ Value → Parser Script parseJSONList ∷ Value → Parser [Script] omittedField ∷ Maybe Script
type Rep Script #
Instance details Defined in Maestro.Types.Common type Rep Script = D1 ('MetaData "Script" "Maestro.Types.Common" "maestro-sdk-1.7.3-inplace" 'False) (C1 ('MetaCons "Script" 'PrefixI 'True) ((S1 ('MetaSel ('Just "scriptBytes") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Maybe Text)) :: S1 ('MetaSel ('Just "scriptHash") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Text)) :: (S1 ('MetaSel ('Just "scriptJson") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Maybe Value)) :*: S1 ('MetaSel ('Just "scriptType") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ScriptType))))

data Order #

Constructors

Ascending
Descending

Instances

Instances details

Bounded Order #
Instance details Defined in Maestro.Types.Common Methods minBound ∷ Order # maxBound ∷ Order #
Enum Order #
Instance details Defined in Maestro.Types.Common Methods succ ∷ Order → Order # pred ∷ Order → Order # toEnum ∷ Int → Order # fromEnum ∷ Order → Int # enumFrom ∷ Order → [Order] # enumFromThen ∷ Order → Order → [Order] # enumFromTo ∷ Order → Order → [Order] # enumFromThenTo ∷ Order → Order → Order → [Order] #
Eq Order #
Instance details Defined in Maestro.Types.Common Methods (==) ∷ Order → Order → Bool # (/=) ∷ Order → Order → Bool #
Ord Order #
Instance details Defined in Maestro.Types.Common Methods compare ∷ Order → Order → Ordering # (<) ∷ Order → Order → Bool # (<=) ∷ Order → Order → Bool # (>) ∷ Order → Order → Bool # (>=) ∷ Order → Order → Bool # max ∷ Order → Order → Order # min ∷ Order → Order → Order #
Show Order #
Instance details Defined in Maestro.Types.Common Methods showsPrec ∷ Int → Order → ShowS # show ∷ Order → String # showList ∷ [Order] → ShowS #
FromHttpApiData Order #
Instance details Defined in Maestro.Types.Common Methods parseUrlPiece ∷ Text → Either Text Order parseHeader ∷ ByteString → Either Text Order parseQueryParam ∷ Text → Either Text Order
ToHttpApiData Order #
Instance details Defined in Maestro.Types.Common Methods toUrlPiece ∷ Order → Text toEncodedUrlPiece ∷ Order → Builder toHeader ∷ Order → ByteString toQueryParam ∷ Order → Text toEncodedQueryParam ∷ Order → Builder
ToJSON Order #
Instance details Defined in Maestro.Types.Common Methods toJSON ∷ Order → Value toEncoding ∷ Order → Encoding toJSONList ∷ [Order] → Value toEncodingList ∷ [Order] → Encoding omitField ∷ Order → Bool
Default Order #
Instance details Defined in Maestro.Types.Common Methods def ∷ Order

data CBORStream #

Content-Type to represent transaction when submitting for it.

Instances

Instances details

Accept CBORStream #
Instance details Defined in Maestro.Types.Common Methods contentType ∷ Proxy CBORStream → MediaType contentTypes ∷ Proxy CBORStream → NonEmpty MediaType
MimeRender CBORStream ByteString #
Instance details Defined in Maestro.Types.Common Methods mimeRender ∷ Proxy CBORStream → ByteString → ByteString
MimeRender CBORStream ByteString #
Instance details Defined in Maestro.Types.Common Methods mimeRender ∷ Proxy CBORStream → ByteString → ByteString0
MimeUnrender CBORStream ByteString #
Instance details Defined in Maestro.Types.Common Methods mimeUnrender ∷ Proxy CBORStream → ByteString → Either String ByteString mimeUnrenderWithType ∷ Proxy CBORStream → MediaType → ByteString → Either String ByteString
MimeUnrender CBORStream ByteString #
Instance details Defined in Maestro.Types.Common Methods mimeUnrender ∷ Proxy CBORStream → ByteString0 → Either String ByteString mimeUnrenderWithType ∷ Proxy CBORStream → MediaType → ByteString0 → Either String ByteString

data LowerFirst #

Will lower the first character for your type.

Instances

Instances details

StringModifier LowerFirst #
Instance details Defined in Maestro.Types.Common Methods getStringModifier ∷ String → String

data LowerAll #

Will lower all characters for your type.

Instances

Instances details

StringModifier LowerAll #
Instance details Defined in Maestro.Types.Common Methods getStringModifier ∷ String → String