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
- partialCompactFL ∷ (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), 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 # |
partialCompactFL ∷ (Functor f, Compactible c, HasCallStack) ⇒ Lens' (f (CompactForm c)) (f c) Source #
toCompactPartial ∷ (HasCallStack, Compactible a) ⇒ a → CompactForm a Source #