cardano-protocol-tpraos-1.4.0.1: Cardano Protocol: Transitional Praos
Safe HaskellSafe-Inferred
LanguageHaskell2010

Test.Cardano.Protocol.Binary.Cddl

Documentation

cddlBlockSpec ∷ ∀ era c bh bhbody. (Era era, Eq (bh c), Show (bh c), DecCBOR (bh c), EncCBOR (bh c), DecCBOR (Annotator (bh c)), Eq (bhbody c), Show (bhbody c), DecCBOR (bhbody c), EncCBOR (bhbody c)) ⇒ SpecWith CddlData Source #

huddleBlockSpec ∷ ∀ era c bh bhbody. (Era era, Eq (bh c), Show (bh c), DecCBOR (bh c), EncCBOR (bh c), DecCBOR (Annotator (bh c)), Eq (bhbody c), Show (bhbody c), DecCBOR (bhbody c), EncCBOR (bhbody c)) ⇒ SpecWith CuddleData Source #

praosBlockCddlSpec ∷ ∀ era c bh bhbody. (Era era, AtLeastEra BabbageEra era, Eq (bh c), Show (bh c), DecCBOR (bh c), EncCBOR (bh c), DecCBOR (Annotator (bh c)), Eq (bhbody c), Show (bhbody c), DecCBOR (bhbody c), EncCBOR (bhbody c)) ⇒ SpecWith CddlData Source #

praosBlockHuddleSpec ∷ ∀ era c bh bhbody. (Era era, AtLeastEra BabbageEra era, Eq (bh c), Show (bh c), DecCBOR (bh c), EncCBOR (bh c), DecCBOR (Annotator (bh c)), Eq (bhbody c), Show (bhbody c), DecCBOR (bhbody c), EncCBOR (bhbody c)) ⇒ SpecWith CuddleData Source #