Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
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 #