Documentation

genCanonicalCertificate ∷ ProtocolMagicId → Gen Certificate Source #

genCertificate ∷ ProtocolMagicId → Gen Certificate Source #

genCanonicalCertificateDistinctList ∷ ProtocolMagicId → Gen [Certificate] Source #

genCertificateDistinctList ∷ ProtocolMagicId → Gen [Certificate] Source #

genError ∷ Gen Error Source #

genPayload ∷ ProtocolMagicId → Gen Payload Source #