Safe Haskell	Safe-Inferred
Language	Haskell2010

Cardano.Chain.UTxO.TxProof

Synopsis

data TxProof = TxProof {
- txpNumber ∷ !Word32
- txpRoot ∷ !(MerkleRoot Tx)
- txpWitnessesHash ∷ !(Hash [TxWitness])
}
mkTxProof ∷ TxPayload → TxProof
recoverTxProof ∷ ATxPayload ByteString → TxProof

Documentation

data TxProof Source #

Constructors

TxProof
Fields txpNumber ∷ !Word32 txpRoot ∷ !(MerkleRoot Tx) txpWitnessesHash ∷ !(Hash [TxWitness])

Instances

Instances details

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

mkTxProof ∷ TxPayload → TxProof Source #

Construct TxProof which proves given TxPayload

This will construct a Merkle tree, which can be very expensive. Use with care.

recoverTxProof ∷ ATxPayload ByteString → TxProof Source #