Modulecardano-ledger-byron-1.3.0.0

Cardano.Chain.Block

Synopsis

value aBlockOrBoundaryHdr
value abobHdrChainDifficulty
value abobHdrFromBlock
value abobHdrHash
value abobHdrPrevHash
value abobHdrSlotNo
value blockAProtocolMagicId
value blockDifficulty
value blockDlgPayload
value blockGenesisKey
value blockHash
value blockHashAnnotated
value blockIssuer
value blockLength
value blockPrevHash
value blockProof
value blockProtocolMagicId
value blockProtocolVersion
value blockSignature
value blockSlot
value blockSoftwareVersion
value blockSscPayload
value blockToSign
value blockTxPayload
value blockUpdatePayload
value boundaryBlockSlot
value boundaryHashAnnotated
value decCBORABOBBlock
value decCBORABlock
value decCBORABlockOrBoundary
value decCBORABlockOrBoundaryHdr
value decCBORABoundaryBlock
value encCBORABOBBlock
value encCBORABOBBoundary
value encCBORABlockOrBoundary
value encCBORABlockOrBoundaryHdr
value encCBORABlockOrBoundaryHdrSize
value encCBORABoundaryBlock
value encCBORBlock
value mkBlock
value mkBlockExplicit
value renderBlock
pattern Body
value bodyTxs
value bodyWitnesses
value decCBORBoundaryConsensusData
value dropBoundaryBody
value dropBoundaryExtraBodyData
value dropBoundaryExtraHeaderData
value dropBoundaryExtraHeaderDataRetainGenesisTag
value boundaryHeaderHashAnnotated
value decCBORABoundaryHeader
value decCBORAHeader
value decCBORHeader
value decCBORHeaderToHash
value encCBORABoundaryHeader
value encCBORABoundaryHeaderSize
value encCBORBlockVersions
value encCBORBlockVersionsSize
value encCBORHeader
value encCBORHeaderSize
value encCBORHeaderToHash
value genesisHeaderHash
value hashHeader
value headerDifficulty
value headerHashAnnotated
value headerHashF
value headerIssuer
value headerLength
value headerPrevHash
value headerProof
value headerProtocolMagicId
value headerSlot
value headerToSign
value mkABoundaryHeader
value mkHeader
value mkHeaderExplicit
value recoverSignedBytes
value renderHeader
value wrapBoundaryBytes
value wrapHeaderBytes
value mkProof
value recoverProof
value calcUTxOSize
value epochTransition
value foldUTxO
value foldUTxOBlock
value headerIsValid
value initialChainValidationState
value updateBlock
value updateBody
value updateChainBlockOrBoundary
value updateChainBoundary
value validateHeaderMatchesBody
value toTxValidationMode
data ABlock
data ABlockOrBoundary
data ABlockOrBoundaryHdr
data ABoundaryBlock
data ABoundaryBody
type Block
data ABody
type Body
data ABlockSignature
data ABoundaryHeader
data AHeader
type BlockSignature
type Header
type HeaderHash
data ToSign
data Proof
data ProofValidationError
data BodyEnvironment
data BodyState
data ChainValidationError
data ChainValidationState
data EpochEnvironment
newtype HeapSize
newtype UTxOSize
data BlockValidationMode
value adoptedProtocolParameters

Packagecardano-ledger-byron-1.3.0.0
Exports121
LicenceApache-2.0

valueaBlockOrBoundaryHdr

:: AHeader a -> b
-> ABoundaryHeader a -> b
-> ABlockOrBoundaryHdr a
-> b

valueabobHdrChainDifficulty :: ABlockOrBoundaryHdr a -> ChainDifficulty

valueabobHdrFromBlock :: ABlockOrBoundary a -> ABlockOrBoundaryHdr a

valueabobHdrHash :: ABlockOrBoundaryHdr ByteString -> HeaderHash

valueabobHdrPrevHash :: ABlockOrBoundaryHdr a -> Maybe HeaderHash

valueabobHdrSlotNo :: EpochSlots -> ABlockOrBoundaryHdr a -> SlotNumber

valueblockAProtocolMagicId :: ABlock a -> Annotated ProtocolMagicId a

valueblockDifficulty :: ABlock a -> ChainDifficulty

valueblockDlgPayload :: ABlock a -> APayload a

valueblockGenesisKey :: ABlock a -> VerificationKey

valueblockHash :: EpochSlots -> Block -> HeaderHash

valueblockHashAnnotated :: ABlock ByteString -> HeaderHash

valueblockIssuer :: ABlock a -> VerificationKey

valueblockLength :: ABlock ByteString -> Natural

valueblockPrevHash :: ABlock a -> HeaderHash

valueblockProof :: ABlock a -> Proof

valueblockProtocolMagicId :: ABlock a -> ProtocolMagicId

valueblockProtocolVersion :: ABlock a -> ProtocolVersion

valueblockSignature :: ABlock a -> ABlockSignature a

valueblockSlot :: ABlock a -> SlotNumber

valueblockSoftwareVersion :: ABlock a -> SoftwareVersion

valueblockSscPayload :: ABlock a -> SscPayload

valueblockToSign :: EpochSlots -> ABlock a -> ToSign

valueblockTxPayload :: ABlock a -> ATxPayload a

valueblockUpdatePayload :: ABlock a -> APayload a

valueboundaryBlockSlot :: EpochSlots -> Word64 -> SlotNumber

valueboundaryHashAnnotated :: ABoundaryBlock ByteString -> HeaderHash

valuedecCBORABOBBlock :: EpochSlots -> Decoder s (Maybe Block)

valuedecCBORABlock :: EpochSlots -> Decoder s (ABlock ByteSpan)

valuedecCBORABlockOrBoundary

:: EpochSlots
-> Decoder s (ABlockOrBoundary ByteSpan)

valuedecCBORABlockOrBoundaryHdr

:: EpochSlots
-> Decoder s (ABlockOrBoundaryHdr ByteSpan)

valuedecCBORABoundaryBlock :: Decoder s (ABoundaryBlock ByteSpan)

valueencCBORABOBBlock :: EpochSlots -> ABlock a -> Encoding

valueencCBORABOBBoundary :: ProtocolMagicId -> ABoundaryBlock a -> Encoding

valueencCBORABlockOrBoundary

valueencCBORABlockOrBoundaryHdr :: ABlockOrBoundaryHdr ByteString -> Encoding

valueencCBORABlockOrBoundaryHdrSize :: Proxy (ABlockOrBoundaryHdr a) -> Size

valueencCBORABoundaryBlock :: ProtocolMagicId -> ABoundaryBlock a -> Encoding

valueencCBORBlock :: EpochSlots -> Block -> Encoding

valuemkBlock

valuemkBlockExplicit

valuerenderBlock :: EpochSlots -> Block -> Builder

patternpattern Body :: TxPayload -> SscPayload -> Payload -> Payload -> Body

valuebodyTxs :: Body -> [Tx]

valuebodyWitnesses :: Body -> [TxWitness]

valuedecCBORBoundaryConsensusData :: Decoder s (Word64, ChainDifficulty)

valuedropBoundaryBody :: Dropper s

valuedropBoundaryExtraBodyData :: Dropper s

valuedropBoundaryExtraHeaderData :: Dropper s

valuedropBoundaryExtraHeaderDataRetainGenesisTag :: Decoder s Bool

valueboundaryHeaderHashAnnotated :: ABoundaryHeader ByteString -> HeaderHash

valuedecCBORABoundaryHeader :: Decoder s (ABoundaryHeader ByteSpan)

valuedecCBORAHeader :: EpochSlots -> Decoder s (AHeader ByteSpan)

valuedecCBORHeader :: EpochSlots -> Decoder s Header

valuedecCBORHeaderToHash :: EpochSlots -> Decoder s (Maybe Header)

valueencCBORABoundaryHeader :: ProtocolMagicId -> ABoundaryHeader a -> Encoding

valueencCBORABoundaryHeaderSize

valueencCBORBlockVersions :: ProtocolVersion -> SoftwareVersion -> Encoding

valueencCBORBlockVersionsSize

valueencCBORHeader :: EpochSlots -> Header -> Encoding

valueencCBORHeaderSize :: Proxy EpochSlots -> Proxy (AHeader a) -> Size

valueencCBORHeaderToHash :: EpochSlots -> Header -> Encoding

valuegenesisHeaderHash :: GenesisHash -> HeaderHash

valuehashHeader :: EpochSlots -> Header -> HeaderHash

valueheaderDifficulty :: AHeader a -> ChainDifficulty

valueheaderHashAnnotated :: AHeader ByteString -> HeaderHash

valueheaderHashF :: Format r (HeaderHash -> r)

valueheaderIssuer :: AHeader a -> VerificationKey

valueheaderLength :: AHeader ByteString -> Natural

valueheaderPrevHash :: AHeader a -> HeaderHash

valueheaderProof :: AHeader a -> Proof

valueheaderProtocolMagicId :: AHeader a -> ProtocolMagicId

valueheaderSlot :: AHeader a -> SlotNumber

valueheaderToSign :: EpochSlots -> AHeader a -> ToSign

valuemkABoundaryHeader

valuemkHeader

valuemkHeaderExplicit

valuerecoverSignedBytes

valuerenderHeader :: EpochSlots -> Header -> Builder

valuewrapBoundaryBytes :: ByteString -> ByteString

valuewrapHeaderBytes :: ByteString -> ByteString

valuemkProof :: Body -> Proof

valuerecoverProof :: ABody ByteString -> Proof

valuecalcUTxOSize :: UTxO -> (HeapSize UTxO, UTxOSize)

valueepochTransition :: EpochEnvironment -> State -> SlotNumber -> State

valuefoldUTxO

:: Environment
-> UTxO
-> Stream (Of (ABlock ByteString)) (ExceptT ParseError ResIO) ()
-> ExceptT Error (ReaderT ValidationMode ResIO) UTxO

valuefoldUTxOBlock

:: Environment
-> UTxO
-> ABlock ByteString
-> ExceptT Error (ReaderT ValidationMode ResIO) UTxO

valueheaderIsValid

:: (MonadError ChainValidationError m, MonadReader ValidationMode m)
=> State
-> AHeader ByteString
-> m ()

valueinitialChainValidationState

valueupdateBlock

:: (MonadError ChainValidationError m, MonadReader ValidationMode m)
=> Config
-> ChainValidationState
-> ABlock ByteString
-> m ChainValidationState

valueupdateBody

:: (MonadError ChainValidationError m, MonadReader ValidationMode m)
=> BodyEnvironment
-> BodyState
-> ABlock ByteString
-> m BodyState

valueupdateChainBlockOrBoundary

:: (MonadError ChainValidationError m, MonadReader ValidationMode m)
=> Config
-> ChainValidationState
-> ABlockOrBoundary ByteString
-> m ChainValidationState

valueupdateChainBoundary

:: MonadError ChainValidationError m
=> ChainValidationState
-> ABoundaryBlock ByteString
-> m ChainValidationState

valuevalidateHeaderMatchesBody

valuetoTxValidationMode :: BlockValidationMode -> TxValidationMode

datadata ABlock a

Constructors

ABlock
- blockHeader :: AHeader a
- blockBody :: ABody a
- blockAnnotation :: a

Instances8Functor, Eq, Show, Generic, NFData, ToJSON, …

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-Gy7VzYOGz7iA1hFDY8oXjs" '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-Gy7VzYOGz7iA1hFDY8oXjs" '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-Gy7VzYOGz7iA1hFDY8oXjs" '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-Gy7VzYOGz7iA1hFDY8oXjs" '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-Gy7VzYOGz7iA1hFDY8oXjs" '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-Gy7VzYOGz7iA1hFDY8oXjs" '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-Gy7VzYOGz7iA1hFDY8oXjs" '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-Gy7VzYOGz7iA1hFDY8oXjs" '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-Gy7VzYOGz7iA1hFDY8oXjs" '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 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-Gy7VzYOGz7iA1hFDY8oXjs" '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-Gy7VzYOGz7iA1hFDY8oXjs" '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-Gy7VzYOGz7iA1hFDY8oXjs" '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