Safe Haskell	Safe-Inferred
Language	Haskell2010

Cardano.Chain.Block.Proof

Synopsis

data Proof = Proof {
- proofUTxO ∷ !TxProof
- proofSsc ∷ !SscProof
- proofDelegation ∷ !(Hash Payload)
- proofUpdate ∷ !Proof
}
data ProofValidationError
mkProof ∷ Body → Proof
recoverProof ∷ ABody ByteString → Proof

Documentation

data Proof Source #

Proof of everything contained in the payload

Constructors

Proof
Fields proofUTxO ∷ !TxProof proofSsc ∷ !SscProof proofDelegation ∷ !(Hash Payload) proofUpdate ∷ !Proof

Instances

Instances details

ToJSON Proof Source #
Instance details Defined in Cardano.Chain.Block.Proof Methods toJSON ∷ Proof → Value Source # toEncoding ∷ Proof → Encoding Source # toJSONList ∷ [Proof] → Value Source # toEncodingList ∷ [Proof] → Encoding Source # omitField ∷ Proof → Bool Source #
Generic Proof Source #
Instance details Defined in Cardano.Chain.Block.Proof Associated Types type Rep Proof ∷ Type → Type Source # Methods from ∷ Proof → Rep Proof x Source # to ∷ Rep Proof x → Proof Source #
Show Proof Source #
Instance details Defined in Cardano.Chain.Block.Proof Methods showsPrec ∷ Int → Proof → ShowS Source # show ∷ Proof → String Source # showList ∷ [Proof] → ShowS Source #
FromCBOR Proof Source #
Instance details Defined in Cardano.Chain.Block.Proof Methods fromCBOR ∷ Decoder s Proof Source # label ∷ Proxy Proof → Text Source #
ToCBOR Proof Source #
Instance details Defined in Cardano.Chain.Block.Proof Methods toCBOR ∷ Proof → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy Proof → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [Proof] → Size Source #
DecCBOR Proof Source #
Instance details Defined in Cardano.Chain.Block.Proof Methods decCBOR ∷ Decoder s Proof Source # dropCBOR ∷ Proxy Proof → Decoder s () Source # label ∷ Proxy Proof → Text Source #
EncCBOR Proof Source #
Instance details Defined in Cardano.Chain.Block.Proof Methods encCBOR ∷ Proof → Encoding Source # encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy Proof → Size Source # encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [Proof] → Size Source #
NFData Proof Source #
Instance details Defined in Cardano.Chain.Block.Proof Methods rnf ∷ Proof → () Source #
Buildable Proof Source #
Instance details Defined in Cardano.Chain.Block.Proof Methods build ∷ Proof → Builder Source #
Eq Proof Source #
Instance details Defined in Cardano.Chain.Block.Proof Methods (==) ∷ Proof → Proof → Bool Source # (/=) ∷ Proof → Proof → Bool Source #
NoThunks Proof Source #
Instance details Defined in Cardano.Chain.Block.Proof Methods noThunks ∷ Context → Proof → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → Proof → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy Proof → String Source #
type Rep Proof Source #
Instance details Defined in Cardano.Chain.Block.Proof type Rep Proof = D1 ('MetaData "Proof" "Cardano.Chain.Block.Proof" "cardano-ledger-byron-1.0.1.0-inplace" 'False) (C1 ('MetaCons "Proof" 'PrefixI 'True) ((S1 ('MetaSel ('Just "proofUTxO") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 TxProof) :: S1 ('MetaSel ('Just "proofSsc") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 SscProof)) :: (S1 ('MetaSel ('Just "proofDelegation") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Hash Payload)) :*: S1 ('MetaSel ('Just "proofUpdate") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Proof))))

data ProofValidationError Source #

Error which can result from attempting to validate an invalid payload proof.

Constructors

DelegationProofValidationError	The delegation payload proof did not match
UTxOProofValidationError	The UTxO payload proof did not match
UpdateProofValidationError	The update payload proof did not match

Instances

Instances details

Show ProofValidationError Source #
Instance details Defined in Cardano.Chain.Block.Proof Methods showsPrec ∷ Int → ProofValidationError → ShowS Source # show ∷ ProofValidationError → String Source # showList ∷ [ProofValidationError] → ShowS Source #
Eq ProofValidationError Source #
Instance details Defined in Cardano.Chain.Block.Proof Methods (==) ∷ ProofValidationError → ProofValidationError → Bool Source # (/=) ∷ ProofValidationError → ProofValidationError → Bool Source #

mkProof ∷ Body → Proof Source #

recoverProof ∷ ABody ByteString → Proof Source #