Documentation

cddlBlockSpec ∷ ∀ era c (bh ∷ Type → Type) (bhbody ∷ Type → Type). (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 ∷ Type → Type) (bhbody ∷ Type → Type). (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 ∷ Type → Type) (bhbody ∷ Type → Type). (Era era, AtLeastEra "Babbage" 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 ∷ Type → Type) (bhbody ∷ Type → Type). (Era era, AtLeastEra "Babbage" 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 #