Safe Haskell	Safe-Inferred
Language	Haskell2010

Cardano.Ledger.PoolParams

Synopsis

data PoolParams = PoolParams {
- ppId ∷ !(KeyHash 'StakePool)
- ppVrf ∷ !(VRFVerKeyHash 'StakePoolVRF)
- ppPledge ∷ !Coin
- ppCost ∷ !Coin
- ppMargin ∷ !UnitInterval
- ppRewardAccount ∷ !RewardAccount
- ppOwners ∷ !(Set (KeyHash 'Staking))
- ppRelays ∷ !(StrictSeq StakePoolRelay)
- ppMetadata ∷ !(StrictMaybe PoolMetadata)
}
data PoolMetadata = PoolMetadata {
- pmUrl ∷ !Url
- pmHash ∷ !ByteString
}
data StakePoolRelay
- = SingleHostAddr !(StrictMaybe Port) !(StrictMaybe IPv4) !(StrictMaybe IPv6)
- | SingleHostName !(StrictMaybe Port) !DnsName
- | MultiHostName !DnsName
data SizeOfPoolRelays = SizeOfPoolRelays
data SizeOfPoolOwners = SizeOfPoolOwners

Documentation

data PoolParams Source #

A stake pool.

Constructors

PoolParams
Fields ppId ∷ !(KeyHash 'StakePool) ppVrf ∷ !(VRFVerKeyHash 'StakePoolVRF) ppPledge ∷ !Coin ppCost ∷ !Coin ppMargin ∷ !UnitInterval ppRewardAccount ∷ !RewardAccount ppOwners ∷ !(Set (KeyHash 'Staking)) ppRelays ∷ !(StrictSeq StakePoolRelay) ppMetadata ∷ !(StrictMaybe PoolMetadata)

Instances

Instances details

FromJSON PoolParams Source #
Instance details Defined in Cardano.Ledger.PoolParams Methods parseJSON ∷ Value → Parser PoolParams Source # parseJSONList ∷ Value → Parser [PoolParams] Source # omittedField ∷ Maybe PoolParams Source #
ToJSON PoolParams Source #
Instance details Defined in Cardano.Ledger.PoolParams Methods toJSON ∷ PoolParams → Value Source # toEncoding ∷ PoolParams → Encoding Source # toJSONList ∷ [PoolParams] → Value Source # toEncodingList ∷ [PoolParams] → Encoding Source # omitField ∷ PoolParams → Bool Source #
Generic PoolParams Source #
Instance details Defined in Cardano.Ledger.PoolParams Associated Types type Rep PoolParams ∷ Type → Type Source # Methods from ∷ PoolParams → Rep PoolParams x Source # to ∷ Rep PoolParams x → PoolParams Source #
Show PoolParams Source #
Instance details Defined in Cardano.Ledger.PoolParams Methods showsPrec ∷ Int → PoolParams → ShowS Source # show ∷ PoolParams → String Source # showList ∷ [PoolParams] → ShowS Source #
DecCBOR PoolParams Source #
Instance details Defined in Cardano.Ledger.PoolParams Methods decCBOR ∷ Decoder s PoolParams Source # dropCBOR ∷ Proxy PoolParams → Decoder s () Source # label ∷ Proxy PoolParams → Text Source #
EncCBOR PoolParams Source #
Instance details Defined in Cardano.Ledger.PoolParams Methods encCBOR ∷ PoolParams → Encoding Source # encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy PoolParams → Size Source # encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [PoolParams] → Size Source #
DecCBORGroup PoolParams Source #
Instance details Defined in Cardano.Ledger.PoolParams Methods decCBORGroup ∷ Decoder s PoolParams Source #
EncCBORGroup PoolParams Source #
Instance details Defined in Cardano.Ledger.PoolParams Methods encCBORGroup ∷ PoolParams → Encoding Source # encodedGroupSizeExpr ∷ (∀ x. EncCBOR x ⇒ Proxy x → Size) → Proxy PoolParams → Size Source # listLen ∷ PoolParams → Word Source # listLenBound ∷ Proxy PoolParams → Word Source #
Default PoolParams Source #
Instance details Defined in Cardano.Ledger.PoolParams Methods def ∷ PoolParams Source #
NFData PoolParams Source #
Instance details Defined in Cardano.Ledger.PoolParams Methods rnf ∷ PoolParams → () Source #
Eq PoolParams Source #
Instance details Defined in Cardano.Ledger.PoolParams Methods (==) ∷ PoolParams → PoolParams → Bool Source # (/=) ∷ PoolParams → PoolParams → Bool Source #
Ord PoolParams Source #
Instance details Defined in Cardano.Ledger.PoolParams Methods compare ∷ PoolParams → PoolParams → Ordering Source # (<) ∷ PoolParams → PoolParams → Bool Source # (<=) ∷ PoolParams → PoolParams → Bool Source # (>) ∷ PoolParams → PoolParams → Bool Source # (>=) ∷ PoolParams → PoolParams → Bool Source # max ∷ PoolParams → PoolParams → PoolParams Source # min ∷ PoolParams → PoolParams → PoolParams Source #
NoThunks PoolParams Source #
Instance details Defined in Cardano.Ledger.PoolParams Methods noThunks ∷ Context → PoolParams → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → PoolParams → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy PoolParams → String Source #
type Rep PoolParams Source #
Instance details Defined in Cardano.Ledger.PoolParams type Rep PoolParams = D1 ('MetaData "PoolParams" "Cardano.Ledger.PoolParams" "cardano-ledger-core-1.17.0.0-inplace" 'False) (C1 ('MetaCons "PoolParams" 'PrefixI 'True) (((S1 ('MetaSel ('Just "ppId") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (KeyHash 'StakePool)) :: S1 ('MetaSel ('Just "ppVrf") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (VRFVerKeyHash 'StakePoolVRF))) :: (S1 ('MetaSel ('Just "ppPledge") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Coin) :: S1 ('MetaSel ('Just "ppCost") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Coin))) :: ((S1 ('MetaSel ('Just "ppMargin") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 UnitInterval) :: S1 ('MetaSel ('Just "ppRewardAccount") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 RewardAccount)) :: (S1 ('MetaSel ('Just "ppOwners") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Set (KeyHash 'Staking))) :: (S1 ('MetaSel ('Just "ppRelays") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StrictSeq StakePoolRelay)) :: S1 ('MetaSel ('Just "ppMetadata") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StrictMaybe PoolMetadata)))))))

data PoolMetadata Source #

Constructors

PoolMetadata
Fields pmUrl ∷ !Url pmHash ∷ !ByteString

Instances

Instances details

FromJSON PoolMetadata Source #
Instance details Defined in Cardano.Ledger.PoolParams Methods parseJSON ∷ Value → Parser PoolMetadata Source # parseJSONList ∷ Value → Parser [PoolMetadata] Source # omittedField ∷ Maybe PoolMetadata Source #
ToJSON PoolMetadata Source #
Instance details Defined in Cardano.Ledger.PoolParams Methods toJSON ∷ PoolMetadata → Value Source # toEncoding ∷ PoolMetadata → Encoding Source # toJSONList ∷ [PoolMetadata] → Value Source # toEncodingList ∷ [PoolMetadata] → Encoding Source # omitField ∷ PoolMetadata → Bool Source #
Generic PoolMetadata Source #
Instance details Defined in Cardano.Ledger.PoolParams Associated Types type Rep PoolMetadata ∷ Type → Type Source # Methods from ∷ PoolMetadata → Rep PoolMetadata x Source # to ∷ Rep PoolMetadata x → PoolMetadata Source #
Show PoolMetadata Source #
Instance details Defined in Cardano.Ledger.PoolParams Methods showsPrec ∷ Int → PoolMetadata → ShowS Source # show ∷ PoolMetadata → String Source # showList ∷ [PoolMetadata] → ShowS Source #
DecCBOR PoolMetadata Source #
Instance details Defined in Cardano.Ledger.PoolParams Methods decCBOR ∷ Decoder s PoolMetadata Source # dropCBOR ∷ Proxy PoolMetadata → Decoder s () Source # label ∷ Proxy PoolMetadata → Text Source #
EncCBOR PoolMetadata Source #
Instance details Defined in Cardano.Ledger.PoolParams Methods encCBOR ∷ PoolMetadata → Encoding Source # encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy PoolMetadata → Size Source # encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [PoolMetadata] → Size Source #
NFData PoolMetadata Source #
Instance details Defined in Cardano.Ledger.PoolParams Methods rnf ∷ PoolMetadata → () Source #
Eq PoolMetadata Source #
Instance details Defined in Cardano.Ledger.PoolParams Methods (==) ∷ PoolMetadata → PoolMetadata → Bool Source # (/=) ∷ PoolMetadata → PoolMetadata → Bool Source #
Ord PoolMetadata Source #
Instance details Defined in Cardano.Ledger.PoolParams Methods compare ∷ PoolMetadata → PoolMetadata → Ordering Source # (<) ∷ PoolMetadata → PoolMetadata → Bool Source # (<=) ∷ PoolMetadata → PoolMetadata → Bool Source # (>) ∷ PoolMetadata → PoolMetadata → Bool Source # (>=) ∷ PoolMetadata → PoolMetadata → Bool Source # max ∷ PoolMetadata → PoolMetadata → PoolMetadata Source # min ∷ PoolMetadata → PoolMetadata → PoolMetadata Source #
NoThunks PoolMetadata Source #
Instance details Defined in Cardano.Ledger.PoolParams Methods noThunks ∷ Context → PoolMetadata → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → PoolMetadata → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy PoolMetadata → String Source #
type Rep PoolMetadata Source #
Instance details Defined in Cardano.Ledger.PoolParams type Rep PoolMetadata = D1 ('MetaData "PoolMetadata" "Cardano.Ledger.PoolParams" "cardano-ledger-core-1.17.0.0-inplace" 'False) (C1 ('MetaCons "PoolMetadata" 'PrefixI 'True) (S1 ('MetaSel ('Just "pmUrl") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Url) :*: S1 ('MetaSel ('Just "pmHash") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ByteString)))

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

FromJSON StakePoolRelay Source #
Instance details Defined in Cardano.Ledger.PoolParams Methods parseJSON ∷ Value → Parser StakePoolRelay Source # parseJSONList ∷ Value → Parser [StakePoolRelay] Source # omittedField ∷ Maybe StakePoolRelay Source #
ToJSON StakePoolRelay Source #
Instance details Defined in Cardano.Ledger.PoolParams Methods toJSON ∷ StakePoolRelay → Value Source # toEncoding ∷ StakePoolRelay → Encoding Source # toJSONList ∷ [StakePoolRelay] → Value Source # toEncodingList ∷ [StakePoolRelay] → Encoding Source # omitField ∷ StakePoolRelay → Bool Source #
Generic StakePoolRelay Source #
Instance details Defined in Cardano.Ledger.PoolParams Associated Types type Rep StakePoolRelay ∷ Type → Type Source # Methods from ∷ StakePoolRelay → Rep StakePoolRelay x Source # to ∷ Rep StakePoolRelay x → StakePoolRelay Source #
Show StakePoolRelay Source #
Instance details Defined in Cardano.Ledger.PoolParams Methods showsPrec ∷ Int → StakePoolRelay → ShowS Source # show ∷ StakePoolRelay → String Source # showList ∷ [StakePoolRelay] → ShowS Source #
DecCBOR StakePoolRelay Source #
Instance details Defined in Cardano.Ledger.PoolParams Methods decCBOR ∷ Decoder s StakePoolRelay Source # dropCBOR ∷ Proxy StakePoolRelay → Decoder s () Source # label ∷ Proxy StakePoolRelay → Text Source #
EncCBOR StakePoolRelay Source #
Instance details Defined in Cardano.Ledger.PoolParams Methods encCBOR ∷ StakePoolRelay → Encoding Source # encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy StakePoolRelay → Size Source # encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [StakePoolRelay] → Size Source #
NFData StakePoolRelay Source #
Instance details Defined in Cardano.Ledger.PoolParams Methods rnf ∷ StakePoolRelay → () Source #
Eq StakePoolRelay Source #
Instance details Defined in Cardano.Ledger.PoolParams Methods (==) ∷ StakePoolRelay → StakePoolRelay → Bool Source # (/=) ∷ StakePoolRelay → StakePoolRelay → Bool Source #
Ord StakePoolRelay Source #
Instance details Defined in Cardano.Ledger.PoolParams Methods compare ∷ StakePoolRelay → StakePoolRelay → Ordering Source # (<) ∷ StakePoolRelay → StakePoolRelay → Bool Source # (<=) ∷ StakePoolRelay → StakePoolRelay → Bool Source # (>) ∷ StakePoolRelay → StakePoolRelay → Bool Source # (>=) ∷ StakePoolRelay → StakePoolRelay → Bool Source # max ∷ StakePoolRelay → StakePoolRelay → StakePoolRelay Source # min ∷ StakePoolRelay → StakePoolRelay → StakePoolRelay Source #
NoThunks StakePoolRelay Source #
Instance details Defined in Cardano.Ledger.PoolParams Methods noThunks ∷ Context → StakePoolRelay → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → StakePoolRelay → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy StakePoolRelay → String Source #
type Rep StakePoolRelay Source #
Instance details Defined in Cardano.Ledger.PoolParams type Rep StakePoolRelay = D1 ('MetaData "StakePoolRelay" "Cardano.Ledger.PoolParams" "cardano-ledger-core-1.17.0.0-inplace" 'False) (C1 ('MetaCons "SingleHostAddr" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StrictMaybe Port)) :: (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StrictMaybe IPv4)) :: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StrictMaybe IPv6)))) :+: (C1 ('MetaCons "SingleHostName" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StrictMaybe Port)) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 DnsName)) :+: C1 ('MetaCons "MultiHostName" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 DnsName))))

data SizeOfPoolRelays Source #

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

Constructors

SizeOfPoolRelays

Instances

Instances details

EncCBOR SizeOfPoolRelays Source #
Instance details Defined in Cardano.Ledger.PoolParams Methods encCBOR ∷ SizeOfPoolRelays → Encoding Source # encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy SizeOfPoolRelays → Size Source # encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [SizeOfPoolRelays] → Size Source #

data SizeOfPoolOwners Source #

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

Constructors

SizeOfPoolOwners

Instances

Instances details

EncCBOR SizeOfPoolOwners Source #
Instance details Defined in Cardano.Ledger.PoolParams Methods encCBOR ∷ SizeOfPoolOwners → Encoding Source # encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy SizeOfPoolOwners → Size Source # encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [SizeOfPoolOwners] → Size Source #