cardano-ledger-binary-1.6.0.0: Binary serialization library used throughout ledger
Safe HaskellSafe-Inferred
LanguageHaskell2010

Cardano.Ledger.Binary.Group

Documentation

newtype CBORGroup a Source #

Constructors

CBORGroup 

Fields

Instances

Instances details
Show a ⇒ Show (CBORGroup a) Source # 
Instance details

Defined in Cardano.Ledger.Binary.Group

Methods

showsPrec ∷ Int → CBORGroup a → ShowS #

show ∷ CBORGroup a → String #

showList ∷ [CBORGroup a] → ShowS #

(DecCBORGroup a, EncCBORGroup a) ⇒ DecCBOR (CBORGroup a) Source # 
Instance details

Defined in Cardano.Ledger.Binary.Group

Methods

decCBOR ∷ Decoder s (CBORGroup a) Source #

dropCBOR ∷ Proxy (CBORGroup a) → Decoder s () Source #

label ∷ Proxy (CBORGroup a) → Text Source #

EncCBORGroup a ⇒ EncCBOR (CBORGroup a) Source # 
Instance details

Defined in Cardano.Ledger.Binary.Group

Methods

encCBOR ∷ CBORGroup a → Encoding Source #

encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy (CBORGroup a) → Size Source #

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

Eq a ⇒ Eq (CBORGroup a) Source # 
Instance details

Defined in Cardano.Ledger.Binary.Group

Methods

(==) ∷ CBORGroup a → CBORGroup a → Bool #

(/=) ∷ CBORGroup a → CBORGroup a → Bool #

groupRecord ∷ ∀ a s. (EncCBORGroup a, DecCBORGroup a) ⇒ Decoder s a Source #

class Typeable a ⇒ EncCBORGroup a where Source #

Methods

encCBORGroup ∷ a → Encoding Source #

encodedGroupSizeExpr ∷ (∀ x. EncCBOR x ⇒ Proxy x → Size) → Proxy a → Size Source #

listLen ∷ a → Word Source #

listLenBound ∷ Proxy a → Word Source #

an upper bound for listLen, used in Size expressions.

Instances

Instances details
EncCBOR a ⇒ EncCBORGroup (a, a) Source # 
Instance details

Defined in Cardano.Ledger.Binary.Group

Methods

encCBORGroup ∷ (a, a) → Encoding Source #

encodedGroupSizeExpr ∷ (∀ x. EncCBOR x ⇒ Proxy x → Size) → Proxy (a, a) → Size Source #

listLen ∷ (a, a) → Word Source #

listLenBound ∷ Proxy (a, a) → Word Source #

listLenInt ∷ EncCBORGroup a ⇒ a → Int Source #

class Typeable a ⇒ DecCBORGroup a where Source #

Methods

decCBORGroup ∷ Decoder s a Source #

Instances

Instances details
DecCBOR a ⇒ DecCBORGroup (a, a) Source # 
Instance details

Defined in Cardano.Ledger.Binary.Group

Methods

decCBORGroup ∷ Decoder s (a, a) Source #