Safe Haskell	Safe-Inferred
Language	Haskell2010

Cardano.Chain.Common.Lovelace

Contents

Lovelace
Constructors
Formatting
Conversions
Arithmetic operations

Synopsis

data Lovelace
data LovelaceError
maxLovelaceVal ∷ Word64
mkLovelace ∷ Word64 → Either LovelaceError Lovelace
mkKnownLovelace ∷ ∀ n. (KnownNat n, n <= 45000000000000000) ⇒ Lovelace
lovelaceF ∷ Format r (Lovelace → r)
unsafeGetLovelace ∷ Lovelace → Word64
lovelaceToInteger ∷ Lovelace → Integer
integerToLovelace ∷ Integer → Either LovelaceError Lovelace
sumLovelace ∷ (Foldable t, Functor t) ⇒ t Lovelace → Either LovelaceError Lovelace
addLovelace ∷ Lovelace → Lovelace → Either LovelaceError Lovelace
subLovelace ∷ Lovelace → Lovelace → Either LovelaceError Lovelace
scaleLovelace ∷ Integral b ⇒ Lovelace → b → Either LovelaceError Lovelace
scaleLovelaceRational ∷ Lovelace → Rational → Lovelace
scaleLovelaceRationalUp ∷ Lovelace → Rational → Lovelace
divLovelace ∷ Integral b ⇒ Lovelace → b → Either LovelaceError Lovelace
modLovelace ∷ Integral b ⇒ Lovelace → b → Either LovelaceError Lovelace

Lovelace

data Lovelace Source #

Lovelace is the least possible unit of currency

Instances

Instances details

ToJSON Lovelace Source #
Instance details Defined in Cardano.Chain.Common.Lovelace Methods toJSON ∷ Lovelace → Value Source # toEncoding ∷ Lovelace → Encoding Source # toJSONList ∷ [Lovelace] → Value Source # toEncodingList ∷ [Lovelace] → Encoding Source # omitField ∷ Lovelace → Bool Source #
Data Lovelace Source #
Instance details Defined in Cardano.Chain.Common.Lovelace Methods gfoldl ∷ (∀ d b. Data d ⇒ c (d → b) → d → c b) → (∀ g. g → c g) → Lovelace → c Lovelace Source # gunfold ∷ (∀ b r. Data b ⇒ c (b → r) → c r) → (∀ r. r → c r) → Constr → c Lovelace Source # toConstr ∷ Lovelace → Constr Source # dataTypeOf ∷ Lovelace → DataType Source # dataCast1 ∷ Typeable t ⇒ (∀ d. Data d ⇒ c (t d)) → Maybe (c Lovelace) Source # dataCast2 ∷ Typeable t ⇒ (∀ d e. (Data d, Data e) ⇒ c (t d e)) → Maybe (c Lovelace) Source # gmapT ∷ (∀ b. Data b ⇒ b → b) → Lovelace → Lovelace Source # gmapQl ∷ (r → r' → r) → r → (∀ d. Data d ⇒ d → r') → Lovelace → r Source # gmapQr ∷ ∀ r r'. (r' → r → r) → r → (∀ d. Data d ⇒ d → r') → Lovelace → r Source # gmapQ ∷ (∀ d. Data d ⇒ d → u) → Lovelace → [u] Source # gmapQi ∷ Int → (∀ d. Data d ⇒ d → u) → Lovelace → u Source # gmapM ∷ Monad m ⇒ (∀ d. Data d ⇒ d → m d) → Lovelace → m Lovelace Source # gmapMp ∷ MonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → Lovelace → m Lovelace Source # gmapMo ∷ MonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → Lovelace → m Lovelace Source #
Bounded Lovelace Source #
Instance details Defined in Cardano.Chain.Common.Lovelace Methods minBound ∷ Lovelace Source # maxBound ∷ Lovelace Source #
Generic Lovelace Source #
Instance details Defined in Cardano.Chain.Common.Lovelace Associated Types type Rep Lovelace ∷ Type → Type Source # Methods from ∷ Lovelace → Rep Lovelace x Source # to ∷ Rep Lovelace x → Lovelace Source #
Show Lovelace Source #
Instance details Defined in Cardano.Chain.Common.Lovelace Methods showsPrec ∷ Int → Lovelace → ShowS Source # show ∷ Lovelace → String Source # showList ∷ [Lovelace] → ShowS Source #
FromCBOR Lovelace Source #
Instance details Defined in Cardano.Chain.Common.Lovelace Methods fromCBOR ∷ Decoder s Lovelace Source # label ∷ Proxy Lovelace → Text Source #
ToCBOR Lovelace Source #
Instance details Defined in Cardano.Chain.Common.Lovelace Methods toCBOR ∷ Lovelace → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy Lovelace → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [Lovelace] → Size Source #
DecCBOR Lovelace Source #
Instance details Defined in Cardano.Chain.Common.Lovelace Methods decCBOR ∷ Decoder s Lovelace Source # dropCBOR ∷ Proxy Lovelace → Decoder s () Source # label ∷ Proxy Lovelace → Text Source #
EncCBOR Lovelace Source #
Instance details Defined in Cardano.Chain.Common.Lovelace Methods encCBOR ∷ Lovelace → Encoding Source # encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy Lovelace → Size Source # encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [Lovelace] → Size Source #
NFData Lovelace Source #
Instance details Defined in Cardano.Chain.Common.Lovelace Methods rnf ∷ Lovelace → () Source #
Buildable Lovelace Source #
Instance details Defined in Cardano.Chain.Common.Lovelace Methods build ∷ Lovelace → Builder Source #
Eq Lovelace Source #
Instance details Defined in Cardano.Chain.Common.Lovelace Methods (==) ∷ Lovelace → Lovelace → Bool Source # (/=) ∷ Lovelace → Lovelace → Bool Source #
Ord Lovelace Source #
Instance details Defined in Cardano.Chain.Common.Lovelace Methods compare ∷ Lovelace → Lovelace → Ordering Source # (<) ∷ Lovelace → Lovelace → Bool Source # (<=) ∷ Lovelace → Lovelace → Bool Source # (>) ∷ Lovelace → Lovelace → Bool Source # (>=) ∷ Lovelace → Lovelace → Bool Source # max ∷ Lovelace → Lovelace → Lovelace Source # min ∷ Lovelace → Lovelace → Lovelace Source #
NoThunks Lovelace Source #
Instance details Defined in Cardano.Chain.Common.Lovelace Methods noThunks ∷ Context → Lovelace → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → Lovelace → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy Lovelace → String Source #
ReportSchemaErrors m ⇒ FromJSON m Lovelace Source #
Instance details Defined in Cardano.Chain.Common.Lovelace Methods fromJSON ∷ JSValue → m Lovelace Source #
Monad m ⇒ ToJSON m Lovelace Source #
Instance details Defined in Cardano.Chain.Common.Lovelace Methods toJSON ∷ Lovelace → m JSValue Source #
type Rep Lovelace Source #
Instance details Defined in Cardano.Chain.Common.Lovelace type Rep Lovelace = D1 ('MetaData "Lovelace" "Cardano.Chain.Common.Lovelace" "cardano-ledger-byron-1.0.1.0-inplace" 'True) (C1 ('MetaCons "Lovelace" 'PrefixI 'True) (S1 ('MetaSel ('Just "unLovelace") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word64)))

data LovelaceError Source #

Constructors

LovelaceOverflow Word64
LovelaceTooLarge Integer
LovelaceTooSmall Integer
LovelaceUnderflow Word64 Word64

Instances

Instances details

Data LovelaceError Source #
Instance details Defined in Cardano.Chain.Common.Lovelace Methods gfoldl ∷ (∀ d b. Data d ⇒ c (d → b) → d → c b) → (∀ g. g → c g) → LovelaceError → c LovelaceError Source # gunfold ∷ (∀ b r. Data b ⇒ c (b → r) → c r) → (∀ r. r → c r) → Constr → c LovelaceError Source # toConstr ∷ LovelaceError → Constr Source # dataTypeOf ∷ LovelaceError → DataType Source # dataCast1 ∷ Typeable t ⇒ (∀ d. Data d ⇒ c (t d)) → Maybe (c LovelaceError) Source # dataCast2 ∷ Typeable t ⇒ (∀ d e. (Data d, Data e) ⇒ c (t d e)) → Maybe (c LovelaceError) Source # gmapT ∷ (∀ b. Data b ⇒ b → b) → LovelaceError → LovelaceError Source # gmapQl ∷ (r → r' → r) → r → (∀ d. Data d ⇒ d → r') → LovelaceError → r Source # gmapQr ∷ ∀ r r'. (r' → r → r) → r → (∀ d. Data d ⇒ d → r') → LovelaceError → r Source # gmapQ ∷ (∀ d. Data d ⇒ d → u) → LovelaceError → [u] Source # gmapQi ∷ Int → (∀ d. Data d ⇒ d → u) → LovelaceError → u Source # gmapM ∷ Monad m ⇒ (∀ d. Data d ⇒ d → m d) → LovelaceError → m LovelaceError Source # gmapMp ∷ MonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → LovelaceError → m LovelaceError Source # gmapMo ∷ MonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → LovelaceError → m LovelaceError Source #
Show LovelaceError Source #
Instance details Defined in Cardano.Chain.Common.Lovelace Methods showsPrec ∷ Int → LovelaceError → ShowS Source # show ∷ LovelaceError → String Source # showList ∷ [LovelaceError] → ShowS Source #
FromCBOR LovelaceError Source #
Instance details Defined in Cardano.Chain.Common.Lovelace Methods fromCBOR ∷ Decoder s LovelaceError Source # label ∷ Proxy LovelaceError → Text Source #
ToCBOR LovelaceError Source #
Instance details Defined in Cardano.Chain.Common.Lovelace Methods toCBOR ∷ LovelaceError → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy LovelaceError → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [LovelaceError] → Size Source #
DecCBOR LovelaceError Source #
Instance details Defined in Cardano.Chain.Common.Lovelace Methods decCBOR ∷ Decoder s LovelaceError Source # dropCBOR ∷ Proxy LovelaceError → Decoder s () Source # label ∷ Proxy LovelaceError → Text Source #
EncCBOR LovelaceError Source #
Instance details Defined in Cardano.Chain.Common.Lovelace Methods encCBOR ∷ LovelaceError → Encoding Source # encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy LovelaceError → Size Source # encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [LovelaceError] → Size Source #
Buildable LovelaceError Source #
Instance details Defined in Cardano.Chain.Common.Lovelace Methods build ∷ LovelaceError → Builder Source #
Eq LovelaceError Source #
Instance details Defined in Cardano.Chain.Common.Lovelace Methods (==) ∷ LovelaceError → LovelaceError → Bool Source # (/=) ∷ LovelaceError → LovelaceError → Bool Source #