| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Cardano.Ledger.Compactible
Contents
Synopsis
- class (Show (CompactForm a), Eq (CompactForm a), EncCBOR (CompactForm a), NoThunks (CompactForm a)) ⇒ Compactible a where
- data CompactForm a ∷ Type
- toCompact ∷ a → Maybe (CompactForm a)
- fromCompact ∷ CompactForm a → a
Compactible
class (Show (CompactForm a), Eq (CompactForm a), EncCBOR (CompactForm a), NoThunks (CompactForm a)) ⇒ Compactible a where Source #
Associated Types
data CompactForm a ∷ Type Source #
Instances
| Compactible Coin Source # | |
Defined in Cardano.Ledger.Coin Associated Types data CompactForm Coin Source # | |
| Compactible DeltaCoin Source # | |
Defined in Cardano.Ledger.Coin Associated Types data CompactForm DeltaCoin Source # | |