Documentation

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 (CTreeRoot MonoReferenced) 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 (CTreeRoot MonoReferenced) Source #