Safe Haskell	None
Language	Haskell2010

Ouroboros.Consensus.ByronSpec.Ledger

Synopsis

data family BlockConfig blk
data family CodecConfig blk
data family Header blk
data family StorageConfig blk
data family LedgerState blk
data family Ticked st
data ByronSpecGenesis = ByronSpecGenesis {
- byronSpecGenesisDelegators :: Set VKeyGenesis
- byronSpecGenesisInitUtxo :: UTxO
- byronSpecGenesisInitPParams :: PParams
- byronSpecGenesisSecurityParam :: BlockCount
- byronSpecGenesisSlotLength :: Natural
}
type ByronSpecHeader = Header ByronSpecBlock
data ByronSpecBlock = ByronSpecBlock {
- byronSpecBlock :: Block
- byronSpecBlockNo :: BlockNo
- byronSpecBlockHash :: Hash
}
data family Validated x
newtype ByronSpecLedgerError = ByronSpecLedgerError {
- unByronSpecLedgerError :: [PredicateFailure CHAIN]
}
initByronSpecLedgerState :: ByronSpecGenesis -> LedgerState ByronSpecBlock
newtype ByronSpecGenTxErr = ByronSpecGenTxErr {
- unByronSpecGenTxErr :: [PredicateFailure CHAIN]
}
data ByronSpecGenTx
- = ByronSpecGenTxDCert DCert
- | ByronSpecGenTxTx Tx
- | ByronSpecGenTxUProp UProp
- | ByronSpecGenTxVote Vote
data family GenTx blk
forgeByronSpecBlock :: BlockNo -> SlotNo -> Ticked (LedgerState ByronSpecBlock) -> [Validated (GenTx ByronSpecBlock)] -> VKey -> ByronSpecBlock

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 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 { byronSpecHeader :: BlockHeader byronSpecHeaderNo :: BlockNo byronSpecHeaderHash :: Hash }
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))

data family LedgerState blk #

Instances

Instances details

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 (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 #
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 #
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
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]
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))
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)
data LedgerState ByronSpecBlock Source #
Instance details Defined in Ouroboros.Consensus.ByronSpec.Ledger.Ledger data LedgerState ByronSpecBlock = ByronSpecLedgerState { byronSpecLedgerTip :: Maybe SlotNo byronSpecLedgerState :: State CHAIN }
type HeaderHash (LedgerState blk :: Type)
Instance details Defined in Ouroboros.Consensus.Ledger.Basics type HeaderHash (LedgerState blk :: Type) = HeaderHash blk
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 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 { untickedByronSpecLedgerTip :: Maybe SlotNo tickedByronSpecLedgerState :: State CHAIN }

data family Ticked st #

Instances

Instances details

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 (Ticked ())
Instance details Defined in Ouroboros.Consensus.Ticked Methods showsPrec :: Int -> Ticked () -> ShowS Source # show :: Ticked () -> String Source # showList :: [Ticked ()] -> 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 #
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
GetTip (Ticked (LedgerState ByronSpecBlock))
Instance details Defined in Ouroboros.Consensus.ByronSpec.Ledger.Ledger Methods getTip :: Ticked (LedgerState ByronSpecBlock) -> Point (Ticked (LedgerState ByronSpecBlock))
Show (Ticked (f a)) => Show ((Ticked :.: f) a)
Instance details Defined in Ouroboros.Consensus.Ticked Methods showsPrec :: Int -> (Ticked :.: f) a -> ShowS Source # show :: (Ticked :.: f) a -> String Source # showList :: [(Ticked :.: f) a] -> ShowS Source #
NoThunks (Ticked (f a)) => NoThunks ((Ticked :.: f) a)
Instance details Defined in Ouroboros.Consensus.Ticked Methods noThunks :: Context -> (Ticked :.: f) a -> IO (Maybe ThunkInfo) wNoThunks :: Context -> (Ticked :.: f) a -> IO (Maybe ThunkInfo) showTypeOf :: Proxy ((Ticked :.: f) a) -> String
data Ticked ()
Instance details Defined in Ouroboros.Consensus.Ticked data Ticked () = TickedTrivial
type HeaderHash (Ticked l :: Type)
Instance details Defined in Ouroboros.Consensus.Ledger.Basics type HeaderHash (Ticked l :: Type) = HeaderHash l
data Ticked (LedgerState ByronSpecBlock) Source #
Instance details Defined in Ouroboros.Consensus.ByronSpec.Ledger.Ledger data Ticked (LedgerState ByronSpecBlock) = TickedByronSpecLedgerState { untickedByronSpecLedgerTip :: Maybe SlotNo tickedByronSpecLedgerState :: State CHAIN }

data ByronSpecGenesis Source #

The equivalent of the genesis config for the abstract ledger

Constructors

ByronSpecGenesis

Fields

byronSpecGenesisDelegators :: Set VKeyGenesis
byronSpecGenesisInitUtxo :: UTxO
byronSpecGenesisInitPParams :: PParams
byronSpecGenesisSecurityParam :: BlockCount
byronSpecGenesisSlotLength :: Natural
Slot length
The Byron spec itself does not talk about slot length at all. Here we record it primarily to support the relation between the spec and the real implementation. For this reason we choose the same representation as the real PBFT does (ppSlotDuration in ProtocolParameters).

Instances

Instances details

Show ByronSpecGenesis Source #
Instance details Defined in Ouroboros.Consensus.ByronSpec.Ledger.Genesis Methods showsPrec :: Int -> ByronSpecGenesis -> ShowS Source # show :: ByronSpecGenesis -> String Source # showList :: [ByronSpecGenesis] -> ShowS Source #
NoThunks ByronSpecGenesis Source #
Instance details Defined in Ouroboros.Consensus.ByronSpec.Ledger.Genesis Methods noThunks :: Context -> ByronSpecGenesis -> IO (Maybe ThunkInfo) wNoThunks :: Context -> ByronSpecGenesis -> IO (Maybe ThunkInfo) showTypeOf :: Proxy ByronSpecGenesis -> String

type ByronSpecHeader = Header ByronSpecBlock Source #

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 byronSpecBlock :: Block byronSpecBlockNo :: BlockNo byronSpecBlockHash :: Hash

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 { byronSpecHeader :: BlockHeader byronSpecHeaderNo :: BlockNo byronSpecHeaderHash :: Hash }
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 { byronSpecLedgerTip :: Maybe SlotNo byronSpecLedgerState :: State CHAIN }
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 { unByronSpecGenTx :: 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 { untickedByronSpecLedgerTip :: Maybe SlotNo tickedByronSpecLedgerState :: State CHAIN }
newtype Validated (GenTx ByronSpecBlock) Source #
Instance details Defined in Ouroboros.Consensus.ByronSpec.Ledger.Mempool newtype Validated (GenTx ByronSpecBlock) = ValidatedByronSpecGenTx { forgetValidatedByronSpecGenTx :: GenTx ByronSpecBlock }
type HeaderHash ByronSpecBlock Source #
Instance details Defined in Ouroboros.Consensus.ByronSpec.Ledger.Block type HeaderHash ByronSpecBlock = Hash

data family Validated x #

Instances

Instances details

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 #
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 #
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
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))))
newtype Validated (GenTx ByronSpecBlock) Source #
Instance details Defined in Ouroboros.Consensus.ByronSpec.Ledger.Mempool newtype Validated (GenTx ByronSpecBlock) = ValidatedByronSpecGenTx { forgetValidatedByronSpecGenTx :: GenTx ByronSpecBlock }

newtype ByronSpecLedgerError Source #

Constructors

ByronSpecLedgerError
Fields unByronSpecLedgerError :: [PredicateFailure CHAIN]

Instances

Instances details

Eq ByronSpecLedgerError Source #
Instance details Defined in Ouroboros.Consensus.ByronSpec.Ledger.Ledger Methods (==) :: ByronSpecLedgerError -> ByronSpecLedgerError -> Bool Source # (/=) :: ByronSpecLedgerError -> ByronSpecLedgerError -> Bool Source #
Show ByronSpecLedgerError Source #
Instance details Defined in Ouroboros.Consensus.ByronSpec.Ledger.Ledger Methods showsPrec :: Int -> ByronSpecLedgerError -> ShowS Source # show :: ByronSpecLedgerError -> String Source # showList :: [ByronSpecLedgerError] -> ShowS Source #
NoThunks ByronSpecLedgerError Source #
Instance details Defined in Ouroboros.Consensus.ByronSpec.Ledger.Ledger Methods noThunks :: Context -> ByronSpecLedgerError -> IO (Maybe ThunkInfo) wNoThunks :: Context -> ByronSpecLedgerError -> IO (Maybe ThunkInfo) showTypeOf :: Proxy ByronSpecLedgerError -> String

initByronSpecLedgerState :: ByronSpecGenesis -> LedgerState ByronSpecBlock Source #

newtype ByronSpecGenTxErr Source #

Transaction errors

We don't distinguish these from any other kind of CHAIN failure.

Constructors

ByronSpecGenTxErr
Fields unByronSpecGenTxErr :: [PredicateFailure CHAIN]

Instances

Instances details

Show ByronSpecGenTxErr Source #
Instance details Defined in Ouroboros.Consensus.ByronSpec.Ledger.GenTx Methods showsPrec :: Int -> ByronSpecGenTxErr -> ShowS Source # show :: ByronSpecGenTxErr -> String Source # showList :: [ByronSpecGenTxErr] -> ShowS Source #
Generic ByronSpecGenTxErr Source #
Instance details Defined in Ouroboros.Consensus.ByronSpec.Ledger.GenTx Associated Types type Rep ByronSpecGenTxErr :: Type -> Type Source # Methods from :: ByronSpecGenTxErr -> Rep ByronSpecGenTxErr x Source # to :: Rep ByronSpecGenTxErr x -> ByronSpecGenTxErr Source #
Serialise ByronSpecGenTxErr Source #
Instance details Defined in Ouroboros.Consensus.ByronSpec.Ledger.GenTx Methods encode :: ByronSpecGenTxErr -> Encoding decode :: Decoder s ByronSpecGenTxErr encodeList :: [ByronSpecGenTxErr] -> Encoding decodeList :: Decoder s [ByronSpecGenTxErr]
type Rep ByronSpecGenTxErr Source #
Instance details Defined in Ouroboros.Consensus.ByronSpec.Ledger.GenTx type Rep ByronSpecGenTxErr = D1 ('MetaData "ByronSpecGenTxErr" "Ouroboros.Consensus.ByronSpec.Ledger.GenTx" "ouroboros-consensus-cardano-0.12.1.0-KACBrYFmMp37TTIWGQmkTD-unstable-byronspec" 'True) (C1 ('MetaCons "ByronSpecGenTxErr" 'PrefixI 'True) (S1 ('MetaSel ('Just "unByronSpecGenTxErr") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [PredicateFailure CHAIN])))

data ByronSpecGenTx Source #

Generalized transaction

The spec doesn't have a type for this, instead splitting the block body into separate lists

Constructors

ByronSpecGenTxDCert DCert
ByronSpecGenTxTx Tx
ByronSpecGenTxUProp UProp
ByronSpecGenTxVote Vote

Instances

Instances details

Show ByronSpecGenTx Source #
Instance details Defined in Ouroboros.Consensus.ByronSpec.Ledger.GenTx Methods showsPrec :: Int -> ByronSpecGenTx -> ShowS Source # show :: ByronSpecGenTx -> String Source # showList :: [ByronSpecGenTx] -> ShowS Source #
Generic ByronSpecGenTx Source #
Instance details Defined in Ouroboros.Consensus.ByronSpec.Ledger.GenTx Associated Types type Rep ByronSpecGenTx :: Type -> Type Source # Methods from :: ByronSpecGenTx -> Rep ByronSpecGenTx x Source # to :: Rep ByronSpecGenTx x -> ByronSpecGenTx Source #
Serialise ByronSpecGenTx Source #
Instance details Defined in Ouroboros.Consensus.ByronSpec.Ledger.GenTx Methods encode :: ByronSpecGenTx -> Encoding decode :: Decoder s ByronSpecGenTx encodeList :: [ByronSpecGenTx] -> Encoding decodeList :: Decoder s [ByronSpecGenTx]
type Rep ByronSpecGenTx Source #
Instance details Defined in Ouroboros.Consensus.ByronSpec.Ledger.GenTx type Rep ByronSpecGenTx = D1 ('MetaData "ByronSpecGenTx" "Ouroboros.Consensus.ByronSpec.Ledger.GenTx" "ouroboros-consensus-cardano-0.12.1.0-KACBrYFmMp37TTIWGQmkTD-unstable-byronspec" 'False) ((C1 ('MetaCons "ByronSpecGenTxDCert" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 DCert)) :+: C1 ('MetaCons "ByronSpecGenTxTx" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Tx))) :+: (C1 ('MetaCons "ByronSpecGenTxUProp" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 UProp)) :+: C1 ('MetaCons "ByronSpecGenTxVote" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Vote))))

data family GenTx blk #

Instances

Instances details

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 (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 (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 (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]
newtype GenTx ByronSpecBlock Source #
Instance details Defined in Ouroboros.Consensus.ByronSpec.Ledger.Mempool newtype GenTx ByronSpecBlock = ByronSpecGenTx { unByronSpecGenTx :: ByronSpecGenTx }
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)))
newtype Validated (GenTx ByronSpecBlock) Source #
Instance details Defined in Ouroboros.Consensus.ByronSpec.Ledger.Mempool newtype Validated (GenTx ByronSpecBlock) = ValidatedByronSpecGenTx { forgetValidatedByronSpecGenTx :: GenTx ByronSpecBlock }

forgeByronSpecBlock :: BlockNo -> SlotNo -> Ticked (LedgerState ByronSpecBlock) -> [Validated (GenTx ByronSpecBlock)] -> VKey -> ByronSpecBlock Source #