Safe Haskell	Safe-Inferred
Language	Haskell2010

Cardano.Ledger.Coin

Synopsis

newtype Coin = Coin {
- unCoin ∷ Integer
}
data family CompactForm a ∷ Type
newtype DeltaCoin = DeltaCoin Integer
word64ToCoin ∷ Word64 → Coin
coinToRational ∷ Coin → Rational
rationalToCoinViaFloor ∷ Rational → Coin
rationalToCoinViaCeiling ∷ Rational → Coin
addDeltaCoin ∷ Coin → DeltaCoin → Coin
toDeltaCoin ∷ Coin → DeltaCoin
fromDeltaCoin ∷ DeltaCoin → Maybe Coin
integerToWord64 ∷ Integer → Maybe Word64
decodePositiveCoin ∷ String → Decoder s Coin
compactCoinOrError ∷ HasCallStack ⇒ Coin → CompactForm Coin

Documentation

newtype Coin Source #

The amount of value held by a transaction output.

Constructors

Coin
Fields unCoin ∷ Integer

Instances

Instances details

FromJSON Coin Source #
Instance details Defined in Cardano.Ledger.Coin Methods parseJSON ∷ Value → Parser Coin Source # parseJSONList ∷ Value → Parser [Coin] Source # omittedField ∷ Maybe Coin Source #
ToJSON Coin Source #
Instance details Defined in Cardano.Ledger.Coin Methods toJSON ∷ Coin → Value Source # toEncoding ∷ Coin → Encoding Source # toJSONList ∷ [Coin] → Value Source # toEncodingList ∷ [Coin] → Encoding Source # omitField ∷ Coin → Bool Source #
Monoid Coin Source #
Instance details Defined in Cardano.Ledger.Coin Methods mempty ∷ Coin Source # mappend ∷ Coin → Coin → Coin Source # mconcat ∷ [Coin] → Coin Source #
Semigroup Coin Source #
Instance details Defined in Cardano.Ledger.Coin Methods (<>) ∷ Coin → Coin → Coin Source # sconcat ∷ NonEmpty Coin → Coin Source # stimes ∷ Integral b ⇒ b → Coin → Coin Source #
Enum Coin Source #
Instance details Defined in Cardano.Ledger.Coin Methods succ ∷ Coin → Coin Source # pred ∷ Coin → Coin Source # toEnum ∷ Int → Coin Source # fromEnum ∷ Coin → Int Source # enumFrom ∷ Coin → [Coin] Source # enumFromThen ∷ Coin → Coin → [Coin] Source # enumFromTo ∷ Coin → Coin → [Coin] Source # enumFromThenTo ∷ Coin → Coin → Coin → [Coin] Source #
Generic Coin Source #
Instance details Defined in Cardano.Ledger.Coin Associated Types type Rep Coin ∷ Type → Type Source # Methods from ∷ Coin → Rep Coin x Source # to ∷ Rep Coin x → Coin Source #
Show Coin Source #
Instance details Defined in Cardano.Ledger.Coin Methods showsPrec ∷ Int → Coin → ShowS Source # show ∷ Coin → String Source # showList ∷ [Coin] → ShowS Source #
FromCBOR Coin Source #
Instance details Defined in Cardano.Ledger.Coin Methods fromCBOR ∷ Decoder s Coin Source # label ∷ Proxy Coin → Text Source #
ToCBOR Coin Source #
Instance details Defined in Cardano.Ledger.Coin Methods toCBOR ∷ Coin → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy Coin → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [Coin] → Size Source #
DecCBOR Coin Source #
Instance details Defined in Cardano.Ledger.Coin Methods decCBOR ∷ Decoder s Coin Source # dropCBOR ∷ Proxy Coin → Decoder s () Source # label ∷ Proxy Coin → Text Source #
EncCBOR Coin Source #
Instance details Defined in Cardano.Ledger.Coin Methods encCBOR ∷ Coin → Encoding Source # encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy Coin → Size Source # encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [Coin] → Size Source #
Compactible Coin Source #
Instance details Defined in Cardano.Ledger.Coin Associated Types data CompactForm Coin Source # Methods toCompact ∷ Coin → Maybe (CompactForm Coin) Source # fromCompact ∷ CompactForm Coin → Coin Source #
ToPlutusData Coin Source #
Instance details Defined in Cardano.Ledger.Plutus.ToPlutusData Methods toPlutusData ∷ Coin → Data Source # fromPlutusData ∷ Data → Maybe Coin Source #
Val Coin Source #
Instance details Defined in Cardano.Ledger.Val Methods zero ∷ Coin Source # (<+>) ∷ Coin → Coin → Coin Source # (<×>) ∷ Integral i ⇒ i → Coin → Coin Source # (<->) ∷ Coin → Coin → Coin Source # isZero ∷ Coin → Bool Source # coin ∷ Coin → Coin Source # modifyCoin ∷ (Coin → Coin) → Coin → Coin Source # size ∷ Coin → Integer Source # pointwise ∷ (Integer → Integer → Bool) → Coin → Coin → Bool Source # isAdaOnly ∷ Coin → Bool Source # isAdaOnlyCompact ∷ CompactForm Coin → Bool Source # coinCompact ∷ CompactForm Coin → CompactForm Coin Source # injectCompact ∷ CompactForm Coin → CompactForm Coin Source # modifyCompactCoin ∷ (CompactForm Coin → CompactForm Coin) → CompactForm Coin → CompactForm Coin Source #
NFData Coin Source #
Instance details Defined in Cardano.Ledger.Coin Methods rnf ∷ Coin → () Source #
Eq Coin Source #
Instance details Defined in Cardano.Ledger.Coin Methods (==) ∷ Coin → Coin → Bool Source # (/=) ∷ Coin → Coin → Bool Source #
Ord Coin Source #
Instance details Defined in Cardano.Ledger.Coin Methods compare ∷ Coin → Coin → Ordering Source # (<) ∷ Coin → Coin → Bool Source # (<=) ∷ Coin → Coin → Bool Source # (>) ∷ Coin → Coin → Bool Source # (>=) ∷ Coin → Coin → Bool Source # max ∷ Coin → Coin → Coin Source # min ∷ Coin → Coin → Coin Source #
Abelian Coin Source #
Instance details Defined in Cardano.Ledger.Coin
Group Coin Source #
Instance details Defined in Cardano.Ledger.Coin Methods invert ∷ Coin → Coin Source # (~~) ∷ Coin → Coin → Coin Source # pow ∷ Integral x ⇒ Coin → x → Coin Source #
HeapWords Coin Source #
Instance details Defined in Cardano.Ledger.Coin Methods heapWords ∷ Coin → Int Source #
NoThunks Coin Source #
Instance details Defined in Cardano.Ledger.Coin Methods noThunks ∷ Context → Coin → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → Coin → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy Coin → String Source #
PartialOrd Coin Source #
Instance details Defined in Cardano.Ledger.Coin Methods (<=) ∷ Coin → Coin → Bool Source # (>=) ∷ Coin → Coin → Bool Source # (==) ∷ Coin → Coin → Bool Source # (/=) ∷ Coin → Coin → Bool Source # (<) ∷ Coin → Coin → Bool Source # (>) ∷ Coin → Coin → Bool Source # compare ∷ Coin → Coin → Maybe Ordering Source #
Uniform Coin Source #
Instance details Defined in Cardano.Ledger.Coin Methods uniformM ∷ StatefulGen g m ⇒ g → m Coin Source #
UniformRange Coin Source #
Instance details Defined in Cardano.Ledger.Coin Methods uniformRM ∷ StatefulGen g m ⇒ (Coin, Coin) → g → m Coin Source #
Inject Coin DeltaCoin Source #
Instance details Defined in Cardano.Ledger.Coin Methods inject ∷ Coin → DeltaCoin Source #
FromJSON (CompactForm Coin) Source #
Instance details Defined in Cardano.Ledger.Coin Methods parseJSON ∷ Value → Parser (CompactForm Coin) Source # parseJSONList ∷ Value → Parser [CompactForm Coin] Source # omittedField ∷ Maybe (CompactForm Coin) Source #
ToJSON (CompactForm Coin) Source #
Instance details Defined in Cardano.Ledger.Coin Methods toJSON ∷ CompactForm Coin → Value Source # toEncoding ∷ CompactForm Coin → Encoding Source # toJSONList ∷ [CompactForm Coin] → Value Source # toEncodingList ∷ [CompactForm Coin] → Encoding Source # omitField ∷ CompactForm Coin → Bool Source #
Monoid (CompactForm Coin) Source #
Instance details Defined in Cardano.Ledger.Coin Methods mempty ∷ CompactForm Coin Source # mappend ∷ CompactForm Coin → CompactForm Coin → CompactForm Coin Source # mconcat ∷ [CompactForm Coin] → CompactForm Coin Source #
Semigroup (CompactForm Coin) Source #
Instance details Defined in Cardano.Ledger.Coin Methods (<>) ∷ CompactForm Coin → CompactForm Coin → CompactForm Coin Source # sconcat ∷ NonEmpty (CompactForm Coin) → CompactForm Coin Source # stimes ∷ Integral b ⇒ b → CompactForm Coin → CompactForm Coin Source #
Show (CompactForm Coin) Source #
Instance details Defined in Cardano.Ledger.Coin Methods showsPrec ∷ Int → CompactForm Coin → ShowS Source # show ∷ CompactForm Coin → String Source # showList ∷ [CompactForm Coin] → ShowS Source #
ToCBOR (CompactForm Coin) Source #
Instance details Defined in Cardano.Ledger.Coin Methods toCBOR ∷ CompactForm Coin → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (CompactForm Coin) → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [CompactForm Coin] → Size Source #
DecCBOR (CompactForm Coin) Source #
Instance details Defined in Cardano.Ledger.Coin Methods decCBOR ∷ Decoder s (CompactForm Coin) Source # dropCBOR ∷ Proxy (CompactForm Coin) → Decoder s () Source # label ∷ Proxy (CompactForm Coin) → Text Source #
EncCBOR (CompactForm Coin) Source #
Instance details Defined in Cardano.Ledger.Coin Methods encCBOR ∷ CompactForm Coin → Encoding Source # encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy (CompactForm Coin) → Size Source # encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [CompactForm Coin] → Size Source #
NFData (CompactForm Coin) Source #
Instance details Defined in Cardano.Ledger.Coin Methods rnf ∷ CompactForm Coin → () Source #
Eq (CompactForm Coin) Source #
Instance details Defined in Cardano.Ledger.Coin Methods (==) ∷ CompactForm Coin → CompactForm Coin → Bool Source # (/=) ∷ CompactForm Coin → CompactForm Coin → Bool Source #
Ord (CompactForm Coin) Source #
Instance details Defined in Cardano.Ledger.Coin Methods compare ∷ CompactForm Coin → CompactForm Coin → Ordering Source # (<) ∷ CompactForm Coin → CompactForm Coin → Bool Source # (<=) ∷ CompactForm Coin → CompactForm Coin → Bool Source # (>) ∷ CompactForm Coin → CompactForm Coin → Bool Source # (>=) ∷ CompactForm Coin → CompactForm Coin → Bool Source # max ∷ CompactForm Coin → CompactForm Coin → CompactForm Coin Source # min ∷ CompactForm Coin → CompactForm Coin → CompactForm Coin Source #
Abelian (CompactForm Coin) Source #
Instance details Defined in Cardano.Ledger.Coin
Group (CompactForm Coin) Source #
Instance details Defined in Cardano.Ledger.Coin Methods invert ∷ CompactForm Coin → CompactForm Coin Source # (~~) ∷ CompactForm Coin → CompactForm Coin → CompactForm Coin Source # pow ∷ Integral x ⇒ CompactForm Coin → x → CompactForm Coin Source #
HeapWords (CompactForm Coin) Source #
Instance details Defined in Cardano.Ledger.Coin Methods heapWords ∷ CompactForm Coin → Int Source #
NoThunks (CompactForm Coin) Source #
Instance details Defined in Cardano.Ledger.Coin Methods noThunks ∷ Context → CompactForm Coin → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → CompactForm Coin → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (CompactForm Coin) → String Source #
Prim (CompactForm Coin) Source #
Instance details Defined in Cardano.Ledger.Coin Methods sizeOfType# ∷ Proxy (CompactForm Coin) → Int# Source # sizeOf# ∷ CompactForm Coin → Int# Source # alignmentOfType# ∷ Proxy (CompactForm Coin) → Int# Source # alignment# ∷ CompactForm Coin → Int# Source # indexByteArray# ∷ ByteArray# → Int# → CompactForm Coin Source # readByteArray# ∷ MutableByteArray# s → Int# → State# s → (# State# s, CompactForm Coin #) Source # writeByteArray# ∷ MutableByteArray# s → Int# → CompactForm Coin → State# s → State# s Source # setByteArray# ∷ MutableByteArray# s → Int# → Int# → CompactForm Coin → State# s → State# s Source # indexOffAddr# ∷ Addr# → Int# → CompactForm Coin Source # readOffAddr# ∷ Addr# → Int# → State# s → (# State# s, CompactForm Coin #) Source # writeOffAddr# ∷ Addr# → Int# → CompactForm Coin → State# s → State# s Source # setOffAddr# ∷ Addr# → Int# → Int# → CompactForm Coin → State# s → State# s Source #
Uniform (CompactForm Coin) Source #
Instance details Defined in Cardano.Ledger.Coin Methods uniformM ∷ StatefulGen g m ⇒ g → m (CompactForm Coin) Source #
UniformRange (CompactForm Coin) Source #
Instance details Defined in Cardano.Ledger.Coin Methods uniformRM ∷ StatefulGen g m ⇒ (CompactForm Coin, CompactForm Coin) → g → m (CompactForm Coin) Source #
type Rep Coin Source #
Instance details Defined in Cardano.Ledger.Coin type Rep Coin = D1 ('MetaData "Coin" "Cardano.Ledger.Coin" "cardano-ledger-core-1.16.0.0-inplace" 'True) (C1 ('MetaCons "Coin" 'PrefixI 'True) (S1 ('MetaSel ('Just "unCoin") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Integer)))
newtype CompactForm Coin Source #
Instance details Defined in Cardano.Ledger.Coin newtype CompactForm Coin = CompactCoin { unCompactCoin ∷ Word64 }

data family CompactForm a ∷ Type Source #

Instances

Instances details

FromJSON (CompactForm Coin) Source #
Instance details Defined in Cardano.Ledger.Coin Methods parseJSON ∷ Value → Parser (CompactForm Coin) Source # parseJSONList ∷ Value → Parser [CompactForm Coin] Source # omittedField ∷ Maybe (CompactForm Coin) Source #
ToJSON (CompactForm Coin) Source #
Instance details Defined in Cardano.Ledger.Coin Methods toJSON ∷ CompactForm Coin → Value Source # toEncoding ∷ CompactForm Coin → Encoding Source # toJSONList ∷ [CompactForm Coin] → Value Source # toEncodingList ∷ [CompactForm Coin] → Encoding Source # omitField ∷ CompactForm Coin → Bool Source #
ToJSON (CompactForm DeltaCoin) Source #
Instance details Defined in Cardano.Ledger.Coin Methods toJSON ∷ CompactForm DeltaCoin → Value Source # toEncoding ∷ CompactForm DeltaCoin → Encoding Source # toJSONList ∷ [CompactForm DeltaCoin] → Value Source # toEncodingList ∷ [CompactForm DeltaCoin] → Encoding Source # omitField ∷ CompactForm DeltaCoin → Bool Source #
Monoid (CompactForm Coin) Source #
Instance details Defined in Cardano.Ledger.Coin Methods mempty ∷ CompactForm Coin Source # mappend ∷ CompactForm Coin → CompactForm Coin → CompactForm Coin Source # mconcat ∷ [CompactForm Coin] → CompactForm Coin Source #
Semigroup (CompactForm Coin) Source #
Instance details Defined in Cardano.Ledger.Coin Methods (<>) ∷ CompactForm Coin → CompactForm Coin → CompactForm Coin Source # sconcat ∷ NonEmpty (CompactForm Coin) → CompactForm Coin Source # stimes ∷ Integral b ⇒ b → CompactForm Coin → CompactForm Coin Source #
Show (CompactForm Coin) Source #
Instance details Defined in Cardano.Ledger.Coin Methods showsPrec ∷ Int → CompactForm Coin → ShowS Source # show ∷ CompactForm Coin → String Source # showList ∷ [CompactForm Coin] → ShowS Source #
Show (CompactForm DeltaCoin) Source #
Instance details Defined in Cardano.Ledger.Coin Methods showsPrec ∷ Int → CompactForm DeltaCoin → ShowS Source # show ∷ CompactForm DeltaCoin → String Source # showList ∷ [CompactForm DeltaCoin] → ShowS Source #
ToCBOR (CompactForm Coin) Source #
Instance details Defined in Cardano.Ledger.Coin Methods toCBOR ∷ CompactForm Coin → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (CompactForm Coin) → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [CompactForm Coin] → Size Source #
DecCBOR (CompactForm Coin) Source #
Instance details Defined in Cardano.Ledger.Coin Methods decCBOR ∷ Decoder s (CompactForm Coin) Source # dropCBOR ∷ Proxy (CompactForm Coin) → Decoder s () Source # label ∷ Proxy (CompactForm Coin) → Text Source #
DecCBOR (CompactForm DeltaCoin) Source #
Instance details Defined in Cardano.Ledger.Coin Methods decCBOR ∷ Decoder s (CompactForm DeltaCoin) Source # dropCBOR ∷ Proxy (CompactForm DeltaCoin) → Decoder s () Source # label ∷ Proxy (CompactForm DeltaCoin) → Text Source #
EncCBOR (CompactForm Coin) Source #
Instance details Defined in Cardano.Ledger.Coin Methods encCBOR ∷ CompactForm Coin → Encoding Source # encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy (CompactForm Coin) → Size Source # encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [CompactForm Coin] → Size Source #
EncCBOR (CompactForm DeltaCoin) Source #
Instance details Defined in Cardano.Ledger.Coin Methods encCBOR ∷ CompactForm DeltaCoin → Encoding Source # encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy (CompactForm DeltaCoin) → Size Source # encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [CompactForm DeltaCoin] → Size Source #
NFData (CompactForm Coin) Source #
Instance details Defined in Cardano.Ledger.Coin Methods rnf ∷ CompactForm Coin → () Source #
NFData (CompactForm DeltaCoin) Source #
Instance details Defined in Cardano.Ledger.Coin Methods rnf ∷ CompactForm DeltaCoin → () Source #
Eq (CompactForm Coin) Source #
Instance details Defined in Cardano.Ledger.Coin Methods (==) ∷ CompactForm Coin → CompactForm Coin → Bool Source # (/=) ∷ CompactForm Coin → CompactForm Coin → Bool Source #
Eq (CompactForm DeltaCoin) Source #
Instance details Defined in Cardano.Ledger.Coin Methods (==) ∷ CompactForm DeltaCoin → CompactForm DeltaCoin → Bool Source # (/=) ∷ CompactForm DeltaCoin → CompactForm DeltaCoin → Bool Source #
Ord (CompactForm Coin) Source #
Instance details Defined in Cardano.Ledger.Coin Methods compare ∷ CompactForm Coin → CompactForm Coin → Ordering Source # (<) ∷ CompactForm Coin → CompactForm Coin → Bool Source # (<=) ∷ CompactForm Coin → CompactForm Coin → Bool Source # (>) ∷ CompactForm Coin → CompactForm Coin → Bool Source # (>=) ∷ CompactForm Coin → CompactForm Coin → Bool Source # max ∷ CompactForm Coin → CompactForm Coin → CompactForm Coin Source # min ∷ CompactForm Coin → CompactForm Coin → CompactForm Coin Source #
Abelian (CompactForm Coin) Source #
Instance details Defined in Cardano.Ledger.Coin
Group (CompactForm Coin) Source #
Instance details Defined in Cardano.Ledger.Coin Methods invert ∷ CompactForm Coin → CompactForm Coin Source # (~~) ∷ CompactForm Coin → CompactForm Coin → CompactForm Coin Source # pow ∷ Integral x ⇒ CompactForm Coin → x → CompactForm Coin Source #
HeapWords (CompactForm Coin) Source #
Instance details Defined in Cardano.Ledger.Coin Methods heapWords ∷ CompactForm Coin → Int Source #
HeapWords (CompactForm DeltaCoin) Source #
Instance details Defined in Cardano.Ledger.Coin Methods heapWords ∷ CompactForm DeltaCoin → Int Source #
NoThunks (CompactForm Coin) Source #
Instance details Defined in Cardano.Ledger.Coin Methods noThunks ∷ Context → CompactForm Coin → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → CompactForm Coin → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (CompactForm Coin) → String Source #
NoThunks (CompactForm DeltaCoin) Source #
Instance details Defined in Cardano.Ledger.Coin Methods noThunks ∷ Context → CompactForm DeltaCoin → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → CompactForm DeltaCoin → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (CompactForm DeltaCoin) → String Source #
Prim (CompactForm Coin) Source #
Instance details Defined in Cardano.Ledger.Coin Methods sizeOfType# ∷ Proxy (CompactForm Coin) → Int# Source # sizeOf# ∷ CompactForm Coin → Int# Source # alignmentOfType# ∷ Proxy (CompactForm Coin) → Int# Source # alignment# ∷ CompactForm Coin → Int# Source # indexByteArray# ∷ ByteArray# → Int# → CompactForm Coin Source # readByteArray# ∷ MutableByteArray# s → Int# → State# s → (# State# s, CompactForm Coin #) Source # writeByteArray# ∷ MutableByteArray# s → Int# → CompactForm Coin → State# s → State# s Source # setByteArray# ∷ MutableByteArray# s → Int# → Int# → CompactForm Coin → State# s → State# s Source # indexOffAddr# ∷ Addr# → Int# → CompactForm Coin Source # readOffAddr# ∷ Addr# → Int# → State# s → (# State# s, CompactForm Coin #) Source # writeOffAddr# ∷ Addr# → Int# → CompactForm Coin → State# s → State# s Source # setOffAddr# ∷ Addr# → Int# → Int# → CompactForm Coin → State# s → State# s Source #
Prim (CompactForm DeltaCoin) Source #
Instance details Defined in Cardano.Ledger.Coin Methods sizeOfType# ∷ Proxy (CompactForm DeltaCoin) → Int# Source # sizeOf# ∷ CompactForm DeltaCoin → Int# Source # alignmentOfType# ∷ Proxy (CompactForm DeltaCoin) → Int# Source # alignment# ∷ CompactForm DeltaCoin → Int# Source # indexByteArray# ∷ ByteArray# → Int# → CompactForm DeltaCoin Source # readByteArray# ∷ MutableByteArray# s → Int# → State# s → (# State# s, CompactForm DeltaCoin #) Source # writeByteArray# ∷ MutableByteArray# s → Int# → CompactForm DeltaCoin → State# s → State# s Source # setByteArray# ∷ MutableByteArray# s → Int# → Int# → CompactForm DeltaCoin → State# s → State# s Source # indexOffAddr# ∷ Addr# → Int# → CompactForm DeltaCoin Source # readOffAddr# ∷ Addr# → Int# → State# s → (# State# s, CompactForm DeltaCoin #) Source # writeOffAddr# ∷ Addr# → Int# → CompactForm DeltaCoin → State# s → State# s Source # setOffAddr# ∷ Addr# → Int# → Int# → CompactForm DeltaCoin → State# s → State# s Source #
Uniform (CompactForm Coin) Source #
Instance details Defined in Cardano.Ledger.Coin Methods uniformM ∷ StatefulGen g m ⇒ g → m (CompactForm Coin) Source #
UniformRange (CompactForm Coin) Source #
Instance details Defined in Cardano.Ledger.Coin Methods uniformRM ∷ StatefulGen g m ⇒ (CompactForm Coin, CompactForm Coin) → g → m (CompactForm Coin) Source #
newtype CompactForm Coin Source #
Instance details Defined in Cardano.Ledger.Coin newtype CompactForm Coin = CompactCoin { unCompactCoin ∷ Word64 }
newtype CompactForm DeltaCoin Source #
Instance details Defined in Cardano.Ledger.Coin newtype CompactForm DeltaCoin = CompactDeltaCoin Word64

newtype DeltaCoin Source #

Constructors

DeltaCoin Integer

Instances

Instances details

FromJSON DeltaCoin Source #
Instance details Defined in Cardano.Ledger.Coin Methods parseJSON ∷ Value → Parser DeltaCoin Source # parseJSONList ∷ Value → Parser [DeltaCoin] Source # omittedField ∷ Maybe DeltaCoin Source #
ToJSON DeltaCoin Source #
Instance details Defined in Cardano.Ledger.Coin Methods toJSON ∷ DeltaCoin → Value Source # toEncoding ∷ DeltaCoin → Encoding Source # toJSONList ∷ [DeltaCoin] → Value Source # toEncodingList ∷ [DeltaCoin] → Encoding Source # omitField ∷ DeltaCoin → Bool Source #
Monoid DeltaCoin Source #
Instance details Defined in Cardano.Ledger.Coin Methods mempty ∷ DeltaCoin Source # mappend ∷ DeltaCoin → DeltaCoin → DeltaCoin Source # mconcat ∷ [DeltaCoin] → DeltaCoin Source #
Semigroup DeltaCoin Source #
Instance details Defined in Cardano.Ledger.Coin Methods (<>) ∷ DeltaCoin → DeltaCoin → DeltaCoin Source # sconcat ∷ NonEmpty DeltaCoin → DeltaCoin Source # stimes ∷ Integral b ⇒ b → DeltaCoin → DeltaCoin Source #
Enum DeltaCoin Source #
Instance details Defined in Cardano.Ledger.Coin Methods succ ∷ DeltaCoin → DeltaCoin Source # pred ∷ DeltaCoin → DeltaCoin Source # toEnum ∷ Int → DeltaCoin Source # fromEnum ∷ DeltaCoin → Int Source # enumFrom ∷ DeltaCoin → [DeltaCoin] Source # enumFromThen ∷ DeltaCoin → DeltaCoin → [DeltaCoin] Source # enumFromTo ∷ DeltaCoin → DeltaCoin → [DeltaCoin] Source # enumFromThenTo ∷ DeltaCoin → DeltaCoin → DeltaCoin → [DeltaCoin] Source #
Generic DeltaCoin Source #
Instance details Defined in Cardano.Ledger.Coin Associated Types type Rep DeltaCoin ∷ Type → Type Source # Methods from ∷ DeltaCoin → Rep DeltaCoin x Source # to ∷ Rep DeltaCoin x → DeltaCoin Source #
Show DeltaCoin Source #
Instance details Defined in Cardano.Ledger.Coin Methods showsPrec ∷ Int → DeltaCoin → ShowS Source # show ∷ DeltaCoin → String Source # showList ∷ [DeltaCoin] → ShowS Source #
ToCBOR DeltaCoin Source #
Instance details Defined in Cardano.Ledger.Coin Methods toCBOR ∷ DeltaCoin → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy DeltaCoin → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [DeltaCoin] → Size Source #
DecCBOR DeltaCoin Source #
Instance details Defined in Cardano.Ledger.Coin Methods decCBOR ∷ Decoder s DeltaCoin Source # dropCBOR ∷ Proxy DeltaCoin → Decoder s () Source # label ∷ Proxy DeltaCoin → Text Source #
EncCBOR DeltaCoin Source #
Instance details Defined in Cardano.Ledger.Coin Methods encCBOR ∷ DeltaCoin → Encoding Source # encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy DeltaCoin → Size Source # encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [DeltaCoin] → Size Source #
Compactible DeltaCoin Source #
Instance details Defined in Cardano.Ledger.Coin Associated Types data CompactForm DeltaCoin Source # Methods toCompact ∷ DeltaCoin → Maybe (CompactForm DeltaCoin) Source # fromCompact ∷ CompactForm DeltaCoin → DeltaCoin Source #
Val DeltaCoin Source #
Instance details Defined in Cardano.Ledger.Val Methods zero ∷ DeltaCoin Source # (<+>) ∷ DeltaCoin → DeltaCoin → DeltaCoin Source # (<×>) ∷ Integral i ⇒ i → DeltaCoin → DeltaCoin Source # (<->) ∷ DeltaCoin → DeltaCoin → DeltaCoin Source # isZero ∷ DeltaCoin → Bool Source # coin ∷ DeltaCoin → Coin Source # modifyCoin ∷ (Coin → Coin) → DeltaCoin → DeltaCoin Source # size ∷ DeltaCoin → Integer Source # pointwise ∷ (Integer → Integer → Bool) → DeltaCoin → DeltaCoin → Bool Source # isAdaOnly ∷ DeltaCoin → Bool Source # isAdaOnlyCompact ∷ CompactForm DeltaCoin → Bool Source # coinCompact ∷ CompactForm DeltaCoin → CompactForm Coin Source # injectCompact ∷ CompactForm Coin → CompactForm DeltaCoin Source # modifyCompactCoin ∷ (CompactForm Coin → CompactForm Coin) → CompactForm DeltaCoin → CompactForm DeltaCoin Source #
NFData DeltaCoin Source #
Instance details Defined in Cardano.Ledger.Coin Methods rnf ∷ DeltaCoin → () Source #
Eq DeltaCoin Source #
Instance details Defined in Cardano.Ledger.Coin Methods (==) ∷ DeltaCoin → DeltaCoin → Bool Source # (/=) ∷ DeltaCoin → DeltaCoin → Bool Source #
Ord DeltaCoin Source #
Instance details Defined in Cardano.Ledger.Coin Methods compare ∷ DeltaCoin → DeltaCoin → Ordering Source # (<) ∷ DeltaCoin → DeltaCoin → Bool Source # (<=) ∷ DeltaCoin → DeltaCoin → Bool Source # (>) ∷ DeltaCoin → DeltaCoin → Bool Source # (>=) ∷ DeltaCoin → DeltaCoin → Bool Source # max ∷ DeltaCoin → DeltaCoin → DeltaCoin Source # min ∷ DeltaCoin → DeltaCoin → DeltaCoin Source #
Abelian DeltaCoin Source #
Instance details Defined in Cardano.Ledger.Coin
Group DeltaCoin Source #
Instance details Defined in Cardano.Ledger.Coin Methods invert ∷ DeltaCoin → DeltaCoin Source # (~~) ∷ DeltaCoin → DeltaCoin → DeltaCoin Source # pow ∷ Integral x ⇒ DeltaCoin → x → DeltaCoin Source #
HeapWords DeltaCoin Source #
Instance details Defined in Cardano.Ledger.Coin Methods heapWords ∷ DeltaCoin → Int Source #
NoThunks DeltaCoin Source #
Instance details Defined in Cardano.Ledger.Coin Methods noThunks ∷ Context → DeltaCoin → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → DeltaCoin → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy DeltaCoin → String Source #
PartialOrd DeltaCoin Source #
Instance details Defined in Cardano.Ledger.Coin Methods (<=) ∷ DeltaCoin → DeltaCoin → Bool Source # (>=) ∷ DeltaCoin → DeltaCoin → Bool Source # (==) ∷ DeltaCoin → DeltaCoin → Bool Source # (/=) ∷ DeltaCoin → DeltaCoin → Bool Source # (<) ∷ DeltaCoin → DeltaCoin → Bool Source # (>) ∷ DeltaCoin → DeltaCoin → Bool Source # compare ∷ DeltaCoin → DeltaCoin → Maybe Ordering Source #
Inject Coin DeltaCoin Source #
Instance details Defined in Cardano.Ledger.Coin Methods inject ∷ Coin → DeltaCoin Source #
ToJSON (CompactForm DeltaCoin) Source #
Instance details Defined in Cardano.Ledger.Coin Methods toJSON ∷ CompactForm DeltaCoin → Value Source # toEncoding ∷ CompactForm DeltaCoin → Encoding Source # toJSONList ∷ [CompactForm DeltaCoin] → Value Source # toEncodingList ∷ [CompactForm DeltaCoin] → Encoding Source # omitField ∷ CompactForm DeltaCoin → Bool Source #
Show (CompactForm DeltaCoin) Source #
Instance details Defined in Cardano.Ledger.Coin Methods showsPrec ∷ Int → CompactForm DeltaCoin → ShowS Source # show ∷ CompactForm DeltaCoin → String Source # showList ∷ [CompactForm DeltaCoin] → ShowS Source #
DecCBOR (CompactForm DeltaCoin) Source #
Instance details Defined in Cardano.Ledger.Coin Methods decCBOR ∷ Decoder s (CompactForm DeltaCoin) Source # dropCBOR ∷ Proxy (CompactForm DeltaCoin) → Decoder s () Source # label ∷ Proxy (CompactForm DeltaCoin) → Text Source #
EncCBOR (CompactForm DeltaCoin) Source #
Instance details Defined in Cardano.Ledger.Coin Methods encCBOR ∷ CompactForm DeltaCoin → Encoding Source # encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy (CompactForm DeltaCoin) → Size Source # encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [CompactForm DeltaCoin] → Size Source #
NFData (CompactForm DeltaCoin) Source #
Instance details Defined in Cardano.Ledger.Coin Methods rnf ∷ CompactForm DeltaCoin → () Source #
Eq (CompactForm DeltaCoin) Source #
Instance details Defined in Cardano.Ledger.Coin Methods (==) ∷ CompactForm DeltaCoin → CompactForm DeltaCoin → Bool Source # (/=) ∷ CompactForm DeltaCoin → CompactForm DeltaCoin → Bool Source #
HeapWords (CompactForm DeltaCoin) Source #
Instance details Defined in Cardano.Ledger.Coin Methods heapWords ∷ CompactForm DeltaCoin → Int Source #
NoThunks (CompactForm DeltaCoin) Source #
Instance details Defined in Cardano.Ledger.Coin Methods noThunks ∷ Context → CompactForm DeltaCoin → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → CompactForm DeltaCoin → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (CompactForm DeltaCoin) → String Source #
Prim (CompactForm DeltaCoin) Source #
Instance details Defined in Cardano.Ledger.Coin Methods sizeOfType# ∷ Proxy (CompactForm DeltaCoin) → Int# Source # sizeOf# ∷ CompactForm DeltaCoin → Int# Source # alignmentOfType# ∷ Proxy (CompactForm DeltaCoin) → Int# Source # alignment# ∷ CompactForm DeltaCoin → Int# Source # indexByteArray# ∷ ByteArray# → Int# → CompactForm DeltaCoin Source # readByteArray# ∷ MutableByteArray# s → Int# → State# s → (# State# s, CompactForm DeltaCoin #) Source # writeByteArray# ∷ MutableByteArray# s → Int# → CompactForm DeltaCoin → State# s → State# s Source # setByteArray# ∷ MutableByteArray# s → Int# → Int# → CompactForm DeltaCoin → State# s → State# s Source # indexOffAddr# ∷ Addr# → Int# → CompactForm DeltaCoin Source # readOffAddr# ∷ Addr# → Int# → State# s → (# State# s, CompactForm DeltaCoin #) Source # writeOffAddr# ∷ Addr# → Int# → CompactForm DeltaCoin → State# s → State# s Source # setOffAddr# ∷ Addr# → Int# → Int# → CompactForm DeltaCoin → State# s → State# s Source #
type Rep DeltaCoin Source #
Instance details Defined in Cardano.Ledger.Coin type Rep DeltaCoin = D1 ('MetaData "DeltaCoin" "Cardano.Ledger.Coin" "cardano-ledger-core-1.16.0.0-inplace" 'True) (C1 ('MetaCons "DeltaCoin" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Integer)))
newtype CompactForm DeltaCoin Source #
Instance details Defined in Cardano.Ledger.Coin newtype CompactForm DeltaCoin = CompactDeltaCoin Word64

word64ToCoin ∷ Word64 → Coin Source #

coinToRational ∷ Coin → Rational Source #

rationalToCoinViaFloor ∷ Rational → Coin Source #

rationalToCoinViaCeiling ∷ Rational → Coin Source #

addDeltaCoin ∷ Coin → DeltaCoin → Coin Source #

toDeltaCoin ∷ Coin → DeltaCoin Source #

fromDeltaCoin ∷ DeltaCoin → Maybe Coin Source #

integerToWord64 ∷ Integer → Maybe Word64 Source #

decodePositiveCoin ∷ String → Decoder s Coin Source #

compactCoinOrError ∷ HasCallStack ⇒ Coin → CompactForm Coin Source #