Moduleouroboros-consensus-4.2.1.0
Ouroboros.Consensus.HardFork.Combinator.Mempool
- 1 type
- 5 values
- Packageouroboros-consensus-4.2.1.0
- Exports12
- LicenceApache-2.0
Constructors
Instances6ShowProxy, Eq, Show, Generic, SerialiseNodeToClient, Rep
Typeable xs => ShowProxy (HardForkApplyTxErr xs)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.MempoolCanHardFork xs => Eq (HardForkApplyTxErr xs)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.MempoolCanHardFork xs => Show (HardForkApplyTxErr xs)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.MempoolGeneric (HardForkApplyTxErr xs)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.MempoolSerialiseHFC xs => SerialiseNodeToClient (HardForkBlock xs) (HardForkApplyTxErr xs)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Serialisation.SerialiseNodeToClient · orphantype Rep (HardForkApplyTxErr xs) = D1 ('MetaDataDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Mempool"HardForkApplyTxErr"
"Ouroboros.Consensus.HardFork.Combinator.Mempool"
"ouroboros-consensus-4.2.1.0-C9zVP0VXla2Fy4UJAsSSXt"
'False) (C1 ('MetaCons"HardForkApplyTxErrFromEra"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (OneEraApplyTxErr xs))) :+: C1 ('MetaCons"HardForkApplyTxErrWrongEra"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (MismatchEraInfo xs))))
Instances9Eq, Show, Generic, NoThunks, Rep, Validated, …
CanHardFork xs => Eq (Validated (GenTx (HardForkBlock xs)))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Mempool · orphanCanHardFork xs => Show (Validated (GenTx (HardForkBlock xs)))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Mempool · orphanBridge m a => Show (Validated (GenTx (DualBlock m a)))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.DualGeneric (Validated (GenTx (HardForkBlock xs)))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Mempool · orphanNoThunks (Validated (GenTx (DualBlock m a)))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.DualCanHardFork xs => NoThunks (Validated (GenTx (HardForkBlock xs)))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Mempool · orphantype Rep (Validated (GenTx (HardForkBlock xs))) = D1 ('MetaDataDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Mempool · orphan"Validated"
"Ouroboros.Consensus.HardFork.Combinator.Mempool"
"ouroboros-consensus-4.2.1.0-C9zVP0VXla2Fy4UJAsSSXt"
'True) (C1 ('MetaCons"HardForkValidatedGenTx"
'PrefixI 'True) (S1 ('MetaSel ('Just"getHardForkValidatedGenTx"
) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (OneEraValidatedGenTx xs))))data Validated (GenTx (HardForkBlock xs))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Mempool · orphandata Validated (GenTx (DualBlock m a))ValidatedDualGenTxvDualGenTxMain :: Validated (GenTx m)vDualGenTxAux :: Validated (GenTx a)vDualGenTxBridge :: BridgeTx m a
Fields
Instances48Inject, Isomorphic, ShowProxy, Eq, Ord, Show, …
Inject GenTxDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Embed.NaryIsomorphic GenTxDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Embed.UnaryTypeable xs => ShowProxy (GenTx (HardForkBlock xs))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Mempool · orphanTypeable xs => ShowProxy (TxId (GenTx (HardForkBlock xs)))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Mempool · orphan(Typeable m, Typeable a) => ShowProxy (GenTx (DualBlock m a))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Dual(Typeable m, Typeable a) => ShowProxy (TxId (GenTx (DualBlock m a)))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.DualEq (GenTxId m) => Eq (TxId (GenTx (DualBlock m a)))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.DualCanHardFork xs => Eq (Validated (GenTx (HardForkBlock xs)))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Mempool · orphanCanHardFork xs => Eq (GenTx (HardForkBlock xs))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Mempool · orphanCanHardFork xs => Eq (TxId (GenTx (HardForkBlock xs)))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Mempool · orphanOrd (GenTxId m) => Ord (TxId (GenTx (DualBlock m a)))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.DualCanHardFork xs => Ord (TxId (GenTx (HardForkBlock xs)))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Mempool · orphanShow (GenTxId m) => Show (TxId (GenTx (DualBlock m a)))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.DualCanHardFork xs => Show (Validated (GenTx (HardForkBlock xs)))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Mempool · orphanCanHardFork xs => Show (GenTx (HardForkBlock xs))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Mempool · orphanCanHardFork xs => Show (TxId (GenTx (HardForkBlock xs)))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Mempool · orphanBridge m a => Show (Validated (GenTx (DualBlock m a)))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.DualBridge m a => Show (GenTx (DualBlock m a))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.DualGeneric (Validated (GenTx (HardForkBlock xs)))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Mempool · orphanGeneric (GenTx (HardForkBlock xs))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Mempool · orphanGeneric (TxId (GenTx (HardForkBlock xs)))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Mempool · orphanNoThunks (Validated (GenTx (DualBlock m a)))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.DualNoThunks (GenTx (DualBlock m a))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.DualNoThunks (TxId (GenTx (DualBlock m a)))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.DualCanHardFork xs => NoThunks (Validated (GenTx (HardForkBlock xs)))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Mempool · orphanCanHardFork xs => NoThunks (GenTx (HardForkBlock xs))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Mempool · orphanCanHardFork xs => NoThunks (TxId (GenTx (HardForkBlock xs)))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Mempool · orphanCanHardFork xs => HasRawTxId (TxId (GenTx (HardForkBlock xs)))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Mempool · orphanHasRawTxId (GenTxId m) => HasRawTxId (TxId (GenTx (DualBlock m a)))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.DualAll CondenseConstraints xs => Condense (GenTx (HardForkBlock xs))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Condense · orphanAll CondenseConstraints xs => Condense (TxId (GenTx (HardForkBlock xs)))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Condense · orphanCanHardFork xs => HasTxId (GenTx (HardForkBlock xs))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Mempool · orphanBridge m a => HasTxId (GenTx (DualBlock m a))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.DualSerialiseHFC xs => SerialiseNodeToClient (HardForkBlock xs) (GenTx (HardForkBlock xs))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Serialisation.SerialiseNodeToClient · orphanSerialiseHFC xs => SerialiseNodeToClient (HardForkBlock xs) (GenTxId (HardForkBlock xs))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Serialisation.SerialiseNodeToClient · orphanSerialiseHFC xs => SerialiseNodeToNode (HardForkBlock xs) (GenTx (HardForkBlock xs))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Serialisation.SerialiseNodeToNode · orphanSerialiseHFC xs => SerialiseNodeToNode (HardForkBlock xs) (GenTxId (HardForkBlock xs))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Serialisation.SerialiseNodeToNode · orphantype Rep (Validated (GenTx (HardForkBlock xs))) = D1 ('MetaDataDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Mempool · orphan"Validated"
"Ouroboros.Consensus.HardFork.Combinator.Mempool"
"ouroboros-consensus-4.2.1.0-C9zVP0VXla2Fy4UJAsSSXt"
'True) (C1 ('MetaCons"HardForkValidatedGenTx"
'PrefixI 'True) (S1 ('MetaSel ('Just"getHardForkValidatedGenTx"
) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (OneEraValidatedGenTx xs))))type Rep (GenTx (HardForkBlock xs)) = D1 ('MetaDataDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Mempool · orphan"GenTx"
"Ouroboros.Consensus.HardFork.Combinator.Mempool"
"ouroboros-consensus-4.2.1.0-C9zVP0VXla2Fy4UJAsSSXt"
'True) (C1 ('MetaCons"HardForkGenTx"
'PrefixI 'True) (S1 ('MetaSel ('Just"getHardForkGenTx"
) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (OneEraGenTx xs))))type Rep (TxId (GenTx (HardForkBlock xs))) = D1 ('MetaDataDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Mempool · orphan"TxId"
"Ouroboros.Consensus.HardFork.Combinator.Mempool"
"ouroboros-consensus-4.2.1.0-C9zVP0VXla2Fy4UJAsSSXt"
'True) (C1 ('MetaCons"HardForkGenTxId"
'PrefixI 'True) (S1 ('MetaSel ('Just"getHardForkGenTxId"
) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (OneEraGenTxId xs))))type RawTxId (TxId (GenTx (HardForkBlock xs))) = ShortByteStringDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Mempool · orphantype RawTxId (TxId (GenTx (DualBlock m a))) = RawTxId (GenTxId m)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Dualdata Validated (GenTx (HardForkBlock xs))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Mempool · orphandata Validated (GenTx (DualBlock m a))ValidatedDualGenTxvDualGenTxMain :: Validated (GenTx m)vDualGenTxAux :: Validated (GenTx a)vDualGenTxBridge :: BridgeTx m a
data GenTx (HardForkBlock xs)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Mempool · orphandata GenTx (DualBlock m a)DualGenTxdualGenTxMain :: GenTx mdualGenTxAux :: GenTx adualGenTxBridge :: BridgeTx m a
data TxId (GenTx (HardForkBlock xs))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Mempool · orphandata TxId (GenTx (DualBlock m a))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Dual
Fields
getHardForkGenTx :: OneEraGenTx xs
Instances21ShowProxy, Eq, Ord, Show, Generic, NoThunks, …
Typeable xs => ShowProxy (TxId (GenTx (HardForkBlock xs)))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Mempool · orphan(Typeable m, Typeable a) => ShowProxy (TxId (GenTx (DualBlock m a)))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.DualEq (GenTxId m) => Eq (TxId (GenTx (DualBlock m a)))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.DualCanHardFork xs => Eq (TxId (GenTx (HardForkBlock xs)))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Mempool · orphanOrd (GenTxId m) => Ord (TxId (GenTx (DualBlock m a)))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.DualCanHardFork xs => Ord (TxId (GenTx (HardForkBlock xs)))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Mempool · orphanShow (GenTxId m) => Show (TxId (GenTx (DualBlock m a)))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.DualCanHardFork xs => Show (TxId (GenTx (HardForkBlock xs)))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Mempool · orphanGeneric (TxId (GenTx (HardForkBlock xs)))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Mempool · orphanNoThunks (TxId (GenTx (DualBlock m a)))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.DualCanHardFork xs => NoThunks (TxId (GenTx (HardForkBlock xs)))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Mempool · orphanCanHardFork xs => HasRawTxId (TxId (GenTx (HardForkBlock xs)))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Mempool · orphanHasRawTxId (GenTxId m) => HasRawTxId (TxId (GenTx (DualBlock m a)))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.DualAll CondenseConstraints xs => Condense (TxId (GenTx (HardForkBlock xs)))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Condense · orphanSerialiseHFC xs => SerialiseNodeToClient (HardForkBlock xs) (GenTxId (HardForkBlock xs))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Serialisation.SerialiseNodeToClient · orphanSerialiseHFC xs => SerialiseNodeToNode (HardForkBlock xs) (GenTxId (HardForkBlock xs))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Serialisation.SerialiseNodeToNode · orphantype Rep (TxId (GenTx (HardForkBlock xs))) = D1 ('MetaDataDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Mempool · orphan"TxId"
"Ouroboros.Consensus.HardFork.Combinator.Mempool"
"ouroboros-consensus-4.2.1.0-C9zVP0VXla2Fy4UJAsSSXt"
'True) (C1 ('MetaCons"HardForkGenTxId"
'PrefixI 'True) (S1 ('MetaSel ('Just"getHardForkGenTxId"
) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (OneEraGenTxId xs))))type RawTxId (TxId (GenTx (HardForkBlock xs))) = ShortByteStringDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Mempool · orphantype RawTxId (TxId (GenTx (DualBlock m a))) = RawTxId (GenTxId m)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Dualdata TxId (GenTx (HardForkBlock xs))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Mempool · orphandata TxId (GenTx (DualBlock m a))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Dual
Fields
Orphan instances
20 instancesTypeable xs => ShowProxy (GenTx (HardForkBlock xs))Typeable xs => ShowProxy (TxId (GenTx (HardForkBlock xs)))CanHardFork xs => Eq (Validated (GenTx (HardForkBlock xs)))CanHardFork xs => Eq (GenTx (HardForkBlock xs))CanHardFork xs => Eq (TxId (GenTx (HardForkBlock xs)))CanHardFork xs => Ord (TxId (GenTx (HardForkBlock xs)))CanHardFork xs => Show (Validated (GenTx (HardForkBlock xs)))CanHardFork xs => Show (GenTx (HardForkBlock xs))CanHardFork xs => Show (TxId (GenTx (HardForkBlock xs)))Generic (Validated (GenTx (HardForkBlock xs)))Generic (GenTx (HardForkBlock xs))Generic (TxId (GenTx (HardForkBlock xs)))CanHardFork xs => NoThunks (Validated (GenTx (HardForkBlock xs)))CanHardFork xs => NoThunks (GenTx (HardForkBlock xs))CanHardFork xs => NoThunks (TxId (GenTx (HardForkBlock xs)))CanHardFork xs => HasRawTxId (TxId (GenTx (HardForkBlock xs)))(CanHardFork xs, HasCanonicalTxIn xs, HasHardForkTxOut xs) => LedgerSupportsMempool (HardForkBlock xs)CanHardFork xs => HasTxId (GenTx (HardForkBlock xs))All HasTxs xs => HasTxs (HardForkBlock xs)CanHardFork xs => TxLimits (HardForkBlock xs)