Cardano.Chain.Block · cardano-ledger-byron-1.3.0.0

Functor ABlockDefined in cardano-ledger-byron-1.3.0.0 · Cardano.Chain.Block.Block
Eq a => Eq (ABlock a)Defined in cardano-ledger-byron-1.3.0.0 · Cardano.Chain.Block.Block
Show a => Show (ABlock a)Defined in cardano-ledger-byron-1.3.0.0 · Cardano.Chain.Block.Block
Generic (ABlock a)Defined in cardano-ledger-byron-1.3.0.0 · Cardano.Chain.Block.Block
NFData a => NFData (ABlock a)Defined in cardano-ledger-byron-1.3.0.0 · Cardano.Chain.Block.Block
ToJSON a => ToJSON (ABlock a)Defined in cardano-ledger-byron-1.3.0.0 · Cardano.Chain.Block.Block
Buildable (WithEpochSlots Block)Defined in cardano-ledger-byron-1.3.0.0 · Cardano.Chain.Block.Block
type Rep (ABlock a) = D1 ('MetaData "ABlock" "Cardano.Chain.Block.Block" "cardano-ledger-byron-1.3.0.0-JpzuZ8LnhDz8ZWDSdGVXlU" 'False) (C1 ('MetaCons "ABlock" 'PrefixI 'True) (S1 ('MetaSel ('Just "blockHeader") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (AHeader a)) :*: (S1 ('MetaSel ('Just "blockBody") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (ABody a)) :*: S1 ('MetaSel ('Just "blockAnnotation") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a))))Defined in cardano-ledger-byron-1.3.0.0 · Cardano.Chain.Block.Block

datadata ABlockOrBoundary a

#

Instances6Functor, Eq, Show, Generic, ToJSON, Rep

Functor ABlockOrBoundaryDefined in cardano-ledger-byron-1.3.0.0 · Cardano.Chain.Block.Block
Eq a => Eq (ABlockOrBoundary a)Defined in cardano-ledger-byron-1.3.0.0 · Cardano.Chain.Block.Block
Show a => Show (ABlockOrBoundary a)Defined in cardano-ledger-byron-1.3.0.0 · Cardano.Chain.Block.Block
Generic (ABlockOrBoundary a)Defined in cardano-ledger-byron-1.3.0.0 · Cardano.Chain.Block.Block
ToJSON a => ToJSON (ABlockOrBoundary a)Defined in cardano-ledger-byron-1.3.0.0 · Cardano.Chain.Block.Block
type Rep (ABlockOrBoundary a) = D1 ('MetaData "ABlockOrBoundary" "Cardano.Chain.Block.Block" "cardano-ledger-byron-1.3.0.0-JpzuZ8LnhDz8ZWDSdGVXlU" 'False) (C1 ('MetaCons "ABOBBlock" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (ABlock a))) :+: C1 ('MetaCons "ABOBBoundary" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (ABoundaryBlock a))))Defined in cardano-ledger-byron-1.3.0.0 · Cardano.Chain.Block.Block

datadata ABlockOrBoundaryHdr a

#

Constructors

ABOBBlockHdr !(AHeader a)
ABOBBoundaryHdr !(ABoundaryHeader a)

Instances6Functor, Eq, Show, Generic, NoThunks, Rep

Functor ABlockOrBoundaryHdrDefined in cardano-ledger-byron-1.3.0.0 · Cardano.Chain.Block.Block
Eq a => Eq (ABlockOrBoundaryHdr a)Defined in cardano-ledger-byron-1.3.0.0 · Cardano.Chain.Block.Block
Show a => Show (ABlockOrBoundaryHdr a)Defined in cardano-ledger-byron-1.3.0.0 · Cardano.Chain.Block.Block
Generic (ABlockOrBoundaryHdr a)Defined in cardano-ledger-byron-1.3.0.0 · Cardano.Chain.Block.Block
NoThunks a => NoThunks (ABlockOrBoundaryHdr a)Defined in cardano-ledger-byron-1.3.0.0 · Cardano.Chain.Block.Block
type Rep (ABlockOrBoundaryHdr a) = D1 ('MetaData "ABlockOrBoundaryHdr" "Cardano.Chain.Block.Block" "cardano-ledger-byron-1.3.0.0-JpzuZ8LnhDz8ZWDSdGVXlU" 'False) (C1 ('MetaCons "ABOBBlockHdr" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (AHeader a))) :+: C1 ('MetaCons "ABOBBoundaryHdr" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (ABoundaryHeader a))))Defined in cardano-ledger-byron-1.3.0.0 · Cardano.Chain.Block.Block

datadata ABoundaryBlock a

#

Constructors

ABoundaryBlock
- boundaryBlockLength :: !Int64
- boundaryHeader :: !ABoundaryHeader a
- boundaryBody :: !ABoundaryBody a
- boundaryAnnotation :: !a

Instances9Functor, Eq, Show, Generic, ToJSON, Buildable, …

Functor ABoundaryBlockDefined in cardano-ledger-byron-1.3.0.0 · Cardano.Chain.Block.Block
Eq a => Eq (ABoundaryBlock a)Defined in cardano-ledger-byron-1.3.0.0 · Cardano.Chain.Block.Block
Show a => Show (ABoundaryBlock a)Defined in cardano-ledger-byron-1.3.0.0 · Cardano.Chain.Block.Block
Generic (ABoundaryBlock a)Defined in cardano-ledger-byron-1.3.0.0 · Cardano.Chain.Block.Block
ToJSON a => ToJSON (ABoundaryBlock a)Defined in cardano-ledger-byron-1.3.0.0 · Cardano.Chain.Block.Block
Buildable (ABoundaryBlock a)Defined in cardano-ledger-byron-1.3.0.0 · Cardano.Chain.Block.Block
Decoded (ABoundaryBlock ByteString)Defined in cardano-ledger-byron-1.3.0.0 · Cardano.Chain.Block.Block
type Rep (ABoundaryBlock a) = D1 ('MetaData "ABoundaryBlock" "Cardano.Chain.Block.Block" "cardano-ledger-byron-1.3.0.0-JpzuZ8LnhDz8ZWDSdGVXlU" 'False) (C1 ('MetaCons "ABoundaryBlock" 'PrefixI 'True) ((S1 ('MetaSel ('Just "boundaryBlockLength") 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 Int64) :*: S1 ('MetaSel ('Just "boundaryHeader") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (ABoundaryHeader a))) :*: (S1 ('MetaSel ('Just "boundaryBody") 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 (ABoundaryBody a)) :*: S1 ('MetaSel ('Just "boundaryAnnotation") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 a))))Defined in cardano-ledger-byron-1.3.0.0 · Cardano.Chain.Block.Block
type BaseType (ABoundaryBlock ByteString) = ABoundaryBlock ()Defined in cardano-ledger-byron-1.3.0.0 · Cardano.Chain.Block.Block

datadata ABoundaryBody a

#

Constructors

ABoundaryBody
- boundaryBodyAnnotation :: !a

Instances8Functor, Eq, Show, Generic, ToJSON, Decoded, …

Functor ABoundaryBodyDefined in cardano-ledger-byron-1.3.0.0 · Cardano.Chain.Block.Block
Eq a => Eq (ABoundaryBody a)Defined in cardano-ledger-byron-1.3.0.0 · Cardano.Chain.Block.Block
Show a => Show (ABoundaryBody a)Defined in cardano-ledger-byron-1.3.0.0 · Cardano.Chain.Block.Block
Generic (ABoundaryBody a)Defined in cardano-ledger-byron-1.3.0.0 · Cardano.Chain.Block.Block
ToJSON a => ToJSON (ABoundaryBody a)Defined in cardano-ledger-byron-1.3.0.0 · Cardano.Chain.Block.Block
Decoded (ABoundaryBody ByteString)Defined in cardano-ledger-byron-1.3.0.0 · Cardano.Chain.Block.Block
type Rep (ABoundaryBody a) = D1 ('MetaData "ABoundaryBody" "Cardano.Chain.Block.Block" "cardano-ledger-byron-1.3.0.0-JpzuZ8LnhDz8ZWDSdGVXlU" 'False) (C1 ('MetaCons "ABoundaryBody" 'PrefixI 'True) (S1 ('MetaSel ('Just "boundaryBodyAnnotation") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 a)))Defined in cardano-ledger-byron-1.3.0.0 · Cardano.Chain.Block.Block
type BaseType (ABoundaryBody ByteString) = ABoundaryBody ()Defined in cardano-ledger-byron-1.3.0.0 · Cardano.Chain.Block.Block

typetype Block = ABlock ()

#

datadata ABody a

#

Constructors

ABody
- bodyTxPayload :: !ATxPayload a
- bodySscPayload :: !SscPayload
- bodyDlgPayload :: !APayload a
- bodyUpdatePayload :: !APayload a

Instances13Functor, ToCBOR, EncCBOR, Eq, Show, Generic, …

Functor ABodyDefined in cardano-ledger-byron-1.3.0.0 · Cardano.Chain.Block.Body
FromCBOR BodyDefined in cardano-ledger-byron-1.3.0.0 · Cardano.Chain.Block.Body
ToCBOR BodyDefined in cardano-ledger-byron-1.3.0.0 · Cardano.Chain.Block.Body
DecCBOR BodyDefined in cardano-ledger-byron-1.3.0.0 · Cardano.Chain.Block.Body
EncCBOR BodyDefined in cardano-ledger-byron-1.3.0.0 · Cardano.Chain.Block.Body
Eq a => Eq (ABody a)Defined in cardano-ledger-byron-1.3.0.0 · Cardano.Chain.Block.Body
Show a => Show (ABody a)Defined in cardano-ledger-byron-1.3.0.0 · Cardano.Chain.Block.Body
Generic (ABody a)Defined in cardano-ledger-byron-1.3.0.0 · Cardano.Chain.Block.Body
NFData a => NFData (ABody a)Defined in cardano-ledger-byron-1.3.0.0 · Cardano.Chain.Block.Body
ToJSON a => ToJSON (ABody a)Defined in cardano-ledger-byron-1.3.0.0 · Cardano.Chain.Block.Body
FromCBOR (ABody ByteSpan)Defined in cardano-ledger-byron-1.3.0.0 · Cardano.Chain.Block.Body
DecCBOR (ABody ByteSpan)Defined in cardano-ledger-byron-1.3.0.0 · Cardano.Chain.Block.Body
type Rep (ABody a) = D1 ('MetaData "ABody" "Cardano.Chain.Block.Body" "cardano-ledger-byron-1.3.0.0-JpzuZ8LnhDz8ZWDSdGVXlU" 'False) (C1 ('MetaCons "ABody" 'PrefixI 'True) ((S1 ('MetaSel ('Just "bodyTxPayload") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (ATxPayload a)) :*: S1 ('MetaSel ('Just "bodySscPayload") 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 SscPayload)) :*: (S1 ('MetaSel ('Just "bodyDlgPayload") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (APayload a)) :*: S1 ('MetaSel ('Just "bodyUpdatePayload") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (APayload a)))))Defined in cardano-ledger-byron-1.3.0.0 · Cardano.Chain.Block.Body

typetype Body = ABody ()

#

datadata ABlockSignature a

#

Constructors

ABlockSignature
- delegationCertificate :: !ACertificate a
- signature :: !Signature ToSign

Instances15Functor, Buildable, ToCBOR, EncCBOR, Eq, Show, …

Functor ABlockSignatureDefined in cardano-ledger-byron-1.3.0.0 · Cardano.Chain.Block.Header
Buildable BlockSignatureDefined in cardano-ledger-byron-1.3.0.0 · Cardano.Chain.Block.Header
FromCBOR BlockSignatureDefined in cardano-ledger-byron-1.3.0.0 · Cardano.Chain.Block.Header
ToCBOR BlockSignatureDefined in cardano-ledger-byron-1.3.0.0 · Cardano.Chain.Block.Header
DecCBOR BlockSignatureDefined in cardano-ledger-byron-1.3.0.0 · Cardano.Chain.Block.Header
EncCBOR BlockSignatureDefined in cardano-ledger-byron-1.3.0.0 · Cardano.Chain.Block.Header
Eq a => Eq (ABlockSignature a)Defined in cardano-ledger-byron-1.3.0.0 · Cardano.Chain.Block.Header
Show a => Show (ABlockSignature a)Defined in cardano-ledger-byron-1.3.0.0 · Cardano.Chain.Block.Header
Generic (ABlockSignature a)Defined in cardano-ledger-byron-1.3.0.0 · Cardano.Chain.Block.Header
NFData a => NFData (ABlockSignature a)Defined in cardano-ledger-byron-1.3.0.0 · Cardano.Chain.Block.Header
ToJSON a => ToJSON (ABlockSignature a)Defined in cardano-ledger-byron-1.3.0.0 · Cardano.Chain.Block.Header
NoThunks a => NoThunks (ABlockSignature a)Defined in cardano-ledger-byron-1.3.0.0 · Cardano.Chain.Block.Header
FromCBOR (ABlockSignature ByteSpan)Defined in cardano-ledger-byron-1.3.0.0 · Cardano.Chain.Block.Header
DecCBOR (ABlockSignature ByteSpan)Defined in cardano-ledger-byron-1.3.0.0 · Cardano.Chain.Block.Header
type Rep (ABlockSignature a) = D1 ('MetaData "ABlockSignature" "Cardano.Chain.Block.Header" "cardano-ledger-byron-1.3.0.0-JpzuZ8LnhDz8ZWDSdGVXlU" 'False) (C1 ('MetaCons "ABlockSignature" 'PrefixI 'True) (S1 ('MetaSel ('Just "delegationCertificate") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (ACertificate a)) :*: S1 ('MetaSel ('Just "signature") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Signature ToSign))))Defined in cardano-ledger-byron-1.3.0.0 · Cardano.Chain.Block.Header

datadata ABoundaryHeader a

#

Constructors

UnsafeABoundaryHeader
- boundaryPrevHash :: !Either GenesisHash HeaderHash
- boundaryEpoch :: !Word64
- boundaryDifficulty :: !ChainDifficulty
- boundaryHeaderAnnotation :: !a

Instances9Functor, Eq, Show, Generic, ToJSON, NoThunks, …

Functor ABoundaryHeaderDefined in cardano-ledger-byron-1.3.0.0 · Cardano.Chain.Block.Header
Eq a => Eq (ABoundaryHeader a)Defined in cardano-ledger-byron-1.3.0.0 · Cardano.Chain.Block.Header
Show a => Show (ABoundaryHeader a)Defined in cardano-ledger-byron-1.3.0.0 · Cardano.Chain.Block.Header
Generic (ABoundaryHeader a)Defined in cardano-ledger-byron-1.3.0.0 · Cardano.Chain.Block.Header
ToJSON a => ToJSON (ABoundaryHeader a)Defined in cardano-ledger-byron-1.3.0.0 · Cardano.Chain.Block.Header
NoThunks a => NoThunks (ABoundaryHeader a)Defined in cardano-ledger-byron-1.3.0.0 · Cardano.Chain.Block.Header
Decoded (ABoundaryHeader ByteString)Defined in cardano-ledger-byron-1.3.0.0 · Cardano.Chain.Block.Header
type Rep (ABoundaryHeader a) = D1 ('MetaData "ABoundaryHeader" "Cardano.Chain.Block.Header" "cardano-ledger-byron-1.3.0.0-JpzuZ8LnhDz8ZWDSdGVXlU" 'False) (C1 ('MetaCons "UnsafeABoundaryHeader" 'PrefixI 'True) ((S1 ('MetaSel ('Just "boundaryPrevHash") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Either GenesisHash HeaderHash)) :*: S1 ('MetaSel ('Just "boundaryEpoch") 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 Word64)) :*: (S1 ('MetaSel ('Just "boundaryDifficulty") 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 ChainDifficulty) :*: S1 ('MetaSel ('Just "boundaryHeaderAnnotation") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 a))))Defined in cardano-ledger-byron-1.3.0.0 · Cardano.Chain.Block.Header
type BaseType (ABoundaryHeader ByteString) = ABoundaryHeader ()Defined in cardano-ledger-byron-1.3.0.0 · Cardano.Chain.Block.Header

datadata AHeader a

#

Constructors

AHeader
- aHeaderProtocolMagicId :: !Annotated ProtocolMagicId a
- aHeaderPrevHash :: !Annotated HeaderHash a
- aHeaderSlot :: !Annotated SlotNumber a
- aHeaderDifficulty :: !Annotated ChainDifficulty a
- headerProtocolVersion :: !ProtocolVersion
- headerSoftwareVersion :: !SoftwareVersion
- aHeaderProof :: !Annotated Proof a
- headerGenesisKey :: !VerificationKey
- headerSignature :: !ABlockSignature a
- headerAnnotation :: !a
- headerExtraAnnotation :: !a

Instances11Functor, Eq, Show, Generic, NFData, ToJSON, …

Functor AHeaderDefined in cardano-ledger-byron-1.3.0.0 · Cardano.Chain.Block.Header
Eq a => Eq (AHeader a)Defined in cardano-ledger-byron-1.3.0.0 · Cardano.Chain.Block.Header
Show a => Show (AHeader a)Defined in cardano-ledger-byron-1.3.0.0 · Cardano.Chain.Block.Header
Generic (AHeader a)Defined in cardano-ledger-byron-1.3.0.0 · Cardano.Chain.Block.Header
NFData a => NFData (AHeader a)Defined in cardano-ledger-byron-1.3.0.0 · Cardano.Chain.Block.Header
ToJSON a => ToJSON (AHeader a)Defined in cardano-ledger-byron-1.3.0.0 · Cardano.Chain.Block.Header
NoThunks a => NoThunks (AHeader a)Defined in cardano-ledger-byron-1.3.0.0 · Cardano.Chain.Block.Header
Buildable (WithEpochSlots Header)Defined in cardano-ledger-byron-1.3.0.0 · Cardano.Chain.Block.Header
Decoded (AHeader ByteString)Defined in cardano-ledger-byron-1.3.0.0 · Cardano.Chain.Block.Header
type Rep (AHeader a) = D1 ('MetaData "AHeader" "Cardano.Chain.Block.Header" "cardano-ledger-byron-1.3.0.0-JpzuZ8LnhDz8ZWDSdGVXlU" 'False) (C1 ('MetaCons "AHeader" 'PrefixI 'True) (((S1 ('MetaSel ('Just "aHeaderProtocolMagicId") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Annotated ProtocolMagicId a)) :*: S1 ('MetaSel ('Just "aHeaderPrevHash") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Annotated HeaderHash a))) :*: (S1 ('MetaSel ('Just "aHeaderSlot") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Annotated SlotNumber a)) :*: (S1 ('MetaSel ('Just "aHeaderDifficulty") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Annotated ChainDifficulty a)) :*: S1 ('MetaSel ('Just "headerProtocolVersion") 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 ProtocolVersion)))) :*: ((S1 ('MetaSel ('Just "headerSoftwareVersion") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 SoftwareVersion) :*: (S1 ('MetaSel ('Just "aHeaderProof") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Annotated Proof a)) :*: S1 ('MetaSel ('Just "headerGenesisKey") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 VerificationKey))) :*: (S1 ('MetaSel ('Just "headerSignature") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (ABlockSignature a)) :*: (S1 ('MetaSel ('Just "headerAnnotation") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 a) :*: S1 ('MetaSel ('Just "headerExtraAnnotation") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 a))))))Defined in cardano-ledger-byron-1.3.0.0 · Cardano.Chain.Block.Header
type BaseType (AHeader ByteString) = HeaderDefined in cardano-ledger-byron-1.3.0.0 · Cardano.Chain.Block.Header

typetype BlockSignature = ABlockSignature ()

#

typetype Header = AHeader ()

#

typetype HeaderHash = Hash Header

#

datadata ToSign

#

Constructors

ToSign
- tsHeaderHash :: !HeaderHash
- tsBodyProof :: !Proof
- tsSlot :: !EpochAndSlotCount
- tsDifficulty :: !ChainDifficulty
- tsProtocolVersion :: !ProtocolVersion
- tsSoftwareVersion :: !SoftwareVersion

Instances8Eq, Show, Generic, FromCBOR, ToCBOR, DecCBOR, …

Eq ToSignDefined in cardano-ledger-byron-1.3.0.0 · Cardano.Chain.Block.Header
Show ToSignDefined in cardano-ledger-byron-1.3.0.0 · Cardano.Chain.Block.Header
Generic ToSignDefined in cardano-ledger-byron-1.3.0.0 · Cardano.Chain.Block.Header
FromCBOR ToSignDefined in cardano-ledger-byron-1.3.0.0 · Cardano.Chain.Block.Header
ToCBOR ToSignDefined in cardano-ledger-byron-1.3.0.0 · Cardano.Chain.Block.Header
DecCBOR ToSignDefined in cardano-ledger-byron-1.3.0.0 · Cardano.Chain.Block.Header
EncCBOR ToSignDefined in cardano-ledger-byron-1.3.0.0 · Cardano.Chain.Block.Header
type Rep ToSign = D1 ('MetaData "ToSign" "Cardano.Chain.Block.Header" "cardano-ledger-byron-1.3.0.0-JpzuZ8LnhDz8ZWDSdGVXlU" 'False) (C1 ('MetaCons "ToSign" 'PrefixI 'True) ((S1 ('MetaSel ('Just "tsHeaderHash") 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 HeaderHash) :*: (S1 ('MetaSel ('Just "tsBodyProof") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Proof) :*: S1 ('MetaSel ('Just "tsSlot") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 EpochAndSlotCount))) :*: (S1 ('MetaSel ('Just "tsDifficulty") 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 ChainDifficulty) :*: (S1 ('MetaSel ('Just "tsProtocolVersion") 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 ProtocolVersion) :*: S1 ('MetaSel ('Just "tsSoftwareVersion") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 SoftwareVersion)))))Defined in cardano-ledger-byron-1.3.0.0 · Cardano.Chain.Block.Header

datadata Proof

#

Constructors

Proof
- proofUTxO :: !TxProof
- proofSsc :: !SscProof
- proofDelegation :: !Hash Payload
- proofUpdate :: !Proof

Instances12Eq, Show, Generic, NFData, ToJSON, NoThunks, …

Eq ProofDefined in cardano-ledger-byron-1.3.0.0 · Cardano.Chain.Block.Proof
Show ProofDefined in cardano-ledger-byron-1.3.0.0 · Cardano.Chain.Block.Proof
Generic ProofDefined in cardano-ledger-byron-1.3.0.0 · Cardano.Chain.Block.Proof
NFData ProofDefined in cardano-ledger-byron-1.3.0.0 · Cardano.Chain.Block.Proof
ToJSON ProofDefined in cardano-ledger-byron-1.3.0.0 · Cardano.Chain.Block.Proof
NoThunks ProofDefined in cardano-ledger-byron-1.3.0.0 · Cardano.Chain.Block.Proof
Buildable ProofDefined in cardano-ledger-byron-1.3.0.0 · Cardano.Chain.Block.Proof
FromCBOR ProofDefined in cardano-ledger-byron-1.3.0.0 · Cardano.Chain.Block.Proof
ToCBOR ProofDefined in cardano-ledger-byron-1.3.0.0 · Cardano.Chain.Block.Proof
DecCBOR ProofDefined in cardano-ledger-byron-1.3.0.0 · Cardano.Chain.Block.Proof
EncCBOR ProofDefined in cardano-ledger-byron-1.3.0.0 · Cardano.Chain.Block.Proof
type Rep Proof = D1 ('MetaData "Proof" "Cardano.Chain.Block.Proof" "cardano-ledger-byron-1.3.0.0-JpzuZ8LnhDz8ZWDSdGVXlU" 'False) (C1 ('MetaCons "Proof" 'PrefixI 'True) ((S1 ('MetaSel ('Just "proofUTxO") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 TxProof) :*: S1 ('MetaSel ('Just "proofSsc") 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 SscProof)) :*: (S1 ('MetaSel ('Just "proofDelegation") 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 (Hash Payload)) :*: S1 ('MetaSel ('Just "proofUpdate") 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 Proof))))Defined in cardano-ledger-byron-1.3.0.0 · Cardano.Chain.Block.Proof

datadata ProofValidationError

#

DelegationProofValidationError UTxOProofValidationError UpdateProofValidationError

Instances2Eq, Show

Eq ProofValidationErrorDefined in cardano-ledger-byron-1.3.0.0 · Cardano.Chain.Block.Proof
Show ProofValidationErrorDefined in cardano-ledger-byron-1.3.0.0 · Cardano.Chain.Block.Proof

datadata BodyEnvironment

#

Constructors

BodyEnvironment
- protocolMagic :: !AProtocolMagic ByteString
- utxoConfiguration :: !UTxOConfiguration
- k :: !BlockCount
- allowedDelegators :: !Set KeyHash
- protocolParameters :: !ProtocolParameters
- currentEpoch :: !EpochNumber

datadata BodyState

#

Constructors

BodyState
- utxo :: !UTxO
- updateState :: !State
- delegationState :: !State

datadata ChainValidationError

#

Constructors

ChainValidationBoundaryTooLarge
ChainValidationBlockAttributesTooLarge
ChainValidationBlockTooLarge Natural Natural
ChainValidationHeaderAttributesTooLarge
ChainValidationHeaderTooLarge Natural Natural
ChainValidationDelegationPayloadError Text
ChainValidationInvalidDelegation VerificationKey VerificationKey
ChainValidationGenesisHashMismatch GenesisHash GenesisHash
ChainValidationExpectedGenesisHash GenesisHash HeaderHash
ChainValidationExpectedHeaderHash HeaderHash GenesisHash
ChainValidationInvalidHash HeaderHash HeaderHash
ChainValidationMissingHash HeaderHash
ChainValidationUnexpectedGenesisHash HeaderHash
ChainValidationInvalidSignature BlockSignature
ChainValidationDelegationSchedulingError Error
ChainValidationProtocolMagicMismatch ProtocolMagicId ProtocolMagicId
ChainValidationSignatureLight
ChainValidationTooManyDelegations VerificationKey
ChainValidationUpdateError SlotNumber Error
ChainValidationUTxOValidationError UTxOValidationError
ChainValidationProofValidationError ProofValidationError

Instances2Eq, Show

Eq ChainValidationErrorDefined in cardano-ledger-byron-1.3.0.0 · Cardano.Chain.Block.Validation
Show ChainValidationErrorDefined in cardano-ledger-byron-1.3.0.0 · Cardano.Chain.Block.Validation

datadata ChainValidationState

#

Constructors

ChainValidationState
- cvsLastSlot :: !SlotNumber
- cvsPreviousHash :: !Either GenesisHash HeaderHash
- cvsUtxo :: !UTxO
- cvsUpdateState :: !State
- cvsDelegationState :: !State

Instances10Eq, Show, Generic, NFData, NoThunks, FromCBOR, …

Eq ChainValidationStateDefined in cardano-ledger-byron-1.3.0.0 · Cardano.Chain.Block.Validation
Show ChainValidationStateDefined in cardano-ledger-byron-1.3.0.0 · Cardano.Chain.Block.Validation
Generic ChainValidationStateDefined in cardano-ledger-byron-1.3.0.0 · Cardano.Chain.Block.Validation
NFData ChainValidationStateDefined in cardano-ledger-byron-1.3.0.0 · Cardano.Chain.Block.Validation
NoThunks ChainValidationStateDefined in cardano-ledger-byron-1.3.0.0 · Cardano.Chain.Block.Validation
FromCBOR ChainValidationStateDefined in cardano-ledger-byron-1.3.0.0 · Cardano.Chain.Block.Validation
ToCBOR ChainValidationStateDefined in cardano-ledger-byron-1.3.0.0 · Cardano.Chain.Block.Validation
DecCBOR ChainValidationStateDefined in cardano-ledger-byron-1.3.0.0 · Cardano.Chain.Block.Validation
EncCBOR ChainValidationStateDefined in cardano-ledger-byron-1.3.0.0 · Cardano.Chain.Block.Validation
type Rep ChainValidationState = D1 ('MetaData "ChainValidationState" "Cardano.Chain.Block.Validation" "cardano-ledger-byron-1.3.0.0-JpzuZ8LnhDz8ZWDSdGVXlU" 'False) (C1 ('MetaCons "ChainValidationState" 'PrefixI 'True) ((S1 ('MetaSel ('Just "cvsLastSlot") 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 SlotNumber) :*: S1 ('MetaSel ('Just "cvsPreviousHash") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Either GenesisHash HeaderHash))) :*: (S1 ('MetaSel ('Just "cvsUtxo") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 UTxO) :*: (S1 ('MetaSel ('Just "cvsUpdateState") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 State) :*: S1 ('MetaSel ('Just "cvsDelegationState") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 State)))))Defined in cardano-ledger-byron-1.3.0.0 · Cardano.Chain.Block.Validation

datadata EpochEnvironment

#

Constructors

EpochEnvironment
- protocolMagic :: !Annotated ProtocolMagicId ByteString
- k :: !BlockCount
- allowedDelegators :: !Set KeyHash
- delegationMap :: !Map
- currentEpoch :: !EpochNumber

newtypenewtype HeapSize a

#

Constructors

HeapSize
- unHeapSize :: Int

Instances2Show, Buildable

Show (HeapSize a)Defined in cardano-ledger-byron-1.3.0.0 · Cardano.Chain.Block.Validation
Buildable (HeapSize a)Defined in cardano-ledger-byron-1.3.0.0 · Cardano.Chain.Block.Validation

newtypenewtype UTxOSize

#

Constructors

UTxOSize
- unUTxOSize :: Int

Instances2Show, Buildable

Show UTxOSizeDefined in cardano-ledger-byron-1.3.0.0 · Cardano.Chain.Block.Validation
Buildable UTxOSizeDefined in cardano-ledger-byron-1.3.0.0 · Cardano.Chain.Block.Validation

datadata BlockValidationMode

#

BlockValidation NoBlockValidation

Instances2Eq, Show

Eq BlockValidationModeDefined in cardano-ledger-byron-1.3.0.0 · Cardano.Chain.Block.ValidationMode
Show BlockValidationModeDefined in cardano-ledger-byron-1.3.0.0 · Cardano.Chain.Block.ValidationMode

valueadoptedProtocolParameters :: State -> ProtocolParameters

#