Modulecardano-ledger-core-1.21.0.0
Cardano.Ledger.Coin
Synopsis
- value addCompactCoin
- value addDeltaCoin
- value coinPerByteFL
- value coinPerByteL
- value coinToRational
- value compactCoinNonZero
- value compactCoinOrError
- value decodePositiveCoin
- value fromCompactCoinNonZero
- value fromDeltaCoin
- value hkdCoinPerByteL
- value hkdPartialCompactCoinL
- value integerToWord64
- value knownNonZeroCoin
- value knownNonZeroCompactCoin
- value partialCompactCoinL
- value rationalToCoinViaCeiling
- value rationalToCoinViaFloor
- value subtractCompactCoin
- value sumCompactCoin
- value toCoinNonZero
- value toCompactCoinNonZero
- value toDeltaCoin
- value unCoinNonZero
- value word64ToCoin
- newtype Coin
- newtype CoinPerByte
- newtype DeltaCoin
- family CompactForm
- constructor CompactCoin
- constructor CompactDeltaCoin
- value unCompactCoin
- Packagecardano-ledger-core-1.21.0.0
- Exports32
- LicenceApache-2.0
value
hkdPartialCompactCoinL :: (HasCallStack, HKDFunctor f) => Lens' (HKD f (CompactForm Coin)) (HKD f Coin)value
knownNonZeroCompactCoin :: (KnownNat n, 1
<= n, WithinBounds n Word64) => NonZero (CompactForm Coin)Instances50Enum, FromCBOR, PartialOrd, Compactible, Val, Inject, …
Enum CoinDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.CoinEq CoinDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.CoinOrd CoinDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.CoinShow CoinDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.CoinGeneric CoinDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.CoinSemigroup CoinDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.CoinMonoid CoinDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.CoinNFData CoinDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.CoinUniform CoinDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.CoinUniformRange CoinDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.CoinFromJSON CoinDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.CoinToJSON CoinDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.CoinNoThunks CoinDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.CoinFromCBOR CoinDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.CoinToCBOR CoinDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.CoinDecCBOR CoinDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.CoinEncCBOR CoinDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.CoinAbelian CoinDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.CoinGroup CoinDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.CoinPartialOrd CoinDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.CoinHasZero CoinDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.CoinCompactible CoinDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.CoinVal CoinDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.ValToPlutusData CoinDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.ToPlutusDataInject Coin DeltaCoinDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.CoinEq (CompactForm Coin)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.CoinOrd (CompactForm Coin)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.CoinShow (CompactForm Coin)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.CoinGeneric (CompactForm Coin)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.CoinSemigroup (CompactForm Coin)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.CoinMonoid (CompactForm Coin)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.CoinStorable (CompactForm Coin)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.CoinNFData (CompactForm Coin)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.CoinUniform (CompactForm Coin)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.CoinUniformRange (CompactForm Coin)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.CoinPrim (CompactForm Coin)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.CoinFromJSON (CompactForm Coin)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.CoinToJSON (CompactForm Coin)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.CoinMemPack (CompactForm Coin)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.CoinNoThunks (CompactForm Coin)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.CoinToCBOR (CompactForm Coin)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.CoinDecCBOR (CompactForm Coin)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.CoinEncCBOR (CompactForm Coin)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.CoinAbelian (CompactForm Coin)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.CoinGroup (CompactForm Coin)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.CoinHasZero (CompactForm Coin)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.CoinToPlutusData (CompactForm Coin)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.ToPlutusDatatype Rep Coin = D1 ('MetaDataDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Coin"Coin"
"Cardano.Ledger.Coin"
"cardano-ledger-core-1.21.0.0-DuROMhaY1WE6VC1bQ2U9IK"
'True) (C1 ('MetaCons"Coin"
'PrefixI 'True) (S1 ('MetaSel ('Just"unCoin"
) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Integer)))type Rep (CompactForm Coin) = D1 ('MetaDataDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Coin"CompactForm"
"Cardano.Ledger.Coin"
"cardano-ledger-core-1.21.0.0-DuROMhaY1WE6VC1bQ2U9IK"
'True) (C1 ('MetaCons"CompactCoin"
'PrefixI 'True) (S1 ('MetaSel ('Just"unCompactCoin"
) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word64)))data CompactForm CoinDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Coin
Constructors
Instances10Eq, Ord, Show, NFData, FromJSON, ToJSON, …
Eq CoinPerByteDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.CoinOrd CoinPerByteDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.CoinShow CoinPerByteDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.CoinNFData CoinPerByteDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.CoinFromJSON CoinPerByteDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.CoinToJSON CoinPerByteDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.CoinNoThunks CoinPerByteDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.CoinDecCBOR CoinPerByteDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.CoinEncCBOR CoinPerByteDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.CoinToPlutusData CoinPerByteDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.ToPlutusData
Instances30Enum, Ord, Generic, Semigroup, Monoid, FromJSON, …
Enum DeltaCoinDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.CoinEq DeltaCoinDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.CoinOrd DeltaCoinDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.CoinShow DeltaCoinDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.CoinGeneric DeltaCoinDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.CoinSemigroup DeltaCoinDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.CoinMonoid DeltaCoinDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.CoinNFData DeltaCoinDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.CoinFromJSON DeltaCoinDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.CoinToJSON DeltaCoinDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.CoinNoThunks DeltaCoinDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.CoinToCBOR DeltaCoinDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.CoinDecCBOR DeltaCoinDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.CoinEncCBOR DeltaCoinDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.CoinAbelian DeltaCoinDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.CoinGroup DeltaCoinDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.CoinPartialOrd DeltaCoinDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.CoinCompactible DeltaCoinDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.CoinVal DeltaCoinDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.ValInject Coin DeltaCoinDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.CoinEq (CompactForm DeltaCoin)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.CoinShow (CompactForm DeltaCoin)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.CoinNFData (CompactForm DeltaCoin)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.CoinPrim (CompactForm DeltaCoin)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.CoinToJSON (CompactForm DeltaCoin)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.CoinNoThunks (CompactForm DeltaCoin)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.CoinDecCBOR (CompactForm DeltaCoin)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.CoinEncCBOR (CompactForm DeltaCoin)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Cointype Rep DeltaCoin = D1 ('MetaDataDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Coin"DeltaCoin"
"Cardano.Ledger.Coin"
"cardano-ledger-core-1.21.0.0-DuROMhaY1WE6VC1bQ2U9IK"
'True) (C1 ('MetaCons"DeltaCoin"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Integer)))data CompactForm DeltaCoinDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Coin
Instances33Eq, Ord, Show, Generic, Semigroup, Monoid, …
Eq (CompactForm Coin)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.CoinEq (CompactForm DeltaCoin)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.CoinOrd (CompactForm Coin)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.CoinShow (CompactForm Coin)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.CoinShow (CompactForm DeltaCoin)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.CoinGeneric (CompactForm Coin)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.CoinSemigroup (CompactForm Coin)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.CoinMonoid (CompactForm Coin)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.CoinStorable (CompactForm Coin)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.CoinNFData (CompactForm Coin)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.CoinNFData (CompactForm DeltaCoin)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.CoinUniform (CompactForm Coin)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.CoinUniformRange (CompactForm Coin)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.CoinPrim (CompactForm Coin)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.CoinPrim (CompactForm DeltaCoin)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.CoinFromJSON (CompactForm Coin)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.CoinToJSON (CompactForm Coin)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.CoinToJSON (CompactForm DeltaCoin)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.CoinMemPack (CompactForm Coin)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.CoinNoThunks (CompactForm Coin)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.CoinNoThunks (CompactForm DeltaCoin)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.CoinToCBOR (CompactForm Coin)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.CoinDecCBOR (CompactForm Coin)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.CoinDecCBOR (CompactForm DeltaCoin)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.CoinEncCBOR (CompactForm Coin)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.CoinEncCBOR (CompactForm DeltaCoin)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.CoinAbelian (CompactForm Coin)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.CoinGroup (CompactForm Coin)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.CoinHasZero (CompactForm Coin)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.CoinToPlutusData (CompactForm Coin)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.ToPlutusDatatype Rep (CompactForm Coin) = D1 ('MetaDataDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Coin"CompactForm"
"Cardano.Ledger.Coin"
"cardano-ledger-core-1.21.0.0-DuROMhaY1WE6VC1bQ2U9IK"
'True) (C1 ('MetaCons"CompactCoin"
'PrefixI 'True) (S1 ('MetaSel ('Just"unCompactCoin"
) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word64)))data CompactForm CoinDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Coindata CompactForm DeltaCoinDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Coin