cardano-ledger-core-1.22.0.0: Core components of Cardano ledgers from the Shelley release on.

Safe Haskell	None
Language	Haskell2010

Cardano.Ledger.Compactible

Contents

Compactible

Synopsis

class (Show (CompactForm a), Eq (CompactForm a), Ord (CompactForm a), EncCBOR (CompactForm a), NoThunks (CompactForm a)) ⇒ Compactible a where
- data CompactForm a
- toCompact ∷ a → Maybe (CompactForm a)
- fromCompact ∷ CompactForm a → a
partialCompactFL ∷ ∀ (f ∷ Type → Type) c. (Functor f, Compactible c, HasCallStack) ⇒ Lens' (f (CompactForm c)) (f c)
toCompactPartial ∷ (HasCallStack, Compactible a) ⇒ a → CompactForm a

Compactible

class (Show (CompactForm a), Eq (CompactForm a), Ord (CompactForm a), EncCBOR (CompactForm a), NoThunks (CompactForm a)) ⇒ Compactible a where Source #

Associated Types

data CompactForm a Source #

Methods

toCompact ∷ a → Maybe (CompactForm a) Source #

fromCompact ∷ CompactForm a → a Source #

Instances

Instances details

Compactible Coin Source #

Instance details

Defined in Cardano.Ledger.Coin

Associated Types

newtype CompactForm Coin
Instance details Defined in Cardano.Ledger.Coin newtype CompactForm Coin = CompactCoin { unCompactCoin ∷ Word64 }

Methods

toCompact ∷ Coin → Maybe (CompactForm Coin) Source #

fromCompact ∷ CompactForm Coin → Coin Source #

Compactible DeltaCoin Source #

Instance details

Defined in Cardano.Ledger.Coin

Associated Types

newtype CompactForm DeltaCoin
Instance details Defined in Cardano.Ledger.Coin newtype CompactForm DeltaCoin = CompactDeltaCoin Word64

Methods

toCompact ∷ DeltaCoin → Maybe (CompactForm DeltaCoin) Source #

fromCompact ∷ CompactForm DeltaCoin → DeltaCoin Source #

partialCompactFL ∷ ∀ (f ∷ Type → Type) c. (Functor f, Compactible c, HasCallStack) ⇒ Lens' (f (CompactForm c)) (f c) Source #

toCompactPartial ∷ (HasCallStack, Compactible a) ⇒ a → CompactForm a Source #