shelley-spec-ledger-0.1.0.0
Safe HaskellNone
LanguageHaskell98

Cardano.Ledger.Compactible

Contents

Synopsis

Compactible

class Compactible a where Source #

Associated Types

data CompactForm a ∷ Type Source #

Instances

Instances details
Compactible Coin Source # 
Instance details

Defined in Shelley.Spec.Ledger.Coin

Associated Types

data CompactForm Coin Source #

newtype Compact a Source #

Constructors

Compact 

Fields

Instances

Instances details
(Typeable a, Compactible a, ToCBOR (CompactForm a)) ⇒ ToCBOR (Compact a) Source # 
Instance details

Defined in Cardano.Ledger.Compactible

Methods

toCBORCompact a → Encoding Source #

encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (Compact a) → Size Source #

encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [Compact a] → Size Source #

(Typeable a, Compactible a, FromCBOR (CompactForm a)) ⇒ FromCBOR (Compact a) Source # 
Instance details

Defined in Cardano.Ledger.Compactible

Methods

fromCBORDecoder s (Compact a) Source #

labelProxy (Compact a) → Text Source #