shelley-spec-ledger-0.1.0.0
Safe HaskellNone
LanguageHaskell98

Shelley.Spec.Ledger.TxBody

Synopsis

Documentation

data DCert era Source #

A heavyweight certificate.

Instances

Instances details
HasField "certs" (TxBody era) (StrictSeq (DCert era)) Source # 
Instance details

Defined in Shelley.Spec.Ledger.TxBody

Methods

getFieldTxBody era → StrictSeq (DCert era) #

Eq (DCert era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.TxBody

Methods

(==)DCert era → DCert era → Bool #

(/=)DCert era → DCert era → Bool #

Show (DCert era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.TxBody

Methods

showsPrecIntDCert era → ShowS #

showDCert era → String #

showList ∷ [DCert era] → ShowS #

Generic (DCert era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.TxBody

Associated Types

type Rep (DCert era) ∷ TypeType #

Methods

fromDCert era → Rep (DCert era) x #

toRep (DCert era) x → DCert era #

(Era era, ToCBOR (Script era)) ⇒ ToCBOR (DCert era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.TxBody

Methods

toCBORDCert era → Encoding Source #

encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (DCert era) → Size Source #

encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [DCert era] → Size Source #

(Era era, Typeable (Script era), FromCBOR (Annotator (Script era))) ⇒ FromCBOR (DCert era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.TxBody

Methods

fromCBORDecoder s (DCert era) Source #

labelProxy (DCert era) → Text Source #

NoThunks (DCert era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.TxBody

Methods

noThunks ∷ Context → DCert era → IO (Maybe ThunkInfo)

wNoThunks ∷ Context → DCert era → IO (Maybe ThunkInfo)

showTypeOfProxy (DCert era) → String

type Rep (DCert era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.TxBody

type Rep (DCert era) = D1 ('MetaData "DCert" "Shelley.Spec.Ledger.TxBody" "shelley-spec-ledger-0.1.0.0-inplace" 'False) ((C1 ('MetaCons "DCertDeleg" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (DelegCert era))) :+: C1 ('MetaCons "DCertPool" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (PoolCert era)))) :+: (C1 ('MetaCons "DCertGenesis" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (GenesisDelegCert era))) :+: C1 ('MetaCons "DCertMir" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (MIRCert era)))))

data DelegCert era Source #

Constructors

RegKey !(StakeCredential era)

A stake key registration certificate.

DeRegKey !(StakeCredential era)

A stake key deregistration certificate.

Delegate !(Delegation era)

A stake delegation certificate.

Instances

Instances details
Eq (DelegCert era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.TxBody

Methods

(==)DelegCert era → DelegCert era → Bool #

(/=)DelegCert era → DelegCert era → Bool #

Show (DelegCert era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.TxBody

Methods

showsPrecIntDelegCert era → ShowS #

showDelegCert era → String #

showList ∷ [DelegCert era] → ShowS #

Generic (DelegCert era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.TxBody

Associated Types

type Rep (DelegCert era) ∷ TypeType #

Methods

fromDelegCert era → Rep (DelegCert era) x #

toRep (DelegCert era) x → DelegCert era #

NoThunks (DelegCert era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.TxBody

Methods

noThunks ∷ Context → DelegCert era → IO (Maybe ThunkInfo)

wNoThunks ∷ Context → DelegCert era → IO (Maybe ThunkInfo)

showTypeOfProxy (DelegCert era) → String

type Rep (DelegCert era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.TxBody

type Rep (DelegCert era) = D1 ('MetaData "DelegCert" "Shelley.Spec.Ledger.TxBody" "shelley-spec-ledger-0.1.0.0-inplace" 'False) (C1 ('MetaCons "RegKey" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StakeCredential era))) :+: (C1 ('MetaCons "DeRegKey" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StakeCredential era))) :+: C1 ('MetaCons "Delegate" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Delegation era)))))

data Delegation era Source #

The delegation of one stake key to another.

Constructors

Delegation 

Fields

Instances

Instances details
Eq (Delegation era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.TxBody

Methods

(==)Delegation era → Delegation era → Bool #

(/=)Delegation era → Delegation era → Bool #

Show (Delegation era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.TxBody

Methods

showsPrecIntDelegation era → ShowS #

showDelegation era → String #

showList ∷ [Delegation era] → ShowS #

Generic (Delegation era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.TxBody

Associated Types

type Rep (Delegation era) ∷ TypeType #

Methods

fromDelegation era → Rep (Delegation era) x #

toRep (Delegation era) x → Delegation era #

NoThunks (Delegation era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.TxBody

Methods

noThunks ∷ Context → Delegation era → IO (Maybe ThunkInfo)

wNoThunks ∷ Context → Delegation era → IO (Maybe ThunkInfo)

showTypeOfProxy (Delegation era) → String

type Rep (Delegation era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.TxBody

type Rep (Delegation era) = D1 ('MetaData "Delegation" "Shelley.Spec.Ledger.TxBody" "shelley-spec-ledger-0.1.0.0-inplace" 'False) (C1 ('MetaCons "Delegation" 'PrefixI 'True) (S1 ('MetaSel ('Just "_delegator") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StakeCredential era)) :*: S1 ('MetaSel ('Just "_delegatee") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (KeyHash 'StakePool (Crypto era)))))

data GenesisDelegCert era Source #

Genesis key delegation certificate

Constructors

GenesisDelegCert !(KeyHash 'Genesis (Crypto era)) !(KeyHash 'GenesisDelegate (Crypto era)) !(Hash (Crypto era) (VerKeyVRF (Crypto era))) 

Instances

Instances details
Eq (GenesisDelegCert era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.TxBody

Methods

(==)GenesisDelegCert era → GenesisDelegCert era → Bool #

(/=)GenesisDelegCert era → GenesisDelegCert era → Bool #

Show (GenesisDelegCert era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.TxBody

Generic (GenesisDelegCert era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.TxBody

Associated Types

type Rep (GenesisDelegCert era) ∷ TypeType #

Methods

fromGenesisDelegCert era → Rep (GenesisDelegCert era) x #

toRep (GenesisDelegCert era) x → GenesisDelegCert era #

NoThunks (GenesisDelegCert era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.TxBody

Methods

noThunks ∷ Context → GenesisDelegCert era → IO (Maybe ThunkInfo)

wNoThunks ∷ Context → GenesisDelegCert era → IO (Maybe ThunkInfo)

showTypeOfProxy (GenesisDelegCert era) → String

type Rep (GenesisDelegCert era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.TxBody

type Rep (GenesisDelegCert era) = D1 ('MetaData "GenesisDelegCert" "Shelley.Spec.Ledger.TxBody" "shelley-spec-ledger-0.1.0.0-inplace" 'False) (C1 ('MetaCons "GenesisDelegCert" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (KeyHash 'Genesis (Crypto era))) :*: (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (KeyHash 'GenesisDelegate (Crypto era))) :*: S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Hash (Crypto era) (VerKeyVRF (Crypto era)))))))

data MIRCert era Source #

Move instantaneous rewards certificate

Constructors

MIRCert 

Instances

Instances details
Eq (MIRCert era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.TxBody

Methods

(==)MIRCert era → MIRCert era → Bool #

(/=)MIRCert era → MIRCert era → Bool #

Show (MIRCert era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.TxBody

Methods

showsPrecIntMIRCert era → ShowS #

showMIRCert era → String #

showList ∷ [MIRCert era] → ShowS #

Generic (MIRCert era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.TxBody

Associated Types

type Rep (MIRCert era) ∷ TypeType #

Methods

fromMIRCert era → Rep (MIRCert era) x #

toRep (MIRCert era) x → MIRCert era #

(Era era, ToCBOR (Script era)) ⇒ ToCBOR (MIRCert era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.TxBody

Methods

toCBORMIRCert era → Encoding Source #

encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (MIRCert era) → Size Source #

encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [MIRCert era] → Size Source #

(Era era, Typeable (Script era), FromCBOR (Annotator (Script era))) ⇒ FromCBOR (MIRCert era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.TxBody

Methods

fromCBORDecoder s (MIRCert era) Source #

labelProxy (MIRCert era) → Text Source #

NoThunks (MIRCert era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.TxBody

Methods

noThunks ∷ Context → MIRCert era → IO (Maybe ThunkInfo)

wNoThunks ∷ Context → MIRCert era → IO (Maybe ThunkInfo)

showTypeOfProxy (MIRCert era) → String

type Rep (MIRCert era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.TxBody

type Rep (MIRCert era) = D1 ('MetaData "MIRCert" "Shelley.Spec.Ledger.TxBody" "shelley-spec-ledger-0.1.0.0-inplace" 'False) (C1 ('MetaCons "MIRCert" 'PrefixI 'True) (S1 ('MetaSel ('Just "mirPot") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 MIRPot) :*: S1 ('MetaSel ('Just "mirRewards") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Map (Credential 'Staking era) Coin))))

data MIRPot Source #

Constructors

ReservesMIR 
TreasuryMIR 

Instances

Instances details
Eq MIRPot Source # 
Instance details

Defined in Shelley.Spec.Ledger.TxBody

Methods

(==)MIRPotMIRPotBool #

(/=)MIRPotMIRPotBool #

Show MIRPot Source # 
Instance details

Defined in Shelley.Spec.Ledger.TxBody

Methods

showsPrecIntMIRPotShowS #

showMIRPotString #

showList ∷ [MIRPot] → ShowS #

Generic MIRPot Source # 
Instance details

Defined in Shelley.Spec.Ledger.TxBody

Associated Types

type Rep MIRPotTypeType #

Methods

fromMIRPotRep MIRPot x #

toRep MIRPot x → MIRPot #

ToCBOR MIRPot Source # 
Instance details

Defined in Shelley.Spec.Ledger.TxBody

Methods

toCBORMIRPotEncoding Source #

encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy MIRPotSize Source #

encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [MIRPot] → Size Source #

FromCBOR MIRPot Source # 
Instance details

Defined in Shelley.Spec.Ledger.TxBody

NoThunks MIRPot Source # 
Instance details

Defined in Shelley.Spec.Ledger.TxBody

Methods

noThunks ∷ Context → MIRPotIO (Maybe ThunkInfo)

wNoThunks ∷ Context → MIRPotIO (Maybe ThunkInfo)

showTypeOfProxy MIRPotString

type Rep MIRPot Source # 
Instance details

Defined in Shelley.Spec.Ledger.TxBody

type Rep MIRPot = D1 ('MetaData "MIRPot" "Shelley.Spec.Ledger.TxBody" "shelley-spec-ledger-0.1.0.0-inplace" 'False) (C1 ('MetaCons "ReservesMIR" 'PrefixI 'False) (U1TypeType) :+: C1 ('MetaCons "TreasuryMIR" 'PrefixI 'False) (U1TypeType))

data PoolCert era Source #

Constructors

RegPool !(PoolParams era)

A stake pool registration certificate.

RetirePool !(KeyHash 'StakePool (Crypto era)) !EpochNo

A stake pool retirement certificate.

Instances

Instances details
Eq (PoolCert era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.TxBody

Methods

(==)PoolCert era → PoolCert era → Bool #

(/=)PoolCert era → PoolCert era → Bool #

Show (PoolCert era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.TxBody

Methods

showsPrecIntPoolCert era → ShowS #

showPoolCert era → String #

showList ∷ [PoolCert era] → ShowS #

Generic (PoolCert era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.TxBody

Associated Types

type Rep (PoolCert era) ∷ TypeType #

Methods

fromPoolCert era → Rep (PoolCert era) x #

toRep (PoolCert era) x → PoolCert era #

NoThunks (PoolCert era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.TxBody

Methods

noThunks ∷ Context → PoolCert era → IO (Maybe ThunkInfo)

wNoThunks ∷ Context → PoolCert era → IO (Maybe ThunkInfo)

showTypeOfProxy (PoolCert era) → String

type Rep (PoolCert era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.TxBody

type Rep (PoolCert era) = D1 ('MetaData "PoolCert" "Shelley.Spec.Ledger.TxBody" "shelley-spec-ledger-0.1.0.0-inplace" 'False) (C1 ('MetaCons "RegPool" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (PoolParams era))) :+: C1 ('MetaCons "RetirePool" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (KeyHash 'StakePool (Crypto era))) :*: S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 EpochNo)))

data PoolMetaData Source #

Constructors

PoolMetaData 

Instances

Instances details
Eq PoolMetaData Source # 
Instance details

Defined in Shelley.Spec.Ledger.TxBody

Ord PoolMetaData Source # 
Instance details

Defined in Shelley.Spec.Ledger.TxBody

Show PoolMetaData Source # 
Instance details

Defined in Shelley.Spec.Ledger.TxBody

Generic PoolMetaData Source # 
Instance details

Defined in Shelley.Spec.Ledger.TxBody

Associated Types

type Rep PoolMetaDataTypeType #

NFData PoolMetaData Source # 
Instance details

Defined in Shelley.Spec.Ledger.TxBody

Methods

rnfPoolMetaData → () #

ToCBOR PoolMetaData Source # 
Instance details

Defined in Shelley.Spec.Ledger.TxBody

Methods

toCBORPoolMetaDataEncoding Source #

encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy PoolMetaDataSize Source #

encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [PoolMetaData] → Size Source #

FromCBOR PoolMetaData Source # 
Instance details

Defined in Shelley.Spec.Ledger.TxBody

NoThunks PoolMetaData Source # 
Instance details

Defined in Shelley.Spec.Ledger.TxBody

Methods

noThunks ∷ Context → PoolMetaDataIO (Maybe ThunkInfo)

wNoThunks ∷ Context → PoolMetaDataIO (Maybe ThunkInfo)

showTypeOfProxy PoolMetaDataString

FromJSON PoolMetaData Source # 
Instance details

Defined in Shelley.Spec.Ledger.TxBody

Methods

parseJSON ∷ Value → Parser PoolMetaData

parseJSONList ∷ Value → Parser [PoolMetaData]

ToJSON PoolMetaData Source # 
Instance details

Defined in Shelley.Spec.Ledger.TxBody

Methods

toJSONPoolMetaData → Value

toEncodingPoolMetaData → Encoding

toJSONList ∷ [PoolMetaData] → Value

toEncodingList ∷ [PoolMetaData] → Encoding

type Rep PoolMetaData Source # 
Instance details

Defined in Shelley.Spec.Ledger.TxBody

type Rep PoolMetaData = D1 ('MetaData "PoolMetaData" "Shelley.Spec.Ledger.TxBody" "shelley-spec-ledger-0.1.0.0-inplace" 'False) (C1 ('MetaCons "PoolMetaData" 'PrefixI 'True) (S1 ('MetaSel ('Just "_poolMDUrl") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Url) :*: S1 ('MetaSel ('Just "_poolMDHash") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ByteString)))

data PoolParams era Source #

A stake pool.

Instances

Instances details
Eq (PoolParams era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.TxBody

Methods

(==)PoolParams era → PoolParams era → Bool #

(/=)PoolParams era → PoolParams era → Bool #

Ord (PoolParams era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.TxBody

Methods

comparePoolParams era → PoolParams era → Ordering #

(<)PoolParams era → PoolParams era → Bool #

(<=)PoolParams era → PoolParams era → Bool #

(>)PoolParams era → PoolParams era → Bool #

(>=)PoolParams era → PoolParams era → Bool #

maxPoolParams era → PoolParams era → PoolParams era #

minPoolParams era → PoolParams era → PoolParams era #

Show (PoolParams era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.TxBody

Methods

showsPrecIntPoolParams era → ShowS #

showPoolParams era → String #

showList ∷ [PoolParams era] → ShowS #

Generic (PoolParams era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.TxBody

Associated Types

type Rep (PoolParams era) ∷ TypeType #

Methods

fromPoolParams era → Rep (PoolParams era) x #

toRep (PoolParams era) x → PoolParams era #

NFData (PoolParams era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.TxBody

Methods

rnfPoolParams era → () #

Era era ⇒ ToCBOR (PoolParams era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.TxBody

Methods

toCBORPoolParams era → Encoding Source #

encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (PoolParams era) → Size Source #

encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [PoolParams era] → Size Source #

Era era ⇒ FromCBOR (PoolParams era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.TxBody

Methods

fromCBORDecoder s (PoolParams era) Source #

labelProxy (PoolParams era) → Text Source #

NoThunks (PoolParams era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.TxBody

Methods

noThunks ∷ Context → PoolParams era → IO (Maybe ThunkInfo)

wNoThunks ∷ Context → PoolParams era → IO (Maybe ThunkInfo)

showTypeOfProxy (PoolParams era) → String

Era era ⇒ FromJSON (PoolParams era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.TxBody

Methods

parseJSON ∷ Value → Parser (PoolParams era)

parseJSONList ∷ Value → Parser [PoolParams era]

Era era ⇒ ToJSON (PoolParams era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.TxBody

Methods

toJSONPoolParams era → Value

toEncodingPoolParams era → Encoding

toJSONList ∷ [PoolParams era] → Value

toEncodingList ∷ [PoolParams era] → Encoding

Era era ⇒ FromCBORGroup (PoolParams era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.TxBody

Era era ⇒ ToCBORGroup (PoolParams era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.TxBody

type Rep (PoolParams era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.TxBody

data Ptr Source #

Pointer to a slot, transaction index and index in certificate list.

Constructors

Ptr !SlotNo !Ix !Ix 

Instances

Instances details
Eq Ptr Source # 
Instance details

Defined in Shelley.Spec.Ledger.Credential

Methods

(==)PtrPtrBool #

(/=)PtrPtrBool #

Ord Ptr Source # 
Instance details

Defined in Shelley.Spec.Ledger.Credential

Methods

comparePtrPtrOrdering #

(<)PtrPtrBool #

(<=)PtrPtrBool #

(>)PtrPtrBool #

(>=)PtrPtrBool #

maxPtrPtrPtr #

minPtrPtrPtr #

Show Ptr Source # 
Instance details

Defined in Shelley.Spec.Ledger.Credential

Methods

showsPrecIntPtrShowS #

showPtrString #

showList ∷ [Ptr] → ShowS #

Generic Ptr Source # 
Instance details

Defined in Shelley.Spec.Ledger.Credential

Associated Types

type Rep PtrTypeType #

Methods

fromPtrRep Ptr x #

toRep Ptr x → Ptr #

NFData Ptr Source # 
Instance details

Defined in Shelley.Spec.Ledger.Credential

Methods

rnfPtr → () #

ToCBOR Ptr Source # 
Instance details

Defined in Shelley.Spec.Ledger.Credential

Methods

toCBORPtrEncoding Source #

encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy PtrSize Source #

encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [Ptr] → Size Source #

FromCBOR Ptr Source # 
Instance details

Defined in Shelley.Spec.Ledger.Credential

NoThunks Ptr Source # 
Instance details

Defined in Shelley.Spec.Ledger.Credential

Methods

noThunks ∷ Context → PtrIO (Maybe ThunkInfo)

wNoThunks ∷ Context → PtrIO (Maybe ThunkInfo)

showTypeOfProxy PtrString

FromCBORGroup Ptr Source # 
Instance details

Defined in Shelley.Spec.Ledger.Credential

ToCBORGroup Ptr Source # 
Instance details

Defined in Shelley.Spec.Ledger.Credential

type Rep Ptr Source # 
Instance details

Defined in Shelley.Spec.Ledger.Credential

data RewardAcnt era Source #

An account based address for rewards

Constructors

RewardAcnt 

Instances

Instances details
Eq (RewardAcnt era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.Address

Methods

(==)RewardAcnt era → RewardAcnt era → Bool #

(/=)RewardAcnt era → RewardAcnt era → Bool #

Ord (RewardAcnt era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.Address

Methods

compareRewardAcnt era → RewardAcnt era → Ordering #

(<)RewardAcnt era → RewardAcnt era → Bool #

(<=)RewardAcnt era → RewardAcnt era → Bool #

(>)RewardAcnt era → RewardAcnt era → Bool #

(>=)RewardAcnt era → RewardAcnt era → Bool #

maxRewardAcnt era → RewardAcnt era → RewardAcnt era #

minRewardAcnt era → RewardAcnt era → RewardAcnt era #

Show (RewardAcnt era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.Address

Methods

showsPrecIntRewardAcnt era → ShowS #

showRewardAcnt era → String #

showList ∷ [RewardAcnt era] → ShowS #

Generic (RewardAcnt era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.Address

Associated Types

type Rep (RewardAcnt era) ∷ TypeType #

Methods

fromRewardAcnt era → Rep (RewardAcnt era) x #

toRep (RewardAcnt era) x → RewardAcnt era #

NFData (RewardAcnt era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.Address

Methods

rnfRewardAcnt era → () #

Era era ⇒ ToCBOR (RewardAcnt era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.Address

Methods

toCBORRewardAcnt era → Encoding Source #

encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (RewardAcnt era) → Size Source #

encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [RewardAcnt era] → Size Source #

Era era ⇒ FromCBOR (RewardAcnt era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.Address

Methods

fromCBORDecoder s (RewardAcnt era) Source #

labelProxy (RewardAcnt era) → Text Source #

NoThunks (RewardAcnt era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.Address

Methods

noThunks ∷ Context → RewardAcnt era → IO (Maybe ThunkInfo)

wNoThunks ∷ Context → RewardAcnt era → IO (Maybe ThunkInfo)

showTypeOfProxy (RewardAcnt era) → String

Era era ⇒ FromJSON (RewardAcnt era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.Address

Methods

parseJSON ∷ Value → Parser (RewardAcnt era)

parseJSONList ∷ Value → Parser [RewardAcnt era]

Era era ⇒ ToJSON (RewardAcnt era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.Address

Methods

toJSONRewardAcnt era → Value

toEncodingRewardAcnt era → Encoding

toJSONList ∷ [RewardAcnt era] → Value

toEncodingList ∷ [RewardAcnt era] → Encoding

Era era ⇒ FromJSONKey (RewardAcnt era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.Address

Methods

fromJSONKey ∷ FromJSONKeyFunction (RewardAcnt era)

fromJSONKeyList ∷ FromJSONKeyFunction [RewardAcnt era]

Era era ⇒ ToJSONKey (RewardAcnt era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.Address

Methods

toJSONKey ∷ ToJSONKeyFunction (RewardAcnt era)

toJSONKeyList ∷ ToJSONKeyFunction [RewardAcnt era]

type Rep (RewardAcnt era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.Address

type Rep (RewardAcnt era) = D1 ('MetaData "RewardAcnt" "Shelley.Spec.Ledger.Address" "shelley-spec-ledger-0.1.0.0-inplace" 'False) (C1 ('MetaCons "RewardAcnt" 'PrefixI 'True) (S1 ('MetaSel ('Just "getRwdNetwork") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Network) :*: S1 ('MetaSel ('Just "getRwdCred") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Credential 'Staking era))))

newtype StakeCreds era Source #

Constructors

StakeCreds 

Instances

Instances details
Eq (StakeCreds era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.TxBody

Methods

(==)StakeCreds era → StakeCreds era → Bool #

(/=)StakeCreds era → StakeCreds era → Bool #

Show (StakeCreds era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.TxBody

Methods

showsPrecIntStakeCreds era → ShowS #

showStakeCreds era → String #

showList ∷ [StakeCreds era] → ShowS #

Generic (StakeCreds era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.TxBody

Associated Types

type Rep (StakeCreds era) ∷ TypeType #

Methods

fromStakeCreds era → Rep (StakeCreds era) x #

toRep (StakeCreds era) x → StakeCreds era #

NFData (StakeCreds era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.TxBody

Methods

rnfStakeCreds era → () #

(Era era, ToCBOR (Script era)) ⇒ ToCBOR (StakeCreds era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.TxBody

Methods

toCBORStakeCreds era → Encoding Source #

encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (StakeCreds era) → Size Source #

encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [StakeCreds era] → Size Source #

(Era era, Typeable (Script era)) ⇒ FromCBOR (StakeCreds era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.TxBody

Methods

fromCBORDecoder s (StakeCreds era) Source #

labelProxy (StakeCreds era) → Text Source #

NoThunks (StakeCreds era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.TxBody

Methods

noThunks ∷ Context → StakeCreds era → IO (Maybe ThunkInfo)

wNoThunks ∷ Context → StakeCreds era → IO (Maybe ThunkInfo)

showTypeOfProxy (StakeCreds era) → String

Era era ⇒ FromJSON (StakeCreds era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.TxBody

Methods

parseJSON ∷ Value → Parser (StakeCreds era)

parseJSONList ∷ Value → Parser [StakeCreds era]

Era era ⇒ ToJSON (StakeCreds era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.TxBody

Methods

toJSONStakeCreds era → Value

toEncodingStakeCreds era → Encoding

toJSONList ∷ [StakeCreds era] → Value

toEncodingList ∷ [StakeCreds era] → Encoding

Embed (StakeCreds era) (Map (Credential 'Staking era) SlotNo) Source # 
Instance details

Defined in Shelley.Spec.Ledger.TxBody

HasExp (StakeCreds era) (Map (Credential 'Staking era) SlotNo) Source # 
Instance details

Defined in Shelley.Spec.Ledger.TxBody

Methods

toExpStakeCreds era → Exp (Map (Credential 'Staking era) SlotNo) Source #

type Rep (StakeCreds era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.TxBody

type Rep (StakeCreds era) = D1 ('MetaData "StakeCreds" "Shelley.Spec.Ledger.TxBody" "shelley-spec-ledger-0.1.0.0-inplace" 'True) (C1 ('MetaCons "StakeCreds" 'PrefixI 'True) (S1 ('MetaSel ('Just "unStakeCreds") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Map (Credential 'Staking era) SlotNo))))

data StakePoolRelay Source #

Constructors

SingleHostAddr !(StrictMaybe Port) !(StrictMaybe IPv4) !(StrictMaybe IPv6)

One or both of IPv4 & IPv6

SingleHostName !(StrictMaybe Port) !DnsName

An A or AAAA DNS record

MultiHostName !DnsName

A SRV DNS record

Instances

Instances details
Eq StakePoolRelay Source # 
Instance details

Defined in Shelley.Spec.Ledger.TxBody

Ord StakePoolRelay Source # 
Instance details

Defined in Shelley.Spec.Ledger.TxBody

Show StakePoolRelay Source # 
Instance details

Defined in Shelley.Spec.Ledger.TxBody

Generic StakePoolRelay Source # 
Instance details

Defined in Shelley.Spec.Ledger.TxBody

Associated Types

type Rep StakePoolRelayTypeType #

NFData StakePoolRelay Source # 
Instance details

Defined in Shelley.Spec.Ledger.TxBody

Methods

rnfStakePoolRelay → () #

ToCBOR StakePoolRelay Source # 
Instance details

Defined in Shelley.Spec.Ledger.TxBody

FromCBOR StakePoolRelay Source # 
Instance details

Defined in Shelley.Spec.Ledger.TxBody

NoThunks StakePoolRelay Source # 
Instance details

Defined in Shelley.Spec.Ledger.TxBody

Methods

noThunks ∷ Context → StakePoolRelayIO (Maybe ThunkInfo)

wNoThunks ∷ Context → StakePoolRelayIO (Maybe ThunkInfo)

showTypeOfProxy StakePoolRelayString

FromJSON StakePoolRelay Source # 
Instance details

Defined in Shelley.Spec.Ledger.TxBody

Methods

parseJSON ∷ Value → Parser StakePoolRelay

parseJSONList ∷ Value → Parser [StakePoolRelay]

ToJSON StakePoolRelay Source # 
Instance details

Defined in Shelley.Spec.Ledger.TxBody

Methods

toJSONStakePoolRelay → Value

toEncodingStakePoolRelay → Encoding

toJSONList ∷ [StakePoolRelay] → Value

toEncodingList ∷ [StakePoolRelay] → Encoding

type Rep StakePoolRelay Source # 
Instance details

Defined in Shelley.Spec.Ledger.TxBody

newtype TxBody era Source #

Constructors

TxBodyY (MemoBytes (TxBodyX era)) 

Bundled Patterns

pattern TxBody ∷ ProperTo era ⇒ Set (TxIn era) → StrictSeq (TxOut era) → StrictSeq (DCert era) → Wdrl era → CoinSlotNoStrictMaybe (Update era) → StrictMaybe (MetaDataHash era) → TxBody era

Pattern for use by external users

Instances

Instances details
HasField "ttl" (TxBody era) SlotNo Source # 
Instance details

Defined in Shelley.Spec.Ledger.TxBody

Methods

getFieldTxBody era → SlotNo #

HasField "txfee" (TxBody era) Coin Source # 
Instance details

Defined in Shelley.Spec.Ledger.TxBody

Methods

getFieldTxBody era → Coin #

HasField "certs" (TxBody era) (StrictSeq (DCert era)) Source # 
Instance details

Defined in Shelley.Spec.Ledger.TxBody

Methods

getFieldTxBody era → StrictSeq (DCert era) #

HasField "inputs" (TxBody e) (Set (TxIn e)) Source # 
Instance details

Defined in Shelley.Spec.Ledger.TxBody

Methods

getFieldTxBody e → Set (TxIn e) #

HasField "mdHash" (TxBody era) (StrictMaybe (MetaDataHash era)) Source # 
Instance details

Defined in Shelley.Spec.Ledger.TxBody

Methods

getFieldTxBody era → StrictMaybe (MetaDataHash era) #

HasField "outputs" (TxBody era) (StrictSeq (TxOut era)) Source # 
Instance details

Defined in Shelley.Spec.Ledger.TxBody

Methods

getFieldTxBody era → StrictSeq (TxOut era) #

HasField "update" (TxBody era) (StrictMaybe (Update era)) Source # 
Instance details

Defined in Shelley.Spec.Ledger.TxBody

Methods

getFieldTxBody era → StrictMaybe (Update era) #

HasField "wdrls" (TxBody era) (Wdrl era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.TxBody

Methods

getFieldTxBody era → Wdrl era #

ProperVal era ⇒ Eq (TxBody era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.TxBody

Methods

(==)TxBody era → TxBody era → Bool #

(/=)TxBody era → TxBody era → Bool #

ProperVal era ⇒ Show (TxBody era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.TxBody

Methods

showsPrecIntTxBody era → ShowS #

showTxBody era → String #

showList ∷ [TxBody era] → ShowS #

Generic (TxBody era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.TxBody

Associated Types

type Rep (TxBody era) ∷ TypeType #

Methods

fromTxBody era → Rep (TxBody era) x #

toRep (TxBody era) x → TxBody era #

Era era ⇒ ToCBOR (TxBody era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.TxBody

Methods

toCBORTxBody era → Encoding Source #

encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (TxBody era) → Size Source #

encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [TxBody era] → Size Source #

ProperFrom era ⇒ FromCBOR (Annotator (TxBody era)) Source # 
Instance details

Defined in Shelley.Spec.Ledger.TxBody

Typeable era ⇒ NoThunks (TxBody era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.TxBody

Methods

noThunks ∷ Context → TxBody era → IO (Maybe ThunkInfo)

wNoThunks ∷ Context → TxBody era → IO (Maybe ThunkInfo)

showTypeOfProxy (TxBody era) → String

Era era ⇒ HashAnnotated (TxBody era) era Source # 
Instance details

Defined in Shelley.Spec.Ledger.TxBody

Associated Types

type HashIndex (TxBody era) Source #

Methods

hashAnnotatedTxBody era → Hash (HASH (Crypto era)) (HashIndex (TxBody era)) Source #

type Rep (TxBody era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.TxBody

type Rep (TxBody era)
type HashIndex (TxBody era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.TxBody

newtype TxId era Source #

A unique ID of a transaction, which is computable from the transaction.

Constructors

TxId 

Instances

Instances details
Eq (TxId era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.TxBody

Methods

(==)TxId era → TxId era → Bool #

(/=)TxId era → TxId era → Bool #

Ord (TxId era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.TxBody

Methods

compareTxId era → TxId era → Ordering #

(<)TxId era → TxId era → Bool #

(<=)TxId era → TxId era → Bool #

(>)TxId era → TxId era → Bool #

(>=)TxId era → TxId era → Bool #

maxTxId era → TxId era → TxId era #

minTxId era → TxId era → TxId era #

Show (TxId era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.TxBody

Methods

showsPrecIntTxId era → ShowS #

showTxId era → String #

showList ∷ [TxId era] → ShowS #

Generic (TxId era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.TxBody

Associated Types

type Rep (TxId era) ∷ TypeType #

Methods

fromTxId era → Rep (TxId era) x #

toRep (TxId era) x → TxId era #

Era era ⇒ NFData (TxId era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.TxBody

Methods

rnfTxId era → () #

Era era ⇒ ToCBOR (TxId era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.TxBody

Methods

toCBORTxId era → Encoding Source #

encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (TxId era) → Size Source #

encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [TxId era] → Size Source #

Era era ⇒ FromCBOR (TxId era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.TxBody

Methods

fromCBORDecoder s (TxId era) Source #

labelProxy (TxId era) → Text Source #

NoThunks (TxId era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.TxBody

Methods

noThunks ∷ Context → TxId era → IO (Maybe ThunkInfo)

wNoThunks ∷ Context → TxId era → IO (Maybe ThunkInfo)

showTypeOfProxy (TxId era) → String

type Rep (TxId era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.TxBody

type Rep (TxId era) = D1 ('MetaData "TxId" "Shelley.Spec.Ledger.TxBody" "shelley-spec-ledger-0.1.0.0-inplace" 'True) (C1 ('MetaCons "TxId" 'PrefixI 'True) (S1 ('MetaSel ('Just "_unTxId") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Hash (Crypto era) EraIndependentTxBody))))

data TxIn era Source #

The input of a UTxO.

Constructors

TxInCompact !(TxId era) !Word64 

Bundled Patterns

pattern TxInEra era ⇒ TxId era → NaturalTxIn era 

Instances

Instances details
HasField "inputs" (TxBody e) (Set (TxIn e)) Source # 
Instance details

Defined in Shelley.Spec.Ledger.TxBody

Methods

getFieldTxBody e → Set (TxIn e) #

Eq (TxIn era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.TxBody

Methods

(==)TxIn era → TxIn era → Bool #

(/=)TxIn era → TxIn era → Bool #

Ord (TxIn era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.TxBody

Methods

compareTxIn era → TxIn era → Ordering #

(<)TxIn era → TxIn era → Bool #

(<=)TxIn era → TxIn era → Bool #

(>)TxIn era → TxIn era → Bool #

(>=)TxIn era → TxIn era → Bool #

maxTxIn era → TxIn era → TxIn era #

minTxIn era → TxIn era → TxIn era #

Show (TxIn era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.TxBody

Methods

showsPrecIntTxIn era → ShowS #

showTxIn era → String #

showList ∷ [TxIn era] → ShowS #

Generic (TxIn era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.TxBody

Associated Types

type Rep (TxIn era) ∷ TypeType #

Methods

fromTxIn era → Rep (TxIn era) x #

toRep (TxIn era) x → TxIn era #

Era era ⇒ NFData (TxIn era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.TxBody

Methods

rnfTxIn era → () #

Era era ⇒ ToCBOR (TxIn era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.TxBody

Methods

toCBORTxIn era → Encoding Source #

encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (TxIn era) → Size Source #

encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [TxIn era] → Size Source #

Era era ⇒ FromCBOR (TxIn era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.TxBody

Methods

fromCBORDecoder s (TxIn era) Source #

labelProxy (TxIn era) → Text Source #

NoThunks (TxIn era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.TxBody

Methods

noThunks ∷ Context → TxIn era → IO (Maybe ThunkInfo)

wNoThunks ∷ Context → TxIn era → IO (Maybe ThunkInfo)

showTypeOfProxy (TxIn era) → String

Embed (UTxO era) (Map (TxIn era) (TxOut era)) Source # 
Instance details

Defined in Shelley.Spec.Ledger.UTxO

Methods

toBaseUTxO era → Map (TxIn era) (TxOut era) Source #

fromBaseMap (TxIn era) (TxOut era) → UTxO era Source #

HasExp (UTxO era) (Map (TxIn era) (TxOut era)) Source # 
Instance details

Defined in Shelley.Spec.Ledger.UTxO

Methods

toExpUTxO era → Exp (Map (TxIn era) (TxOut era)) Source #

type Rep (TxIn era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.TxBody

type Rep (TxIn era) = D1 ('MetaData "TxIn" "Shelley.Spec.Ledger.TxBody" "shelley-spec-ledger-0.1.0.0-inplace" 'False) (C1 ('MetaCons "TxInCompact" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 (TxId era)) :*: S1 ('MetaSel ('NothingMaybe Symbol) 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 Word64)))

eraIndTxBodyHash ∷ ∀ era. Era era ⇒ TxBody era → Hash (Crypto era) EraIndependentTxBody Source #

Compute an era-independent transaction body hash

data TxOut era Source #

The output of a UTxO.

Constructors

TxOutCompact !(CompactAddr era) !(CompactForm (Value era)) 

Bundled Patterns

pattern TxOutShelleyBased era ⇒ Addr era → Value era → TxOut era 

Instances

Instances details
HasField "outputs" (TxBody era) (StrictSeq (TxOut era)) Source # 
Instance details

Defined in Shelley.Spec.Ledger.TxBody

Methods

getFieldTxBody era → StrictSeq (TxOut era) #

(Eq (Value era), Compactible (Value era)) ⇒ Eq (TxOut era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.TxBody

Methods

(==)TxOut era → TxOut era → Bool #

(/=)TxOut era → TxOut era → Bool #

(Show (Value era), Era era, Compactible (Value era)) ⇒ Show (TxOut era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.TxBody

Methods

showsPrecIntTxOut era → ShowS #

showTxOut era → String #

showList ∷ [TxOut era] → ShowS #

NFData (TxOut era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.TxBody

Methods

rnfTxOut era → () #

(Era era, ToCBOR (Value era), ToCBOR (CompactForm (Value era))) ⇒ ToCBOR (TxOut era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.TxBody

Methods

toCBORTxOut era → Encoding Source #

encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (TxOut era) → Size Source #

encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [TxOut era] → Size Source #

(Era era, FromCBOR (Value era), FromCBOR (CompactForm (Value era))) ⇒ FromCBOR (TxOut era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.TxBody

Methods

fromCBORDecoder s (TxOut era) Source #

labelProxy (TxOut era) → Text Source #

NoThunks (TxOut era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.TxBody

Methods

noThunks ∷ Context → TxOut era → IO (Maybe ThunkInfo)

wNoThunks ∷ Context → TxOut era → IO (Maybe ThunkInfo)

showTypeOfProxy (TxOut era) → String

Embed (UTxO era) (Map (TxIn era) (TxOut era)) Source # 
Instance details

Defined in Shelley.Spec.Ledger.UTxO

Methods

toBaseUTxO era → Map (TxIn era) (TxOut era) Source #

fromBaseMap (TxIn era) (TxOut era) → UTxO era Source #

HasExp (UTxO era) (Map (TxIn era) (TxOut era)) Source # 
Instance details

Defined in Shelley.Spec.Ledger.UTxO

Methods

toExpUTxO era → Exp (Map (TxIn era) (TxOut era)) Source #

data Url Source #

Instances

Instances details
Eq Url Source # 
Instance details

Defined in Shelley.Spec.Ledger.BaseTypes

Methods

(==)UrlUrlBool #

(/=)UrlUrlBool #

Ord Url Source # 
Instance details

Defined in Shelley.Spec.Ledger.BaseTypes

Methods

compareUrlUrlOrdering #

(<)UrlUrlBool #

(<=)UrlUrlBool #

(>)UrlUrlBool #

(>=)UrlUrlBool #

maxUrlUrlUrl #

minUrlUrlUrl #

Show Url Source # 
Instance details

Defined in Shelley.Spec.Ledger.BaseTypes

Methods

showsPrecIntUrlShowS #

showUrlString #

showList ∷ [Url] → ShowS #

Generic Url Source # 
Instance details

Defined in Shelley.Spec.Ledger.BaseTypes

Associated Types

type Rep UrlTypeType #

Methods

fromUrlRep Url x #

toRep Url x → Url #

NFData Url Source # 
Instance details

Defined in Shelley.Spec.Ledger.BaseTypes

Methods

rnfUrl → () #

ToCBOR Url Source # 
Instance details

Defined in Shelley.Spec.Ledger.BaseTypes

Methods

toCBORUrlEncoding Source #

encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy UrlSize Source #

encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [Url] → Size Source #

FromCBOR Url Source # 
Instance details

Defined in Shelley.Spec.Ledger.BaseTypes

NoThunks Url Source # 
Instance details

Defined in Shelley.Spec.Ledger.BaseTypes

Methods

noThunks ∷ Context → UrlIO (Maybe ThunkInfo)

wNoThunks ∷ Context → UrlIO (Maybe ThunkInfo)

showTypeOfProxy UrlString

FromJSON Url Source # 
Instance details

Defined in Shelley.Spec.Ledger.BaseTypes

Methods

parseJSON ∷ Value → Parser Url

parseJSONList ∷ Value → Parser [Url]

ToJSON Url Source # 
Instance details

Defined in Shelley.Spec.Ledger.BaseTypes

Methods

toJSONUrl → Value

toEncodingUrl → Encoding

toJSONList ∷ [Url] → Value

toEncodingList ∷ [Url] → Encoding

type Rep Url Source # 
Instance details

Defined in Shelley.Spec.Ledger.BaseTypes

type Rep Url = D1 ('MetaData "Url" "Shelley.Spec.Ledger.BaseTypes" "shelley-spec-ledger-0.1.0.0-inplace" 'True) (C1 ('MetaCons "Url" 'PrefixI 'True) (S1 ('MetaSel ('Just "urlToText") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)))

newtype Wdrl era Source #

Constructors

Wdrl 

Fields

Instances

Instances details
HasField "wdrls" (TxBody era) (Wdrl era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.TxBody

Methods

getFieldTxBody era → Wdrl era #

Eq (Wdrl era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.TxBody

Methods

(==)Wdrl era → Wdrl era → Bool #

(/=)Wdrl era → Wdrl era → Bool #

Show (Wdrl era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.TxBody

Methods

showsPrecIntWdrl era → ShowS #

showWdrl era → String #

showList ∷ [Wdrl era] → ShowS #

Generic (Wdrl era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.TxBody

Associated Types

type Rep (Wdrl era) ∷ TypeType #

Methods

fromWdrl era → Rep (Wdrl era) x #

toRep (Wdrl era) x → Wdrl era #

Era era ⇒ ToCBOR (Wdrl era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.TxBody

Methods

toCBORWdrl era → Encoding Source #

encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (Wdrl era) → Size Source #

encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [Wdrl era] → Size Source #

Era era ⇒ FromCBOR (Wdrl era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.TxBody

Methods

fromCBORDecoder s (Wdrl era) Source #

labelProxy (Wdrl era) → Text Source #

NoThunks (Wdrl era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.TxBody

Methods

noThunks ∷ Context → Wdrl era → IO (Maybe ThunkInfo)

wNoThunks ∷ Context → Wdrl era → IO (Maybe ThunkInfo)

showTypeOfProxy (Wdrl era) → String

type Rep (Wdrl era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.TxBody

type Rep (Wdrl era) = D1 ('MetaData "Wdrl" "Shelley.Spec.Ledger.TxBody" "shelley-spec-ledger-0.1.0.0-inplace" 'True) (C1 ('MetaCons "Wdrl" 'PrefixI 'True) (S1 ('MetaSel ('Just "unWdrl") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Map (RewardAcnt era) Coin))))

data WitVKey kr era where Source #

Proof/Witness that a transaction is authorized by the given key holder.

Bundled Patterns

pattern WitVKey ∷ (Typeable kr, Era era) ⇒ VKey kr (Crypto era) → SignedDSIGN (Crypto era) (Hash (Crypto era) EraIndependentTxBody) → WitVKey kr era 

Instances

Instances details
(Typeable kr, Era era) ⇒ FromCBOR (Annotator (WitVKey kr era)) Source # 
Instance details

Defined in Shelley.Spec.Ledger.TxBody

Methods

fromCBORDecoder s (Annotator (WitVKey kr era)) Source #

labelProxy (Annotator (WitVKey kr era)) → Text Source #

Era era ⇒ Eq (WitVKey kr era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.TxBody

Methods

(==)WitVKey kr era → WitVKey kr era → Bool #

(/=)WitVKey kr era → WitVKey kr era → Bool #

(Typeable kr, Era era) ⇒ Ord (WitVKey kr era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.TxBody

Methods

compareWitVKey kr era → WitVKey kr era → Ordering #

(<)WitVKey kr era → WitVKey kr era → Bool #

(<=)WitVKey kr era → WitVKey kr era → Bool #

(>)WitVKey kr era → WitVKey kr era → Bool #

(>=)WitVKey kr era → WitVKey kr era → Bool #

maxWitVKey kr era → WitVKey kr era → WitVKey kr era #

minWitVKey kr era → WitVKey kr era → WitVKey kr era #

Era era ⇒ Show (WitVKey kr era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.TxBody

Methods

showsPrecIntWitVKey kr era → ShowS #

showWitVKey kr era → String #

showList ∷ [WitVKey kr era] → ShowS #

Generic (WitVKey kr era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.TxBody

Associated Types

type Rep (WitVKey kr era) ∷ TypeType #

Methods

fromWitVKey kr era → Rep (WitVKey kr era) x #

toRep (WitVKey kr era) x → WitVKey kr era #

(Typeable kr, Era era) ⇒ ToCBOR (WitVKey kr era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.TxBody

Methods

toCBORWitVKey kr era → Encoding Source #

encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (WitVKey kr era) → Size Source #

encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [WitVKey kr era] → Size Source #

(Era era, Typeable kr) ⇒ NoThunks (WitVKey kr era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.TxBody

Methods

noThunks ∷ Context → WitVKey kr era → IO (Maybe ThunkInfo)

wNoThunks ∷ Context → WitVKey kr era → IO (Maybe ThunkInfo)

showTypeOfProxy (WitVKey kr era) → String

(Era era, Typeable kr) ⇒ HashAnnotated (WitVKey kr era) era Source # 
Instance details

Defined in Shelley.Spec.Ledger.TxBody

Associated Types

type HashIndex (WitVKey kr era) Source #

Methods

hashAnnotatedWitVKey kr era → Hash (HASH (Crypto era)) (HashIndex (WitVKey kr era)) Source #

type Rep (WitVKey kr era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.TxBody

type Rep (WitVKey kr era) = D1 ('MetaData "WitVKey" "Shelley.Spec.Ledger.TxBody" "shelley-spec-ledger-0.1.0.0-inplace" 'False) (C1 ('MetaCons "WitVKey'" 'PrefixI 'True) ((S1 ('MetaSel ('Just "wvkKey'") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (VKey kr (Crypto era))) :*: S1 ('MetaSel ('Just "wvkSig'") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (SignedDSIGN (Crypto era) (Hash (Crypto era) EraIndependentTxBody)))) :*: (S1 ('MetaSel ('Just "wvkKeyHash") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (KeyHash 'Witness (Crypto era))) :*: S1 ('MetaSel ('Just "wvkBytes") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ByteString))))
type HashIndex (WitVKey kr era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.TxBody

data SizeOfPoolOwners Source #

The size of the _poolOwners Set. Only used to compute size of encoded PoolParams.

Constructors

SizeOfPoolOwners 

Instances

Instances details
ToCBOR SizeOfPoolOwners Source # 
Instance details

Defined in Shelley.Spec.Ledger.TxBody

data SizeOfPoolRelays Source #

The size of the _poolRelays Set. Only used to compute size of encoded PoolParams.

Constructors

SizeOfPoolRelays 

Instances

Instances details
ToCBOR SizeOfPoolRelays Source # 
Instance details

Defined in Shelley.Spec.Ledger.TxBody