| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Cardano.Ledger.Compactible
Contents
Synopsis
-
class
(
Show
(
CompactForm
a),
Eq
(
CompactForm
a),
ToCBOR
(
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), ToCBOR ( CompactForm a)) => Compactible a where Source #
Associated Types
data CompactForm a :: Type Source #
Methods
toCompact :: a -> Maybe ( CompactForm a) Source #
fromCompact :: CompactForm a -> a Source #
Instances
| Compactible DeltaCoin Source # | |
|
Defined in Cardano.Ledger.Coin Associated Types data CompactForm DeltaCoin Source # |
|
| Compactible Coin Source # | |
|
Defined in Cardano.Ledger.Coin Associated Types data CompactForm Coin Source # Methods toCompact :: Coin -> Maybe ( CompactForm Coin ) Source # fromCompact :: CompactForm Coin -> Coin Source # |
|