Safe Haskell	None
Language	Haskell2010

Ouroboros.Consensus.ByronSpec.Ledger.Mempool

Contents

Type family instances
Orphan instances

Synopsis

data family GenTx blk
data family Validated x

Type family instances

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 }

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 }

Orphan instances

LedgerSupportsMempool ByronSpecBlock Source #
Instance details 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
Show (Validated (GenTx ByronSpecBlock)) Source #
Instance details 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 Methods showsPrec :: Int -> GenTx ByronSpecBlock -> ShowS Source # show :: GenTx ByronSpecBlock -> String Source # showList :: [GenTx ByronSpecBlock] -> ShowS Source #
Generic (Validated (GenTx ByronSpecBlock)) Source #
Instance details 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 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)) Source #
Instance details 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) Source #
Instance details Methods noThunks :: Context -> GenTx ByronSpecBlock -> IO (Maybe ThunkInfo) wNoThunks :: Context -> GenTx ByronSpecBlock -> IO (Maybe ThunkInfo) showTypeOf :: Proxy (GenTx ByronSpecBlock) -> String
Serialise (GenTx ByronSpecBlock) Source #
Instance details Methods encode :: GenTx ByronSpecBlock -> Encoding decode :: Decoder s (GenTx ByronSpecBlock) encodeList :: [GenTx ByronSpecBlock] -> Encoding decodeList :: Decoder s [GenTx ByronSpecBlock]