Safe Haskell	Safe-Inferred
Language	Haskell2010

Cardano.Chain.Common.LovelacePortion

Synopsis

data LovelacePortion
rationalToLovelacePortion ∷ Rational → LovelacePortion
lovelacePortionToRational ∷ LovelacePortion → Rational

Documentation

data LovelacePortion Source #

LovelacePortion is a legacy Byron type that we keep only for compatibility. It was originally intended to represent a fraction of stake in the system. It is used only for the thresholds used in the update system rules, most of which are now themselves unused. The remaining case is no longer interpreted as a fraction of all stake, but as a fraction of the number of genesis keys.

It has enormous precision, due to the fact that it was originally intended to represent a fraction of all stake and can cover the precision of all the Lovelace in the system.

It is represented as a rational nominator with a fixed implicit denominator of 1e15. So the nominator must be in the range [0..1e15]. This is also the representation used on-chain (in update proposals) and in the JSON genesis file.

It is interpreted as a Rational via the provided conversion functions.

Instances

Instances details

ToJSON LovelacePortion Source #
Instance details Defined in Cardano.Chain.Common.LovelacePortion Methods toJSON ∷ LovelacePortion → Value Source # toEncoding ∷ LovelacePortion → Encoding Source # toJSONList ∷ [LovelacePortion] → Value Source # toEncodingList ∷ [LovelacePortion] → Encoding Source # omitField ∷ LovelacePortion → Bool Source #
Generic LovelacePortion Source #
Instance details Defined in Cardano.Chain.Common.LovelacePortion Associated Types type Rep LovelacePortion ∷ Type → Type Source # Methods from ∷ LovelacePortion → Rep LovelacePortion x Source # to ∷ Rep LovelacePortion x → LovelacePortion Source #
Show LovelacePortion Source #
Instance details Defined in Cardano.Chain.Common.LovelacePortion Methods showsPrec ∷ Int → LovelacePortion → ShowS Source # show ∷ LovelacePortion → String Source # showList ∷ [LovelacePortion] → ShowS Source #
FromCBOR LovelacePortion Source #
Instance details Defined in Cardano.Chain.Common.LovelacePortion Methods fromCBOR ∷ Decoder s LovelacePortion Source # label ∷ Proxy LovelacePortion → Text Source #
ToCBOR LovelacePortion Source #
Instance details Defined in Cardano.Chain.Common.LovelacePortion Methods toCBOR ∷ LovelacePortion → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy LovelacePortion → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [LovelacePortion] → Size Source #
DecCBOR LovelacePortion Source #
Instance details Defined in Cardano.Chain.Common.LovelacePortion Methods decCBOR ∷ Decoder s LovelacePortion Source # dropCBOR ∷ Proxy LovelacePortion → Decoder s () Source # label ∷ Proxy LovelacePortion → Text Source #
EncCBOR LovelacePortion Source #
Instance details Defined in Cardano.Chain.Common.LovelacePortion Methods encCBOR ∷ LovelacePortion → Encoding Source # encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy LovelacePortion → Size Source # encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [LovelacePortion] → Size Source #
NFData LovelacePortion Source #
Instance details Defined in Cardano.Chain.Common.LovelacePortion Methods rnf ∷ LovelacePortion → () Source #
Buildable LovelacePortion Source #
Instance details Defined in Cardano.Chain.Common.LovelacePortion Methods build ∷ LovelacePortion → Builder Source #
Eq LovelacePortion Source #
Instance details Defined in Cardano.Chain.Common.LovelacePortion Methods (==) ∷ LovelacePortion → LovelacePortion → Bool Source # (/=) ∷ LovelacePortion → LovelacePortion → Bool Source #
Ord LovelacePortion Source #
Instance details Defined in Cardano.Chain.Common.LovelacePortion Methods compare ∷ LovelacePortion → LovelacePortion → Ordering Source # (<) ∷ LovelacePortion → LovelacePortion → Bool Source # (<=) ∷ LovelacePortion → LovelacePortion → Bool Source # (>) ∷ LovelacePortion → LovelacePortion → Bool Source # (>=) ∷ LovelacePortion → LovelacePortion → Bool Source # max ∷ LovelacePortion → LovelacePortion → LovelacePortion Source # min ∷ LovelacePortion → LovelacePortion → LovelacePortion Source #
HeapWords LovelacePortion Source #
Instance details Defined in Cardano.Chain.Common.LovelacePortion Methods heapWords ∷ LovelacePortion → Int Source #
NoThunks LovelacePortion Source #
Instance details Defined in Cardano.Chain.Common.LovelacePortion Methods noThunks ∷ Context → LovelacePortion → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → LovelacePortion → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy LovelacePortion → String Source #
MonadError SchemaError m ⇒ FromJSON m LovelacePortion Source #
Instance details Defined in Cardano.Chain.Common.LovelacePortion Methods fromJSON ∷ JSValue → m LovelacePortion Source #
Monad m ⇒ ToJSON m LovelacePortion Source #
Instance details Defined in Cardano.Chain.Common.LovelacePortion Methods toJSON ∷ LovelacePortion → m JSValue Source #
type Rep LovelacePortion Source #
Instance details Defined in Cardano.Chain.Common.LovelacePortion type Rep LovelacePortion = D1 ('MetaData "LovelacePortion" "Cardano.Chain.Common.LovelacePortion" "cardano-ledger-byron-1.0.1.0-inplace" 'True) (C1 ('MetaCons "LovelacePortion" 'PrefixI 'True) (S1 ('MetaSel ('Just "unLovelacePortion") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word64)))

rationalToLovelacePortion ∷ Rational → LovelacePortion Source #

Make a LovelacePortion from a Rational which must be in the range [0..1].

lovelacePortionToRational ∷ LovelacePortion → Rational Source #

Turn a LovelacePortion into a Rational in the range [0..1].