ouroboros-consensus-cardano-0.12.1.0: The instantation of the Ouroboros consensus layer used by Cardano
Safe HaskellNone
LanguageHaskell2010

Ouroboros.Consensus.ByronSpec.Ledger.Block

Contents

Synopsis

Documentation

data family BlockConfig blk #

Instances

Instances details
Generic (BlockConfig ByronSpecBlock) Source # 
Instance details

Defined in Ouroboros.Consensus.ByronSpec.Ledger.Block

Associated Types

type Rep (BlockConfig ByronSpecBlock) :: Type -> Type Source #

Methods

from :: BlockConfig ByronSpecBlock -> Rep (BlockConfig ByronSpecBlock) x Source #

to :: Rep (BlockConfig ByronSpecBlock) x -> BlockConfig ByronSpecBlock Source #

NoThunks (BlockConfig ByronSpecBlock) 
Instance details

Defined in Ouroboros.Consensus.ByronSpec.Ledger.Block

Methods

noThunks :: Context -> BlockConfig ByronSpecBlock -> IO (Maybe ThunkInfo)

wNoThunks :: Context -> BlockConfig ByronSpecBlock -> IO (Maybe ThunkInfo)

showTypeOf :: Proxy (BlockConfig ByronSpecBlock) -> String

data BlockConfig ByronSpecBlock Source # 
Instance details

Defined in Ouroboros.Consensus.ByronSpec.Ledger.Block

data BlockConfig ByronSpecBlock = ByronSpecBlockConfig
type Rep (BlockConfig ByronSpecBlock) Source # 
Instance details

Defined in Ouroboros.Consensus.ByronSpec.Ledger.Block

type Rep (BlockConfig ByronSpecBlock) = D1 ('MetaData "BlockConfig" "Ouroboros.Consensus.ByronSpec.Ledger.Block" "ouroboros-consensus-cardano-0.12.1.0-KACBrYFmMp37TTIWGQmkTD-unstable-byronspec" 'False) (C1 ('MetaCons "ByronSpecBlockConfig" 'PrefixI 'False) (U1 :: Type -> Type))

data ByronSpecBlock Source #

Block according to the Byron spec

Just like we do for ByronBlock, we cache the header hash. In addition, we also add the BlockNo, as this is entirely absent from the spec but we need it for the HasHeader abstraction, which is ubiquitous in ouroboros-consensus and -network.

Constructors

ByronSpecBlock 

Fields

Instances

Instances details
Eq ByronSpecBlock Source # 
Instance details

Defined in Ouroboros.Consensus.ByronSpec.Ledger.Block

Methods

(==) :: ByronSpecBlock -> ByronSpecBlock -> Bool Source #

(/=) :: ByronSpecBlock -> ByronSpecBlock -> Bool Source #

Show ByronSpecBlock Source # 
Instance details

Defined in Ouroboros.Consensus.ByronSpec.Ledger.Block

Methods

showsPrec :: Int -> ByronSpecBlock -> ShowS Source #

show :: ByronSpecBlock -> String Source #

showList :: [ByronSpecBlock] -> ShowS Source #

Generic ByronSpecBlock Source # 
Instance details

Defined in Ouroboros.Consensus.ByronSpec.Ledger.Block

Associated Types

type Rep ByronSpecBlock :: Type -> Type Source #

Methods

from :: ByronSpecBlock -> Rep ByronSpecBlock x Source #

to :: Rep ByronSpecBlock x -> ByronSpecBlock Source #

Serialise ByronSpecBlock Source # 
Instance details

Defined in Ouroboros.Consensus.ByronSpec.Ledger.Block

Methods

encode :: ByronSpecBlock -> Encoding

decode :: Decoder s ByronSpecBlock

encodeList :: [ByronSpecBlock] -> Encoding

decodeList :: Decoder s [ByronSpecBlock]

GetHeader ByronSpecBlock Source # 
Instance details

Defined in Ouroboros.Consensus.ByronSpec.Ledger.Block

Methods

getHeader :: ByronSpecBlock -> Header ByronSpecBlock

blockMatchesHeader :: Header ByronSpecBlock -> ByronSpecBlock -> Bool

headerIsEBB :: Header ByronSpecBlock -> Maybe EpochNo

GetPrevHash ByronSpecBlock Source # 
Instance details

Defined in Ouroboros.Consensus.ByronSpec.Ledger.Block

Methods

headerPrevHash :: Header ByronSpecBlock -> ChainHash ByronSpecBlock

HasHeader ByronSpecHeader Source # 
Instance details

Defined in Ouroboros.Consensus.ByronSpec.Ledger.Block

Methods

getHeaderFields :: ByronSpecHeader -> HeaderFields ByronSpecHeader

HasHeader ByronSpecBlock Source # 
Instance details

Defined in Ouroboros.Consensus.ByronSpec.Ledger.Block

Methods

getHeaderFields :: ByronSpecBlock -> HeaderFields ByronSpecBlock

UpdateLedger ByronSpecBlock 
Instance details

Defined in Ouroboros.Consensus.ByronSpec.Ledger.Ledger

CommonProtocolParams ByronSpecBlock 
Instance details

Defined in Ouroboros.Consensus.ByronSpec.Ledger.Ledger

Methods

maxHeaderSize :: LedgerState ByronSpecBlock -> Word32

maxTxSize :: LedgerState ByronSpecBlock -> Word32

LedgerSupportsMempool ByronSpecBlock 
Instance details

Defined in Ouroboros.Consensus.ByronSpec.Ledger.Mempool

Methods

txInvariant :: GenTx ByronSpecBlock -> Bool

applyTx :: LedgerConfig ByronSpecBlock -> WhetherToIntervene -> SlotNo -> GenTx ByronSpecBlock -> TickedLedgerState ByronSpecBlock -> Except (ApplyTxErr ByronSpecBlock) (TickedLedgerState ByronSpecBlock, Validated (GenTx ByronSpecBlock))

reapplyTx :: LedgerConfig ByronSpecBlock -> SlotNo -> Validated (GenTx ByronSpecBlock) -> TickedLedgerState ByronSpecBlock -> Except (ApplyTxErr ByronSpecBlock) (TickedLedgerState ByronSpecBlock)

txsMaxBytes :: TickedLedgerState ByronSpecBlock -> Word32

txInBlockSize :: GenTx ByronSpecBlock -> Word32

txForgetValidated :: Validated (GenTx ByronSpecBlock) -> GenTx ByronSpecBlock

Eq (Header ByronSpecBlock) Source # 
Instance details

Defined in Ouroboros.Consensus.ByronSpec.Ledger.Block

Methods

(==) :: Header ByronSpecBlock -> Header ByronSpecBlock -> Bool Source #

(/=) :: Header ByronSpecBlock -> Header ByronSpecBlock -> Bool Source #

Eq (LedgerState ByronSpecBlock) Source # 
Instance details

Defined in Ouroboros.Consensus.ByronSpec.Ledger.Ledger

Methods

(==) :: LedgerState ByronSpecBlock -> LedgerState ByronSpecBlock -> Bool Source #

(/=) :: LedgerState ByronSpecBlock -> LedgerState ByronSpecBlock -> Bool Source #

Eq (Ticked (LedgerState ByronSpecBlock)) Source # 
Instance details

Defined in Ouroboros.Consensus.ByronSpec.Ledger.Ledger

Methods

(==) :: Ticked (LedgerState ByronSpecBlock) -> Ticked (LedgerState ByronSpecBlock) -> Bool Source #

(/=) :: Ticked (LedgerState ByronSpecBlock) -> Ticked (LedgerState ByronSpecBlock) -> Bool Source #

Show (Header ByronSpecBlock) Source # 
Instance details

Defined in Ouroboros.Consensus.ByronSpec.Ledger.Block

Methods

showsPrec :: Int -> Header ByronSpecBlock -> ShowS Source #

show :: Header ByronSpecBlock -> String Source #

showList :: [Header ByronSpecBlock] -> ShowS Source #

Show (LedgerState ByronSpecBlock) Source # 
Instance details

Defined in Ouroboros.Consensus.ByronSpec.Ledger.Ledger

Methods

showsPrec :: Int -> LedgerState ByronSpecBlock -> ShowS Source #

show :: LedgerState ByronSpecBlock -> String Source #

showList :: [LedgerState ByronSpecBlock] -> ShowS Source #

Show (Ticked (LedgerState ByronSpecBlock)) Source # 
Instance details

Defined in Ouroboros.Consensus.ByronSpec.Ledger.Ledger

Methods

showsPrec :: Int -> Ticked (LedgerState ByronSpecBlock) -> ShowS Source #

show :: Ticked (LedgerState ByronSpecBlock) -> String Source #

showList :: [Ticked (LedgerState ByronSpecBlock)] -> ShowS Source #

Show (Validated (GenTx ByronSpecBlock)) Source # 
Instance details

Defined in Ouroboros.Consensus.ByronSpec.Ledger.Mempool

Methods

showsPrec :: Int -> Validated (GenTx ByronSpecBlock) -> ShowS Source #

show :: Validated (GenTx ByronSpecBlock) -> String Source #

showList :: [Validated (GenTx ByronSpecBlock)] -> ShowS Source #

Show (GenTx ByronSpecBlock) Source # 
Instance details

Defined in Ouroboros.Consensus.ByronSpec.Ledger.Mempool

Methods

showsPrec :: Int -> GenTx ByronSpecBlock -> ShowS Source #

show :: GenTx ByronSpecBlock -> String Source #

showList :: [GenTx ByronSpecBlock] -> ShowS Source #

Generic (BlockConfig ByronSpecBlock) Source # 
Instance details

Defined in Ouroboros.Consensus.ByronSpec.Ledger.Block

Associated Types

type Rep (BlockConfig ByronSpecBlock) :: Type -> Type Source #

Methods

from :: BlockConfig ByronSpecBlock -> Rep (BlockConfig ByronSpecBlock) x Source #

to :: Rep (BlockConfig ByronSpecBlock) x -> BlockConfig ByronSpecBlock Source #

Generic (CodecConfig ByronSpecBlock) Source # 
Instance details

Defined in Ouroboros.Consensus.ByronSpec.Ledger.Block

Associated Types

type Rep (CodecConfig ByronSpecBlock) :: Type -> Type Source #

Methods

from :: CodecConfig ByronSpecBlock -> Rep (CodecConfig ByronSpecBlock) x Source #

to :: Rep (CodecConfig ByronSpecBlock) x -> CodecConfig ByronSpecBlock Source #

Generic (Header ByronSpecBlock) Source # 
Instance details

Defined in Ouroboros.Consensus.ByronSpec.Ledger.Block

Associated Types

type Rep (Header ByronSpecBlock) :: Type -> Type Source #

Methods

from :: Header ByronSpecBlock -> Rep (Header ByronSpecBlock) x Source #

to :: Rep (Header ByronSpecBlock) x -> Header ByronSpecBlock Source #

Generic (StorageConfig ByronSpecBlock) Source # 
Instance details

Defined in Ouroboros.Consensus.ByronSpec.Ledger.Block

Associated Types

type Rep (StorageConfig ByronSpecBlock) :: Type -> Type Source #

Methods

from :: StorageConfig ByronSpecBlock -> Rep (StorageConfig ByronSpecBlock) x Source #

to :: Rep (StorageConfig ByronSpecBlock) x -> StorageConfig ByronSpecBlock Source #

Generic (LedgerState ByronSpecBlock) Source # 
Instance details

Defined in Ouroboros.Consensus.ByronSpec.Ledger.Ledger

Associated Types

type Rep (LedgerState ByronSpecBlock) :: Type -> Type Source #

Methods

from :: LedgerState ByronSpecBlock -> Rep (LedgerState ByronSpecBlock) x Source #

to :: Rep (LedgerState ByronSpecBlock) x -> LedgerState ByronSpecBlock Source #

Generic (Validated (GenTx ByronSpecBlock)) Source # 
Instance details

Defined in Ouroboros.Consensus.ByronSpec.Ledger.Mempool

Associated Types

type Rep (Validated (GenTx ByronSpecBlock)) :: Type -> Type Source #

Methods

from :: Validated (GenTx ByronSpecBlock) -> Rep (Validated (GenTx ByronSpecBlock)) x Source #

to :: Rep (Validated (GenTx ByronSpecBlock)) x -> Validated (GenTx ByronSpecBlock) Source #

Generic (GenTx ByronSpecBlock) Source # 
Instance details

Defined in Ouroboros.Consensus.ByronSpec.Ledger.Mempool

Associated Types

type Rep (GenTx ByronSpecBlock) :: Type -> Type Source #

Methods

from :: GenTx ByronSpecBlock -> Rep (GenTx ByronSpecBlock) x Source #

to :: Rep (GenTx ByronSpecBlock) x -> GenTx ByronSpecBlock Source #

NoThunks (BlockConfig ByronSpecBlock) Source # 
Instance details

Defined in Ouroboros.Consensus.ByronSpec.Ledger.Block

Methods

noThunks :: Context -> BlockConfig ByronSpecBlock -> IO (Maybe ThunkInfo)

wNoThunks :: Context -> BlockConfig ByronSpecBlock -> IO (Maybe ThunkInfo)

showTypeOf :: Proxy (BlockConfig ByronSpecBlock) -> String

NoThunks (CodecConfig ByronSpecBlock) Source # 
Instance details

Defined in Ouroboros.Consensus.ByronSpec.Ledger.Block

Methods

noThunks :: Context -> CodecConfig ByronSpecBlock -> IO (Maybe ThunkInfo)

wNoThunks :: Context -> CodecConfig ByronSpecBlock -> IO (Maybe ThunkInfo)

showTypeOf :: Proxy (CodecConfig ByronSpecBlock) -> String

NoThunks (StorageConfig ByronSpecBlock) Source # 
Instance details

Defined in Ouroboros.Consensus.ByronSpec.Ledger.Block

Methods

noThunks :: Context -> StorageConfig ByronSpecBlock -> IO (Maybe ThunkInfo)

wNoThunks :: Context -> StorageConfig ByronSpecBlock -> IO (Maybe ThunkInfo)

showTypeOf :: Proxy (StorageConfig ByronSpecBlock) -> String

NoThunks (LedgerState ByronSpecBlock) 
Instance details

Defined in Ouroboros.Consensus.ByronSpec.Ledger.Ledger

Methods

noThunks :: Context -> LedgerState ByronSpecBlock -> IO (Maybe ThunkInfo)

wNoThunks :: Context -> LedgerState ByronSpecBlock -> IO (Maybe ThunkInfo)

showTypeOf :: Proxy (LedgerState ByronSpecBlock) -> String

NoThunks (Ticked (LedgerState ByronSpecBlock)) 
Instance details

Defined in Ouroboros.Consensus.ByronSpec.Ledger.Ledger

Methods

noThunks :: Context -> Ticked (LedgerState ByronSpecBlock) -> IO (Maybe ThunkInfo)

wNoThunks :: Context -> Ticked (LedgerState ByronSpecBlock) -> IO (Maybe ThunkInfo)

showTypeOf :: Proxy (Ticked (LedgerState ByronSpecBlock)) -> String

NoThunks (Validated (GenTx ByronSpecBlock)) 
Instance details

Defined in Ouroboros.Consensus.ByronSpec.Ledger.Mempool

Methods

noThunks :: Context -> Validated (GenTx ByronSpecBlock) -> IO (Maybe ThunkInfo)

wNoThunks :: Context -> Validated (GenTx ByronSpecBlock) -> IO (Maybe ThunkInfo)

showTypeOf :: Proxy (Validated (GenTx ByronSpecBlock)) -> String

NoThunks (GenTx ByronSpecBlock) 
Instance details

Defined in Ouroboros.Consensus.ByronSpec.Ledger.Mempool

Methods

noThunks :: Context -> GenTx ByronSpecBlock -> IO (Maybe ThunkInfo)

wNoThunks :: Context -> GenTx ByronSpecBlock -> IO (Maybe ThunkInfo)

showTypeOf :: Proxy (GenTx ByronSpecBlock) -> String

Serialise (Header ByronSpecBlock) Source # 
Instance details

Defined in Ouroboros.Consensus.ByronSpec.Ledger.Block

Methods

encode :: Header ByronSpecBlock -> Encoding

decode :: Decoder s (Header ByronSpecBlock)

encodeList :: [Header ByronSpecBlock] -> Encoding

decodeList :: Decoder s [Header ByronSpecBlock]

Serialise (LedgerState ByronSpecBlock) 
Instance details

Defined in Ouroboros.Consensus.ByronSpec.Ledger.Ledger

Methods

encode :: LedgerState ByronSpecBlock -> Encoding

decode :: Decoder s (LedgerState ByronSpecBlock)

encodeList :: [LedgerState ByronSpecBlock] -> Encoding

decodeList :: Decoder s [LedgerState ByronSpecBlock]

Serialise (GenTx ByronSpecBlock) 
Instance details

Defined in Ouroboros.Consensus.ByronSpec.Ledger.Mempool

Methods

encode :: GenTx ByronSpecBlock -> Encoding

decode :: Decoder s (GenTx ByronSpecBlock)

encodeList :: [GenTx ByronSpecBlock] -> Encoding

decodeList :: Decoder s [GenTx ByronSpecBlock]

GetTip (LedgerState ByronSpecBlock) 
Instance details

Defined in Ouroboros.Consensus.ByronSpec.Ledger.Ledger

Methods

getTip :: LedgerState ByronSpecBlock -> Point (LedgerState ByronSpecBlock)

GetTip (Ticked (LedgerState ByronSpecBlock)) 
Instance details

Defined in Ouroboros.Consensus.ByronSpec.Ledger.Ledger

Methods

getTip :: Ticked (LedgerState ByronSpecBlock) -> Point (Ticked (LedgerState ByronSpecBlock))

IsLedger (LedgerState ByronSpecBlock) 
Instance details

Defined in Ouroboros.Consensus.ByronSpec.Ledger.Ledger

Associated Types

type LedgerErr (LedgerState ByronSpecBlock)

type AuxLedgerEvent (LedgerState ByronSpecBlock)

Methods

applyChainTickLedgerResult :: LedgerCfg (LedgerState ByronSpecBlock) -> SlotNo -> LedgerState ByronSpecBlock -> LedgerResult (LedgerState ByronSpecBlock) (Ticked (LedgerState ByronSpecBlock))

StandardHash ByronSpecBlock Source # 
Instance details

Defined in Ouroboros.Consensus.ByronSpec.Ledger.Block

ApplyBlock (LedgerState ByronSpecBlock) ByronSpecBlock 
Instance details

Defined in Ouroboros.Consensus.ByronSpec.Ledger.Ledger

Methods

applyBlockLedgerResult :: LedgerCfg (LedgerState ByronSpecBlock) -> ByronSpecBlock -> Ticked (LedgerState ByronSpecBlock) -> Except (LedgerErr (LedgerState ByronSpecBlock)) (LedgerResult (LedgerState ByronSpecBlock) (LedgerState ByronSpecBlock))

reapplyBlockLedgerResult :: LedgerCfg (LedgerState ByronSpecBlock) -> ByronSpecBlock -> Ticked (LedgerState ByronSpecBlock) -> LedgerResult (LedgerState ByronSpecBlock) (LedgerState ByronSpecBlock)

type Rep ByronSpecBlock Source # 
Instance details

Defined in Ouroboros.Consensus.ByronSpec.Ledger.Block

type Rep ByronSpecBlock = D1 ('MetaData "ByronSpecBlock" "Ouroboros.Consensus.ByronSpec.Ledger.Block" "ouroboros-consensus-cardano-0.12.1.0-KACBrYFmMp37TTIWGQmkTD-unstable-byronspec" 'False) (C1 ('MetaCons "ByronSpecBlock" 'PrefixI 'True) (S1 ('MetaSel ('Just "byronSpecBlock") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Block) :*: (S1 ('MetaSel ('Just "byronSpecBlockNo") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 BlockNo) :*: S1 ('MetaSel ('Just "byronSpecBlockHash") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Hash))))
data BlockConfig ByronSpecBlock Source # 
Instance details

Defined in Ouroboros.Consensus.ByronSpec.Ledger.Block

data BlockConfig ByronSpecBlock = ByronSpecBlockConfig
data CodecConfig ByronSpecBlock Source # 
Instance details

Defined in Ouroboros.Consensus.ByronSpec.Ledger.Block

data CodecConfig ByronSpecBlock = ByronSpecCodecConfig
data Header ByronSpecBlock Source # 
Instance details

Defined in Ouroboros.Consensus.ByronSpec.Ledger.Block

data Header ByronSpecBlock = ByronSpecHeader {}
data StorageConfig ByronSpecBlock Source # 
Instance details

Defined in Ouroboros.Consensus.ByronSpec.Ledger.Block

data StorageConfig ByronSpecBlock = ByronSpecStorageConfig
data LedgerState ByronSpecBlock Source # 
Instance details

Defined in Ouroboros.Consensus.ByronSpec.Ledger.Ledger

data LedgerState ByronSpecBlock = ByronSpecLedgerState {}
type ApplyTxErr ByronSpecBlock 
Instance details

Defined in Ouroboros.Consensus.ByronSpec.Ledger.Mempool

type ApplyTxErr ByronSpecBlock = ByronSpecGenTxErr
newtype GenTx ByronSpecBlock Source # 
Instance details

Defined in Ouroboros.Consensus.ByronSpec.Ledger.Mempool

newtype GenTx ByronSpecBlock = ByronSpecGenTx {}
type Rep (BlockConfig ByronSpecBlock) Source # 
Instance details

Defined in Ouroboros.Consensus.ByronSpec.Ledger.Block

type Rep (BlockConfig ByronSpecBlock) = D1 ('MetaData "BlockConfig" "Ouroboros.Consensus.ByronSpec.Ledger.Block" "ouroboros-consensus-cardano-0.12.1.0-KACBrYFmMp37TTIWGQmkTD-unstable-byronspec" 'False) (C1 ('MetaCons "ByronSpecBlockConfig" 'PrefixI 'False) (U1 :: Type -> Type))
type Rep (CodecConfig ByronSpecBlock) Source # 
Instance details

Defined in Ouroboros.Consensus.ByronSpec.Ledger.Block

type Rep (CodecConfig ByronSpecBlock) = D1 ('MetaData "CodecConfig" "Ouroboros.Consensus.ByronSpec.Ledger.Block" "ouroboros-consensus-cardano-0.12.1.0-KACBrYFmMp37TTIWGQmkTD-unstable-byronspec" 'False) (C1 ('MetaCons "ByronSpecCodecConfig" 'PrefixI 'False) (U1 :: Type -> Type))
type Rep (Header ByronSpecBlock) Source # 
Instance details

Defined in Ouroboros.Consensus.ByronSpec.Ledger.Block

type Rep (Header ByronSpecBlock) = D1 ('MetaData "Header" "Ouroboros.Consensus.ByronSpec.Ledger.Block" "ouroboros-consensus-cardano-0.12.1.0-KACBrYFmMp37TTIWGQmkTD-unstable-byronspec" 'False) (C1 ('MetaCons "ByronSpecHeader" 'PrefixI 'True) (S1 ('MetaSel ('Just "byronSpecHeader") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 BlockHeader) :*: (S1 ('MetaSel ('Just "byronSpecHeaderNo") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 BlockNo) :*: S1 ('MetaSel ('Just "byronSpecHeaderHash") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Hash))))
type Rep (StorageConfig ByronSpecBlock) Source # 
Instance details

Defined in Ouroboros.Consensus.ByronSpec.Ledger.Block

type Rep (StorageConfig ByronSpecBlock) = D1 ('MetaData "StorageConfig" "Ouroboros.Consensus.ByronSpec.Ledger.Block" "ouroboros-consensus-cardano-0.12.1.0-KACBrYFmMp37TTIWGQmkTD-unstable-byronspec" 'False) (C1 ('MetaCons "ByronSpecStorageConfig" 'PrefixI 'False) (U1 :: Type -> Type))
type Rep (LedgerState ByronSpecBlock) Source # 
Instance details

Defined in Ouroboros.Consensus.ByronSpec.Ledger.Ledger

type Rep (LedgerState ByronSpecBlock) = D1 ('MetaData "LedgerState" "Ouroboros.Consensus.ByronSpec.Ledger.Ledger" "ouroboros-consensus-cardano-0.12.1.0-KACBrYFmMp37TTIWGQmkTD-unstable-byronspec" 'False) (C1 ('MetaCons "ByronSpecLedgerState" 'PrefixI 'True) (S1 ('MetaSel ('Just "byronSpecLedgerTip") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe SlotNo)) :*: S1 ('MetaSel ('Just "byronSpecLedgerState") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (State CHAIN))))
type Rep (Validated (GenTx ByronSpecBlock)) Source # 
Instance details

Defined in Ouroboros.Consensus.ByronSpec.Ledger.Mempool

type Rep (Validated (GenTx ByronSpecBlock)) = D1 ('MetaData "Validated" "Ouroboros.Consensus.ByronSpec.Ledger.Mempool" "ouroboros-consensus-cardano-0.12.1.0-KACBrYFmMp37TTIWGQmkTD-unstable-byronspec" 'True) (C1 ('MetaCons "ValidatedByronSpecGenTx" 'PrefixI 'True) (S1 ('MetaSel ('Just "forgetValidatedByronSpecGenTx") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (GenTx ByronSpecBlock))))
type Rep (GenTx ByronSpecBlock) Source # 
Instance details

Defined in Ouroboros.Consensus.ByronSpec.Ledger.Mempool

type Rep (GenTx ByronSpecBlock) = D1 ('MetaData "GenTx" "Ouroboros.Consensus.ByronSpec.Ledger.Mempool" "ouroboros-consensus-cardano-0.12.1.0-KACBrYFmMp37TTIWGQmkTD-unstable-byronspec" 'True) (C1 ('MetaCons "ByronSpecGenTx" 'PrefixI 'True) (S1 ('MetaSel ('Just "unByronSpecGenTx") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ByronSpecGenTx)))
type AuxLedgerEvent (LedgerState ByronSpecBlock) 
Instance details

Defined in Ouroboros.Consensus.ByronSpec.Ledger.Ledger

type AuxLedgerEvent (LedgerState ByronSpecBlock) = VoidLedgerEvent (LedgerState ByronSpecBlock)
type LedgerErr (LedgerState ByronSpecBlock) 
Instance details

Defined in Ouroboros.Consensus.ByronSpec.Ledger.Ledger

type LedgerErr (LedgerState ByronSpecBlock) = ByronSpecLedgerError
type LedgerCfg (LedgerState ByronSpecBlock) 
Instance details

Defined in Ouroboros.Consensus.ByronSpec.Ledger.Ledger

type LedgerCfg (LedgerState ByronSpecBlock) = ByronSpecGenesis
data Ticked (LedgerState ByronSpecBlock) Source # 
Instance details

Defined in Ouroboros.Consensus.ByronSpec.Ledger.Ledger

data Ticked (LedgerState ByronSpecBlock) = TickedByronSpecLedgerState {}
newtype Validated (GenTx ByronSpecBlock) Source # 
Instance details

Defined in Ouroboros.Consensus.ByronSpec.Ledger.Mempool

newtype Validated (GenTx ByronSpecBlock) = ValidatedByronSpecGenTx {}
type HeaderHash ByronSpecBlock Source # 
Instance details

Defined in Ouroboros.Consensus.ByronSpec.Ledger.Block

type HeaderHash ByronSpecBlock = Hash

data family CodecConfig blk #

Instances

Instances details
Generic (CodecConfig ByronSpecBlock) Source # 
Instance details

Defined in Ouroboros.Consensus.ByronSpec.Ledger.Block

Associated Types

type Rep (CodecConfig ByronSpecBlock) :: Type -> Type Source #

Methods

from :: CodecConfig ByronSpecBlock -> Rep (CodecConfig ByronSpecBlock) x Source #

to :: Rep (CodecConfig ByronSpecBlock) x -> CodecConfig ByronSpecBlock Source #

NoThunks (CodecConfig ByronSpecBlock) 
Instance details

Defined in Ouroboros.Consensus.ByronSpec.Ledger.Block

Methods

noThunks :: Context -> CodecConfig ByronSpecBlock -> IO (Maybe ThunkInfo)

wNoThunks :: Context -> CodecConfig ByronSpecBlock -> IO (Maybe ThunkInfo)

showTypeOf :: Proxy (CodecConfig ByronSpecBlock) -> String

data CodecConfig ByronSpecBlock Source # 
Instance details

Defined in Ouroboros.Consensus.ByronSpec.Ledger.Block

data CodecConfig ByronSpecBlock = ByronSpecCodecConfig
type Rep (CodecConfig ByronSpecBlock) Source # 
Instance details

Defined in Ouroboros.Consensus.ByronSpec.Ledger.Block

type Rep (CodecConfig ByronSpecBlock) = D1 ('MetaData "CodecConfig" "Ouroboros.Consensus.ByronSpec.Ledger.Block" "ouroboros-consensus-cardano-0.12.1.0-KACBrYFmMp37TTIWGQmkTD-unstable-byronspec" 'False) (C1 ('MetaCons "ByronSpecCodecConfig" 'PrefixI 'False) (U1 :: Type -> Type))

data family Header blk #

Instances

Instances details
HasHeader ByronSpecHeader 
Instance details

Defined in Ouroboros.Consensus.ByronSpec.Ledger.Block

Methods

getHeaderFields :: ByronSpecHeader -> HeaderFields ByronSpecHeader

HasHeader blk => StandardHash (Header blk :: Type) 
Instance details

Defined in Ouroboros.Consensus.Block.Abstract

Eq (Header ByronSpecBlock) Source # 
Instance details

Defined in Ouroboros.Consensus.ByronSpec.Ledger.Block

Methods

(==) :: Header ByronSpecBlock -> Header ByronSpecBlock -> Bool Source #

(/=) :: Header ByronSpecBlock -> Header ByronSpecBlock -> Bool Source #

Show (Header ByronSpecBlock) Source # 
Instance details

Defined in Ouroboros.Consensus.ByronSpec.Ledger.Block

Methods

showsPrec :: Int -> Header ByronSpecBlock -> ShowS Source #

show :: Header ByronSpecBlock -> String Source #

showList :: [Header ByronSpecBlock] -> ShowS Source #

Generic (Header ByronSpecBlock) Source # 
Instance details

Defined in Ouroboros.Consensus.ByronSpec.Ledger.Block

Associated Types

type Rep (Header ByronSpecBlock) :: Type -> Type Source #

Methods

from :: Header ByronSpecBlock -> Rep (Header ByronSpecBlock) x Source #

to :: Rep (Header ByronSpecBlock) x -> Header ByronSpecBlock Source #

Serialise (Header ByronSpecBlock) 
Instance details

Defined in Ouroboros.Consensus.ByronSpec.Ledger.Block

Methods

encode :: Header ByronSpecBlock -> Encoding

decode :: Decoder s (Header ByronSpecBlock)

encodeList :: [Header ByronSpecBlock] -> Encoding

decodeList :: Decoder s [Header ByronSpecBlock]

data Header ByronSpecBlock Source # 
Instance details

Defined in Ouroboros.Consensus.ByronSpec.Ledger.Block

data Header ByronSpecBlock = ByronSpecHeader {}
type HeaderHash (Header blk :: Type) 
Instance details

Defined in Ouroboros.Consensus.Block.Abstract

type HeaderHash (Header blk :: Type) = HeaderHash blk
type Rep (Header ByronSpecBlock) Source # 
Instance details

Defined in Ouroboros.Consensus.ByronSpec.Ledger.Block

type Rep (Header ByronSpecBlock) = D1 ('MetaData "Header" "Ouroboros.Consensus.ByronSpec.Ledger.Block" "ouroboros-consensus-cardano-0.12.1.0-KACBrYFmMp37TTIWGQmkTD-unstable-byronspec" 'False) (C1 ('MetaCons "ByronSpecHeader" 'PrefixI 'True) (S1 ('MetaSel ('Just "byronSpecHeader") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 BlockHeader) :*: (S1 ('MetaSel ('Just "byronSpecHeaderNo") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 BlockNo) :*: S1 ('MetaSel ('Just "byronSpecHeaderHash") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Hash))))
type BlockProtocol (Header blk) 
Instance details

Defined in Ouroboros.Consensus.Block.Abstract

type BlockProtocol (Header blk) = BlockProtocol blk

data family StorageConfig blk #

Instances

Instances details
Generic (StorageConfig ByronSpecBlock) Source # 
Instance details

Defined in Ouroboros.Consensus.ByronSpec.Ledger.Block

Associated Types

type Rep (StorageConfig ByronSpecBlock) :: Type -> Type Source #

Methods

from :: StorageConfig ByronSpecBlock -> Rep (StorageConfig ByronSpecBlock) x Source #

to :: Rep (StorageConfig ByronSpecBlock) x -> StorageConfig ByronSpecBlock Source #

NoThunks (StorageConfig ByronSpecBlock) 
Instance details

Defined in Ouroboros.Consensus.ByronSpec.Ledger.Block

Methods

noThunks :: Context -> StorageConfig ByronSpecBlock -> IO (Maybe ThunkInfo)

wNoThunks :: Context -> StorageConfig ByronSpecBlock -> IO (Maybe ThunkInfo)

showTypeOf :: Proxy (StorageConfig ByronSpecBlock) -> String

data StorageConfig ByronSpecBlock Source # 
Instance details

Defined in Ouroboros.Consensus.ByronSpec.Ledger.Block

data StorageConfig ByronSpecBlock = ByronSpecStorageConfig
type Rep (StorageConfig ByronSpecBlock) Source # 
Instance details

Defined in Ouroboros.Consensus.ByronSpec.Ledger.Block

type Rep (StorageConfig ByronSpecBlock) = D1 ('MetaData "StorageConfig" "Ouroboros.Consensus.ByronSpec.Ledger.Block" "ouroboros-consensus-cardano-0.12.1.0-KACBrYFmMp37TTIWGQmkTD-unstable-byronspec" 'False) (C1 ('MetaCons "ByronSpecStorageConfig" 'PrefixI 'False) (U1 :: Type -> Type))

type alias

type ByronSpecHeader = Header ByronSpecBlock Source #