Safe Haskell | None |
---|---|
Language | Haskell98 |
Shelley.Spec.Ledger.TxBody
Synopsis
- data DCert crypto
- = DCertDeleg !(DelegCert crypto)
- | DCertPool !(PoolCert crypto)
- | DCertGenesis !(GenesisDelegCert crypto)
- | DCertMir !(MIRCert crypto)
- data DelegCert crypto
- = RegKey !(StakeCredential crypto)
- | DeRegKey !(StakeCredential crypto)
- | Delegate !(Delegation crypto)
- data Delegation crypto = Delegation {
- _delegator :: !(StakeCredential crypto)
- _delegatee :: !(KeyHash 'StakePool crypto)
- data GenesisDelegCert crypto = GenesisDelegCert !(KeyHash 'Genesis crypto) !(KeyHash 'GenesisDelegate crypto) !(Hash crypto (VerKeyVRF crypto))
- type Ix = Natural
- data MIRCert crypto = MIRCert {
- mirPot :: MIRPot
- mirRewards :: Map (Credential 'Staking crypto) Coin
- data MIRPot
- data PoolCert crypto
- = RegPool !(PoolParams crypto)
- | RetirePool !(KeyHash 'StakePool crypto) !EpochNo
- data PoolMetadata = PoolMetadata {
- _poolMDUrl :: !Url
- _poolMDHash :: !ByteString
- data PoolParams crypto = PoolParams {
- _poolId :: !(KeyHash 'StakePool crypto)
- _poolVrf :: !(Hash crypto (VerKeyVRF crypto))
- _poolPledge :: !Coin
- _poolCost :: !Coin
- _poolMargin :: !UnitInterval
- _poolRAcnt :: !(RewardAcnt crypto)
- _poolOwners :: !(Set (KeyHash 'Staking crypto))
- _poolRelays :: !(StrictSeq StakePoolRelay)
- _poolMD :: !(StrictMaybe PoolMetadata)
- data Ptr = Ptr !SlotNo !Ix !Ix
- data RewardAcnt crypto = RewardAcnt {
- getRwdNetwork :: !Network
- getRwdCred :: !(Credential 'Staking crypto)
- newtype StakeCreds crypto = StakeCreds {
- unStakeCreds :: Map (Credential 'Staking crypto) SlotNo
- data StakePoolRelay
- = SingleHostAddr !(StrictMaybe Port) !(StrictMaybe IPv4) !(StrictMaybe IPv6)
- | SingleHostName !(StrictMaybe Port) !DnsName
- | MultiHostName !DnsName
- newtype TxBody era where
- data TxBodyRaw era = TxBodyRaw {}
- newtype TxId crypto = TxId {
- _unTxId :: Hash crypto EraIndependentTxBody
- data TxIn crypto where
- data EraIndependentTxBody
- eraIndTxBodyHash :: forall era. Era era => TxBody era -> Hash (Crypto era) EraIndependentTxBody
- data TxOut era where
- TxOutCompact !(CompactAddr (Crypto era)) !(CompactForm (Value era))
- pattern TxOut :: (HasCallStack, ShelleyBased era) => Addr (Crypto era) -> Value era -> TxOut era
- data Url
- newtype Wdrl crypto = Wdrl {
- unWdrl :: Map (RewardAcnt crypto) Coin
- data WitVKey kr crypto where
- pattern WitVKey :: (Typeable kr, Crypto crypto) => VKey kr crypto -> SignedDSIGN crypto (Hash crypto EraIndependentTxBody) -> WitVKey kr crypto
- witKeyHash :: WitVKey kr crypto -> KeyHash 'Witness crypto
- data SizeOfPoolOwners = SizeOfPoolOwners
- data SizeOfPoolRelays = SizeOfPoolRelays
Documentation
A heavyweight certificate.
Constructors
DCertDeleg !(DelegCert crypto) | |
DCertPool !(PoolCert crypto) | |
DCertGenesis !(GenesisDelegCert crypto) | |
DCertMir !(MIRCert crypto) |
Instances
data DelegCert crypto Source #
Constructors
RegKey !(StakeCredential crypto) | A stake key registration certificate. |
DeRegKey !(StakeCredential crypto) | A stake key deregistration certificate. |
Delegate !(Delegation crypto) | A stake delegation certificate. |
Instances
Eq (DelegCert crypto) Source # | |
Show (DelegCert crypto) Source # | |
Generic (DelegCert crypto) Source # | |
NoThunks (DelegCert crypto) Source # | |
type Rep (DelegCert crypto) Source # | |
Defined in Shelley.Spec.Ledger.TxBody type Rep (DelegCert crypto) = D1 ('MetaData "DelegCert" "Shelley.Spec.Ledger.TxBody" "shelley-spec-ledger-0.1.0.0-Is3EknyvW92LxCl96jGQVW" 'False) (C1 ('MetaCons "RegKey" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StakeCredential crypto))) :+: (C1 ('MetaCons "DeRegKey" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StakeCredential crypto))) :+: C1 ('MetaCons "Delegate" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Delegation crypto))))) |
data Delegation crypto Source #
The delegation of one stake key to another.
Constructors
Delegation | |
Fields
|
Instances
data GenesisDelegCert crypto Source #
Genesis key delegation certificate
Constructors
GenesisDelegCert !(KeyHash 'Genesis crypto) !(KeyHash 'GenesisDelegate crypto) !(Hash crypto (VerKeyVRF crypto)) |
Instances
Move instantaneous rewards certificate
Constructors
MIRCert | |
Fields
|
Instances
Eq (MIRCert crypto) Source # | |
Show (MIRCert crypto) Source # | |
Generic (MIRCert crypto) Source # | |
Crypto crypto => ToCBOR (MIRCert crypto) Source # | |
Crypto crypto => FromCBOR (MIRCert crypto) Source # | |
NoThunks (MIRCert crypto) Source # | |
type Rep (MIRCert crypto) Source # | |
Defined in Shelley.Spec.Ledger.TxBody type Rep (MIRCert crypto) = D1 ('MetaData "MIRCert" "Shelley.Spec.Ledger.TxBody" "shelley-spec-ledger-0.1.0.0-Is3EknyvW92LxCl96jGQVW" '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 crypto) Coin)))) |
Constructors
ReservesMIR | |
TreasuryMIR |
Constructors
RegPool !(PoolParams crypto) | A stake pool registration certificate. |
RetirePool !(KeyHash 'StakePool crypto) !EpochNo | A stake pool retirement certificate. |
Instances
Eq (PoolCert crypto) Source # | |
Show (PoolCert crypto) Source # | |
Generic (PoolCert crypto) Source # | |
NoThunks (PoolCert crypto) Source # | |
type Rep (PoolCert crypto) Source # | |
Defined in Shelley.Spec.Ledger.TxBody type Rep (PoolCert crypto) = D1 ('MetaData "PoolCert" "Shelley.Spec.Ledger.TxBody" "shelley-spec-ledger-0.1.0.0-Is3EknyvW92LxCl96jGQVW" 'False) (C1 ('MetaCons "RegPool" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (PoolParams crypto))) :+: C1 ('MetaCons "RetirePool" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (KeyHash 'StakePool crypto)) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 EpochNo))) |
data PoolMetadata Source #
Constructors
PoolMetadata | |
Fields
|
Instances
data PoolParams crypto Source #
A stake pool.
Constructors
PoolParams | |
Fields
|
Instances
Pointer to a slot, transaction index and index in certificate list.
Instances
Eq Ptr Source # | |
Ord Ptr Source # | |
Show Ptr Source # | |
Generic Ptr Source # | |
NFData Ptr Source # | |
Defined in Shelley.Spec.Ledger.Credential | |
ToCBOR Ptr Source # | |
FromCBOR Ptr Source # | |
NoThunks Ptr Source # | |
FromCBORGroup Ptr Source # | |
Defined in Shelley.Spec.Ledger.Credential Methods fromCBORGroup :: Decoder s Ptr Source # | |
ToCBORGroup Ptr Source # | |
type Rep Ptr Source # | |
Defined in Shelley.Spec.Ledger.Credential type Rep Ptr = D1 ('MetaData "Ptr" "Shelley.Spec.Ledger.Credential" "shelley-spec-ledger-0.1.0.0-Is3EknyvW92LxCl96jGQVW" 'False) (C1 ('MetaCons "Ptr" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 SlotNo) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Ix) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Ix)))) |
data RewardAcnt crypto Source #
An account based address for rewards
Constructors
RewardAcnt | |
Fields
|
Instances
newtype StakeCreds crypto Source #
Constructors
StakeCreds | |
Fields
|
Instances
data StakePoolRelay Source #
Constructors
SingleHostAddr !(StrictMaybe Port) !(StrictMaybe IPv4) !(StrictMaybe IPv6) | One or both of IPv4 & IPv6 |
SingleHostName !(StrictMaybe Port) !DnsName | An |
MultiHostName !DnsName | A |
Instances
Constructors
TxBodyConstr (MemoBytes (TxBodyRaw era)) |
Bundled Patterns
pattern TxBody :: ProperTo era => Set (TxIn (Crypto era)) -> StrictSeq (TxOut era) -> StrictSeq (DCert (Crypto era)) -> Wdrl (Crypto era) -> Coin -> SlotNo -> StrictMaybe (Update era) -> StrictMaybe (AuxiliaryDataHash (Crypto era)) -> TxBody era | Pattern for use by external users |
Instances
Constructors
TxBodyRaw | |
Instances
A unique ID of a transaction, which is computable from the transaction.
Constructors
TxId | |
Fields
|
Instances
Eq (TxId crypto) Source # | |
Ord (TxId crypto) Source # | |
Defined in Shelley.Spec.Ledger.TxBody | |
Show (TxId crypto) Source # | |
Generic (TxId crypto) Source # | |
Crypto crypto => NFData (TxId crypto) Source # | |
Defined in Shelley.Spec.Ledger.TxBody | |
Crypto crypto => ToCBOR (TxId crypto) Source # | |
Crypto crypto => FromCBOR (TxId crypto) Source # | |
NoThunks (TxId crypto) Source # | |
type Rep (TxId crypto) Source # | |
Defined in Shelley.Spec.Ledger.TxBody type Rep (TxId crypto) = D1 ('MetaData "TxId" "Shelley.Spec.Ledger.TxBody" "shelley-spec-ledger-0.1.0.0-Is3EknyvW92LxCl96jGQVW" 'True) (C1 ('MetaCons "TxId" 'PrefixI 'True) (S1 ('MetaSel ('Just "_unTxId") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Hash crypto EraIndependentTxBody)))) |
The input of a UTxO.
Constructors
TxInCompact !(TxId crypto) !Word64 |
Instances
data EraIndependentTxBody Source #
eraIndTxBodyHash :: forall era. Era era => TxBody era -> Hash (Crypto era) EraIndependentTxBody Source #
Compute an era-independent transaction body hash
The output of a UTxO.
Constructors
TxOutCompact !(CompactAddr (Crypto era)) !(CompactForm (Value era)) |
Bundled Patterns
pattern TxOut :: (HasCallStack, ShelleyBased era) => Addr (Crypto era) -> Value era -> TxOut era |
Instances
HasField "outputs" (TxBody era) (StrictSeq (TxOut era)) Source # | |
(Eq (Value era), Eq (CompactForm (Value era)), Compactible (Value era)) => Eq (TxOut era) Source # | |
(Show (Value era), Era era, Compactible (Value era)) => Show (TxOut era) Source # | |
NFData (TxOut era) Source # | |
Defined in Shelley.Spec.Ledger.TxBody | |
(Era era, ToCBOR (CompactForm (Value era)), Compactible (Value era)) => ToCBOR (TxOut era) Source # | |
(Era era, DecodeNonNegative (CompactForm (Value era)), Compactible (Value era)) => FromCBOR (TxOut era) Source # | |
NoThunks (TxOut era) Source # | |
Crypto era ~ crypto => Embed (UTxO era) (Map (TxIn crypto) (TxOut era)) Source # | |
Crypto era ~ crypto => HasExp (UTxO era) (Map (TxIn crypto) (TxOut era)) Source # | |
Instances
Eq Url Source # | |
Ord Url Source # | |
Show Url Source # | |
Generic Url Source # | |
NFData Url Source # | |
Defined in Shelley.Spec.Ledger.BaseTypes | |
ToJSON Url Source # | |
FromJSON Url Source # | |
ToCBOR Url Source # | |
FromCBOR Url Source # | |
NoThunks Url Source # | |
type Rep Url Source # | |
Defined in Shelley.Spec.Ledger.BaseTypes |
Constructors
Wdrl | |
Fields
|
Instances
Crypto era ~ crypto => HasField "wdrls" (TxBody era) (Wdrl crypto) Source # | |
Defined in Shelley.Spec.Ledger.TxBody | |
Eq (Wdrl crypto) Source # | |
Show (Wdrl crypto) Source # | |
Generic (Wdrl crypto) Source # | |
NFData (Wdrl crypto) Source # | |
Defined in Shelley.Spec.Ledger.TxBody | |
Crypto crypto => ToCBOR (Wdrl crypto) Source # | |
Crypto crypto => FromCBOR (Wdrl crypto) Source # | |
NoThunks (Wdrl crypto) Source # | |
type Rep (Wdrl crypto) Source # | |
Defined in Shelley.Spec.Ledger.TxBody type Rep (Wdrl crypto) = D1 ('MetaData "Wdrl" "Shelley.Spec.Ledger.TxBody" "shelley-spec-ledger-0.1.0.0-Is3EknyvW92LxCl96jGQVW" 'True) (C1 ('MetaCons "Wdrl" 'PrefixI 'True) (S1 ('MetaSel ('Just "unWdrl") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Map (RewardAcnt crypto) Coin)))) |
data WitVKey kr crypto where Source #
Proof/Witness that a transaction is authorized by the given key holder.
Bundled Patterns
pattern WitVKey :: (Typeable kr, Crypto crypto) => VKey kr crypto -> SignedDSIGN crypto (Hash crypto EraIndependentTxBody) -> WitVKey kr crypto |
Instances
data SizeOfPoolOwners Source #
The size of the _poolOwners
Set
. Only used to compute size of encoded
PoolParams
.
Constructors
SizeOfPoolOwners |
Instances
ToCBOR SizeOfPoolOwners Source # | |
Defined in Shelley.Spec.Ledger.TxBody Methods toCBOR :: SizeOfPoolOwners -> Encoding Source # encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy SizeOfPoolOwners -> Size Source # encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [SizeOfPoolOwners] -> Size Source # |
data SizeOfPoolRelays Source #
The size of the _poolRelays
Set
. Only used to compute size of encoded
PoolParams
.
Constructors
SizeOfPoolRelays |
Instances
ToCBOR SizeOfPoolRelays Source # | |
Defined in Shelley.Spec.Ledger.TxBody Methods toCBOR :: SizeOfPoolRelays -> Encoding Source # encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy SizeOfPoolRelays -> Size Source # encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [SizeOfPoolRelays] -> Size Source # |