Safe Haskell	None
Language	Haskell2010

Ouroboros.Consensus.HardFork.Combinator.Mempool

Contents

Orphan instances

Synopsis

data HardForkApplyTxErr xs
- = HardForkApplyTxErrFromEra !(OneEraApplyTxErr xs)
- | HardForkApplyTxErrWrongEra !(MismatchEraInfo xs)
hardForkApplyTxErrToEither :: HardForkApplyTxErr xs -> Either (MismatchEraInfo xs) (OneEraApplyTxErr xs)
hardForkApplyTxErrFromEither :: Either (MismatchEraInfo xs) (OneEraApplyTxErr xs) -> HardForkApplyTxErr xs
data family GenTx blk :: Type
data family TxId tx :: Type

Documentation

data HardForkApplyTxErr xs Source #

Constructors

HardForkApplyTxErrFromEra !(OneEraApplyTxErr xs)	Validation error from one of the eras
HardForkApplyTxErrWrongEra !(MismatchEraInfo xs)	We tried to apply a block from the wrong era

Instances

Instances details

CanHardFork xs => Eq (HardForkApplyTxErr xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Mempool Methods (==) :: HardForkApplyTxErr xs -> HardForkApplyTxErr xs -> Bool # (/=) :: HardForkApplyTxErr xs -> HardForkApplyTxErr xs -> Bool #
CanHardFork xs => Show (HardForkApplyTxErr xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Mempool Methods showsPrec :: Int -> HardForkApplyTxErr xs -> ShowS # show :: HardForkApplyTxErr xs -> String # showList :: [HardForkApplyTxErr xs] -> ShowS #
Generic (HardForkApplyTxErr xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Mempool Associated Types type Rep (HardForkApplyTxErr xs) :: Type -> Type # Methods from :: HardForkApplyTxErr xs -> Rep (HardForkApplyTxErr xs) x # to :: Rep (HardForkApplyTxErr xs) x -> HardForkApplyTxErr xs #
Typeable xs => ShowProxy (HardForkApplyTxErr xs :: Type) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Mempool Methods showProxy :: Proxy (HardForkApplyTxErr xs) -> String Source #
SerialiseHFC xs => SerialiseNodeToClient (HardForkBlock xs) (HardForkApplyTxErr xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Serialisation.SerialiseNodeToClient Methods encodeNodeToClient :: CodecConfig (HardForkBlock xs) -> BlockNodeToClientVersion (HardForkBlock xs) -> HardForkApplyTxErr xs -> Encoding Source # decodeNodeToClient :: CodecConfig (HardForkBlock xs) -> BlockNodeToClientVersion (HardForkBlock xs) -> forall s. Decoder s (HardForkApplyTxErr xs) Source #
type Rep (HardForkApplyTxErr xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Mempool type Rep (HardForkApplyTxErr xs) = D1 ('MetaData "HardForkApplyTxErr" "Ouroboros.Consensus.HardFork.Combinator.Mempool" "ouroboros-consensus-0.1.0.0-GfJNvFcM6lj2s5utKAUPEp" 'False) (C1 ('MetaCons "HardForkApplyTxErrFromEra" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (OneEraApplyTxErr xs))) :+: C1 ('MetaCons "HardForkApplyTxErrWrongEra" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (MismatchEraInfo xs))))

hardForkApplyTxErrToEither :: HardForkApplyTxErr xs -> Either (MismatchEraInfo xs) (OneEraApplyTxErr xs) Source #

hardForkApplyTxErrFromEither :: Either (MismatchEraInfo xs) (OneEraApplyTxErr xs) -> HardForkApplyTxErr xs Source #

data family GenTx blk :: Type Source #

Generalized transaction

The mempool (and, accordingly, blocks) consist of "generalized transactions"; this could be "proper" transactions (transferring funds) but also other kinds of things such as update proposals, delegations, etc.

Instances

Instances details

Isomorphic GenTx Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Unary Methods project :: NoHardForks blk => GenTx (HardForkBlock '[blk]) -> GenTx blk Source # inject :: NoHardForks blk => GenTx blk -> GenTx (HardForkBlock '[blk]) Source #
(Typeable m, Typeable a) => ShowProxy (TxId (GenTx (DualBlock m a)) :: Type) Source #
Instance details Defined in Ouroboros.Consensus.Ledger.Dual Methods showProxy :: Proxy (TxId (GenTx (DualBlock m a))) -> String Source #
Typeable xs => ShowProxy (TxId (GenTx (HardForkBlock xs)) :: Type) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Mempool Methods showProxy :: Proxy (TxId (GenTx (HardForkBlock xs))) -> String Source #
(Typeable m, Typeable a) => ShowProxy (GenTx (DualBlock m a) :: Type) Source #
Instance details Defined in Ouroboros.Consensus.Ledger.Dual Methods showProxy :: Proxy (GenTx (DualBlock m a)) -> String Source #
Typeable xs => ShowProxy (GenTx (HardForkBlock xs) :: Type) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Mempool Methods showProxy :: Proxy (GenTx (HardForkBlock xs)) -> String Source #
Eq (GenTxId m) => Eq (TxId (GenTx (DualBlock m a))) Source #
Instance details Defined in Ouroboros.Consensus.Ledger.Dual Methods (==) :: TxId (GenTx (DualBlock m a)) -> TxId (GenTx (DualBlock m a)) -> Bool # (/=) :: TxId (GenTx (DualBlock m a)) -> TxId (GenTx (DualBlock m a)) -> Bool #
CanHardFork xs => Eq (TxId (GenTx (HardForkBlock xs))) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Mempool Methods (==) :: TxId (GenTx (HardForkBlock xs)) -> TxId (GenTx (HardForkBlock xs)) -> Bool # (/=) :: TxId (GenTx (HardForkBlock xs)) -> TxId (GenTx (HardForkBlock xs)) -> Bool #
CanHardFork xs => Eq (GenTx (HardForkBlock xs)) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Mempool Methods (==) :: GenTx (HardForkBlock xs) -> GenTx (HardForkBlock xs) -> Bool # (/=) :: GenTx (HardForkBlock xs) -> GenTx (HardForkBlock xs) -> Bool #
Ord (GenTxId m) => Ord (TxId (GenTx (DualBlock m a))) Source #
Instance details Defined in Ouroboros.Consensus.Ledger.Dual Methods compare :: TxId (GenTx (DualBlock m a)) -> TxId (GenTx (DualBlock m a)) -> Ordering # (<) :: TxId (GenTx (DualBlock m a)) -> TxId (GenTx (DualBlock m a)) -> Bool # (<=) :: TxId (GenTx (DualBlock m a)) -> TxId (GenTx (DualBlock m a)) -> Bool # (>) :: TxId (GenTx (DualBlock m a)) -> TxId (GenTx (DualBlock m a)) -> Bool # (>=) :: TxId (GenTx (DualBlock m a)) -> TxId (GenTx (DualBlock m a)) -> Bool # max :: TxId (GenTx (DualBlock m a)) -> TxId (GenTx (DualBlock m a)) -> TxId (GenTx (DualBlock m a)) # min :: TxId (GenTx (DualBlock m a)) -> TxId (GenTx (DualBlock m a)) -> TxId (GenTx (DualBlock m a)) #
CanHardFork xs => Ord (TxId (GenTx (HardForkBlock xs))) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Mempool Methods compare :: TxId (GenTx (HardForkBlock xs)) -> TxId (GenTx (HardForkBlock xs)) -> Ordering # (<) :: TxId (GenTx (HardForkBlock xs)) -> TxId (GenTx (HardForkBlock xs)) -> Bool # (<=) :: TxId (GenTx (HardForkBlock xs)) -> TxId (GenTx (HardForkBlock xs)) -> Bool # (>) :: TxId (GenTx (HardForkBlock xs)) -> TxId (GenTx (HardForkBlock xs)) -> Bool # (>=) :: TxId (GenTx (HardForkBlock xs)) -> TxId (GenTx (HardForkBlock xs)) -> Bool # max :: TxId (GenTx (HardForkBlock xs)) -> TxId (GenTx (HardForkBlock xs)) -> TxId (GenTx (HardForkBlock xs)) # min :: TxId (GenTx (HardForkBlock xs)) -> TxId (GenTx (HardForkBlock xs)) -> TxId (GenTx (HardForkBlock xs)) #
Show (GenTxId m) => Show (TxId (GenTx (DualBlock m a))) Source #
Instance details Defined in Ouroboros.Consensus.Ledger.Dual Methods showsPrec :: Int -> TxId (GenTx (DualBlock m a)) -> ShowS # show :: TxId (GenTx (DualBlock m a)) -> String # showList :: [TxId (GenTx (DualBlock m a))] -> ShowS #
CanHardFork xs => Show (TxId (GenTx (HardForkBlock xs))) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Mempool Methods showsPrec :: Int -> TxId (GenTx (HardForkBlock xs)) -> ShowS # show :: TxId (GenTx (HardForkBlock xs)) -> String # showList :: [TxId (GenTx (HardForkBlock xs))] -> ShowS #
Bridge m a => Show (GenTx (DualBlock m a)) Source #
Instance details Defined in Ouroboros.Consensus.Ledger.Dual Methods showsPrec :: Int -> GenTx (DualBlock m a) -> ShowS # show :: GenTx (DualBlock m a) -> String # showList :: [GenTx (DualBlock m a)] -> ShowS #
CanHardFork xs => Show (GenTx (HardForkBlock xs)) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Mempool Methods showsPrec :: Int -> GenTx (HardForkBlock xs) -> ShowS # show :: GenTx (HardForkBlock xs) -> String # showList :: [GenTx (HardForkBlock xs)] -> ShowS #
NoThunks (TxId (GenTx (DualBlock m a))) Source #
Instance details Defined in Ouroboros.Consensus.Ledger.Dual Methods noThunks :: Context -> TxId (GenTx (DualBlock m a)) -> IO (Maybe ThunkInfo) Source # wNoThunks :: Context -> TxId (GenTx (DualBlock m a)) -> IO (Maybe ThunkInfo) Source # showTypeOf :: Proxy (TxId (GenTx (DualBlock m a))) -> String Source #
CanHardFork xs => NoThunks (TxId (GenTx (HardForkBlock xs))) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Mempool Methods noThunks :: Context -> TxId (GenTx (HardForkBlock xs)) -> IO (Maybe ThunkInfo) Source # wNoThunks :: Context -> TxId (GenTx (HardForkBlock xs)) -> IO (Maybe ThunkInfo) Source # showTypeOf :: Proxy (TxId (GenTx (HardForkBlock xs))) -> String Source #
NoThunks (GenTx (DualBlock m a)) Source #
Instance details Defined in Ouroboros.Consensus.Ledger.Dual Methods noThunks :: Context -> GenTx (DualBlock m a) -> IO (Maybe ThunkInfo) Source # wNoThunks :: Context -> GenTx (DualBlock m a) -> IO (Maybe ThunkInfo) Source # showTypeOf :: Proxy (GenTx (DualBlock m a)) -> String Source #
CanHardFork xs => NoThunks (GenTx (HardForkBlock xs)) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Mempool Methods noThunks :: Context -> GenTx (HardForkBlock xs) -> IO (Maybe ThunkInfo) Source # wNoThunks :: Context -> GenTx (HardForkBlock xs) -> IO (Maybe ThunkInfo) Source # showTypeOf :: Proxy (GenTx (HardForkBlock xs)) -> String Source #
All CondenseConstraints xs => Condense (TxId (GenTx (HardForkBlock xs))) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Condense Methods condense :: TxId (GenTx (HardForkBlock xs)) -> String Source #
All CondenseConstraints xs => Condense (GenTx (HardForkBlock xs)) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Condense Methods condense :: GenTx (HardForkBlock xs) -> String Source #
Bridge m a => HasTxId (GenTx (DualBlock m a)) Source #
Instance details Defined in Ouroboros.Consensus.Ledger.Dual Methods txId :: GenTx (DualBlock m a) -> TxId (GenTx (DualBlock m a)) Source #
CanHardFork xs => HasTxId (GenTx (HardForkBlock xs)) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Mempool Methods txId :: GenTx (HardForkBlock xs) -> TxId (GenTx (HardForkBlock xs)) Source #
SerialiseHFC xs => SerialiseNodeToClient (HardForkBlock xs) (GenTx (HardForkBlock xs)) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Serialisation.SerialiseNodeToClient Methods encodeNodeToClient :: CodecConfig (HardForkBlock xs) -> BlockNodeToClientVersion (HardForkBlock xs) -> GenTx (HardForkBlock xs) -> Encoding Source # decodeNodeToClient :: CodecConfig (HardForkBlock xs) -> BlockNodeToClientVersion (HardForkBlock xs) -> forall s. Decoder s (GenTx (HardForkBlock xs)) Source #
SerialiseHFC xs => SerialiseNodeToNode (HardForkBlock xs) (GenTxId (HardForkBlock xs)) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Serialisation.SerialiseNodeToNode Methods encodeNodeToNode :: CodecConfig (HardForkBlock xs) -> BlockNodeToNodeVersion (HardForkBlock xs) -> GenTxId (HardForkBlock xs) -> Encoding Source # decodeNodeToNode :: CodecConfig (HardForkBlock xs) -> BlockNodeToNodeVersion (HardForkBlock xs) -> forall s. Decoder s (GenTxId (HardForkBlock xs)) Source #
SerialiseHFC xs => SerialiseNodeToNode (HardForkBlock xs) (GenTx (HardForkBlock xs)) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Serialisation.SerialiseNodeToNode Methods encodeNodeToNode :: CodecConfig (HardForkBlock xs) -> BlockNodeToNodeVersion (HardForkBlock xs) -> GenTx (HardForkBlock xs) -> Encoding Source # decodeNodeToNode :: CodecConfig (HardForkBlock xs) -> BlockNodeToNodeVersion (HardForkBlock xs) -> forall s. Decoder s (GenTx (HardForkBlock xs)) Source #
newtype TxId (GenTx (DualBlock m a)) Source #
Instance details Defined in Ouroboros.Consensus.Ledger.Dual newtype TxId (GenTx (DualBlock m a)) = DualGenTxId { dualGenTxIdMain :: GenTxId m }
newtype TxId (GenTx (HardForkBlock xs)) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Mempool newtype TxId (GenTx (HardForkBlock xs)) = HardForkGenTxId { getHardForkGenTxId :: OneEraGenTxId xs }
newtype GenTx (HardForkBlock xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Mempool newtype GenTx (HardForkBlock xs) = HardForkGenTx { getHardForkGenTx :: OneEraGenTx xs }
data GenTx (DualBlock m a) Source #
Instance details Defined in Ouroboros.Consensus.Ledger.Dual data GenTx (DualBlock m a) = DualGenTx { dualGenTxMain :: GenTx m dualGenTxAux :: GenTx a dualGenTxBridge :: BridgeTx m a }

data family TxId tx :: Type Source #

A generalized transaction, GenTx, identifier.

Instances

Instances details

(Typeable m, Typeable a) => ShowProxy (TxId (GenTx (DualBlock m a)) :: Type) Source #
Instance details Defined in Ouroboros.Consensus.Ledger.Dual Methods showProxy :: Proxy (TxId (GenTx (DualBlock m a))) -> String Source #
Typeable xs => ShowProxy (TxId (GenTx (HardForkBlock xs)) :: Type) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Mempool Methods showProxy :: Proxy (TxId (GenTx (HardForkBlock xs))) -> String Source #
Eq (GenTxId m) => Eq (TxId (GenTx (DualBlock m a))) Source #
Instance details Defined in Ouroboros.Consensus.Ledger.Dual Methods (==) :: TxId (GenTx (DualBlock m a)) -> TxId (GenTx (DualBlock m a)) -> Bool # (/=) :: TxId (GenTx (DualBlock m a)) -> TxId (GenTx (DualBlock m a)) -> Bool #
CanHardFork xs => Eq (TxId (GenTx (HardForkBlock xs))) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Mempool Methods (==) :: TxId (GenTx (HardForkBlock xs)) -> TxId (GenTx (HardForkBlock xs)) -> Bool # (/=) :: TxId (GenTx (HardForkBlock xs)) -> TxId (GenTx (HardForkBlock xs)) -> Bool #
Ord (GenTxId m) => Ord (TxId (GenTx (DualBlock m a))) Source #
Instance details Defined in Ouroboros.Consensus.Ledger.Dual Methods compare :: TxId (GenTx (DualBlock m a)) -> TxId (GenTx (DualBlock m a)) -> Ordering # (<) :: TxId (GenTx (DualBlock m a)) -> TxId (GenTx (DualBlock m a)) -> Bool # (<=) :: TxId (GenTx (DualBlock m a)) -> TxId (GenTx (DualBlock m a)) -> Bool # (>) :: TxId (GenTx (DualBlock m a)) -> TxId (GenTx (DualBlock m a)) -> Bool # (>=) :: TxId (GenTx (DualBlock m a)) -> TxId (GenTx (DualBlock m a)) -> Bool # max :: TxId (GenTx (DualBlock m a)) -> TxId (GenTx (DualBlock m a)) -> TxId (GenTx (DualBlock m a)) # min :: TxId (GenTx (DualBlock m a)) -> TxId (GenTx (DualBlock m a)) -> TxId (GenTx (DualBlock m a)) #
CanHardFork xs => Ord (TxId (GenTx (HardForkBlock xs))) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Mempool Methods compare :: TxId (GenTx (HardForkBlock xs)) -> TxId (GenTx (HardForkBlock xs)) -> Ordering # (<) :: TxId (GenTx (HardForkBlock xs)) -> TxId (GenTx (HardForkBlock xs)) -> Bool # (<=) :: TxId (GenTx (HardForkBlock xs)) -> TxId (GenTx (HardForkBlock xs)) -> Bool # (>) :: TxId (GenTx (HardForkBlock xs)) -> TxId (GenTx (HardForkBlock xs)) -> Bool # (>=) :: TxId (GenTx (HardForkBlock xs)) -> TxId (GenTx (HardForkBlock xs)) -> Bool # max :: TxId (GenTx (HardForkBlock xs)) -> TxId (GenTx (HardForkBlock xs)) -> TxId (GenTx (HardForkBlock xs)) # min :: TxId (GenTx (HardForkBlock xs)) -> TxId (GenTx (HardForkBlock xs)) -> TxId (GenTx (HardForkBlock xs)) #
Show (GenTxId m) => Show (TxId (GenTx (DualBlock m a))) Source #
Instance details Defined in Ouroboros.Consensus.Ledger.Dual Methods showsPrec :: Int -> TxId (GenTx (DualBlock m a)) -> ShowS # show :: TxId (GenTx (DualBlock m a)) -> String # showList :: [TxId (GenTx (DualBlock m a))] -> ShowS #
CanHardFork xs => Show (TxId (GenTx (HardForkBlock xs))) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Mempool Methods showsPrec :: Int -> TxId (GenTx (HardForkBlock xs)) -> ShowS # show :: TxId (GenTx (HardForkBlock xs)) -> String # showList :: [TxId (GenTx (HardForkBlock xs))] -> ShowS #
NoThunks (TxId (GenTx (DualBlock m a))) Source #
Instance details Defined in Ouroboros.Consensus.Ledger.Dual Methods noThunks :: Context -> TxId (GenTx (DualBlock m a)) -> IO (Maybe ThunkInfo) Source # wNoThunks :: Context -> TxId (GenTx (DualBlock m a)) -> IO (Maybe ThunkInfo) Source # showTypeOf :: Proxy (TxId (GenTx (DualBlock m a))) -> String Source #
CanHardFork xs => NoThunks (TxId (GenTx (HardForkBlock xs))) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Mempool Methods noThunks :: Context -> TxId (GenTx (HardForkBlock xs)) -> IO (Maybe ThunkInfo) Source # wNoThunks :: Context -> TxId (GenTx (HardForkBlock xs)) -> IO (Maybe ThunkInfo) Source # showTypeOf :: Proxy (TxId (GenTx (HardForkBlock xs))) -> String Source #
All CondenseConstraints xs => Condense (TxId (GenTx (HardForkBlock xs))) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Condense Methods condense :: TxId (GenTx (HardForkBlock xs)) -> String Source #
SerialiseHFC xs => SerialiseNodeToNode (HardForkBlock xs) (GenTxId (HardForkBlock xs)) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Serialisation.SerialiseNodeToNode Methods encodeNodeToNode :: CodecConfig (HardForkBlock xs) -> BlockNodeToNodeVersion (HardForkBlock xs) -> GenTxId (HardForkBlock xs) -> Encoding Source # decodeNodeToNode :: CodecConfig (HardForkBlock xs) -> BlockNodeToNodeVersion (HardForkBlock xs) -> forall s. Decoder s (GenTxId (HardForkBlock xs)) Source #
newtype TxId (GenTx (DualBlock m a)) Source #
Instance details Defined in Ouroboros.Consensus.Ledger.Dual newtype TxId (GenTx (DualBlock m a)) = DualGenTxId { dualGenTxIdMain :: GenTxId m }
newtype TxId (GenTx (HardForkBlock xs)) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Mempool newtype TxId (GenTx (HardForkBlock xs)) = HardForkGenTxId { getHardForkGenTxId :: OneEraGenTxId xs }

Orphan instances

Typeable xs => ShowProxy (TxId (GenTx (HardForkBlock xs)) :: Type) Source #
Instance details Methods showProxy :: Proxy (TxId (GenTx (HardForkBlock xs))) -> String Source #
Typeable xs => ShowProxy (GenTx (HardForkBlock xs) :: Type) Source #
Instance details Methods showProxy :: Proxy (GenTx (HardForkBlock xs)) -> String Source #
CanHardFork xs => Eq (TxId (GenTx (HardForkBlock xs))) Source #
Instance details Methods (==) :: TxId (GenTx (HardForkBlock xs)) -> TxId (GenTx (HardForkBlock xs)) -> Bool # (/=) :: TxId (GenTx (HardForkBlock xs)) -> TxId (GenTx (HardForkBlock xs)) -> Bool #
CanHardFork xs => Eq (GenTx (HardForkBlock xs)) Source #
Instance details Methods (==) :: GenTx (HardForkBlock xs) -> GenTx (HardForkBlock xs) -> Bool # (/=) :: GenTx (HardForkBlock xs) -> GenTx (HardForkBlock xs) -> Bool #
CanHardFork xs => Ord (TxId (GenTx (HardForkBlock xs))) Source #
Instance details Methods compare :: TxId (GenTx (HardForkBlock xs)) -> TxId (GenTx (HardForkBlock xs)) -> Ordering # (<) :: TxId (GenTx (HardForkBlock xs)) -> TxId (GenTx (HardForkBlock xs)) -> Bool # (<=) :: TxId (GenTx (HardForkBlock xs)) -> TxId (GenTx (HardForkBlock xs)) -> Bool # (>) :: TxId (GenTx (HardForkBlock xs)) -> TxId (GenTx (HardForkBlock xs)) -> Bool # (>=) :: TxId (GenTx (HardForkBlock xs)) -> TxId (GenTx (HardForkBlock xs)) -> Bool # max :: TxId (GenTx (HardForkBlock xs)) -> TxId (GenTx (HardForkBlock xs)) -> TxId (GenTx (HardForkBlock xs)) # min :: TxId (GenTx (HardForkBlock xs)) -> TxId (GenTx (HardForkBlock xs)) -> TxId (GenTx (HardForkBlock xs)) #
CanHardFork xs => Show (TxId (GenTx (HardForkBlock xs))) Source #
Instance details Methods showsPrec :: Int -> TxId (GenTx (HardForkBlock xs)) -> ShowS # show :: TxId (GenTx (HardForkBlock xs)) -> String # showList :: [TxId (GenTx (HardForkBlock xs))] -> ShowS #
CanHardFork xs => Show (GenTx (HardForkBlock xs)) Source #
Instance details Methods showsPrec :: Int -> GenTx (HardForkBlock xs) -> ShowS # show :: GenTx (HardForkBlock xs) -> String # showList :: [GenTx (HardForkBlock xs)] -> ShowS #
CanHardFork xs => NoThunks (TxId (GenTx (HardForkBlock xs))) Source #
Instance details Methods noThunks :: Context -> TxId (GenTx (HardForkBlock xs)) -> IO (Maybe ThunkInfo) Source # wNoThunks :: Context -> TxId (GenTx (HardForkBlock xs)) -> IO (Maybe ThunkInfo) Source # showTypeOf :: Proxy (TxId (GenTx (HardForkBlock xs))) -> String Source #
CanHardFork xs => NoThunks (GenTx (HardForkBlock xs)) Source #
Instance details Methods noThunks :: Context -> GenTx (HardForkBlock xs) -> IO (Maybe ThunkInfo) Source # wNoThunks :: Context -> GenTx (HardForkBlock xs) -> IO (Maybe ThunkInfo) Source # showTypeOf :: Proxy (GenTx (HardForkBlock xs)) -> String Source #
All HasTxs xs => HasTxs (HardForkBlock xs) Source #
Instance details Methods extractTxs :: HardForkBlock xs -> [GenTx (HardForkBlock xs)] Source #
CanHardFork xs => HasTxId (GenTx (HardForkBlock xs)) Source #
Instance details Methods txId :: GenTx (HardForkBlock xs) -> TxId (GenTx (HardForkBlock xs)) Source #
CanHardFork xs => LedgerSupportsMempool (HardForkBlock xs) Source #
Instance details Methods txInvariant :: GenTx (HardForkBlock xs) -> Bool Source # applyTx :: LedgerConfig (HardForkBlock xs) -> SlotNo -> GenTx (HardForkBlock xs) -> TickedLedgerState (HardForkBlock xs) -> Except (ApplyTxErr (HardForkBlock xs)) (TickedLedgerState (HardForkBlock xs)) Source # reapplyTx :: LedgerConfig (HardForkBlock xs) -> SlotNo -> GenTx (HardForkBlock xs) -> TickedLedgerState (HardForkBlock xs) -> Except (ApplyTxErr (HardForkBlock xs)) (TickedLedgerState (HardForkBlock xs)) Source # maxTxCapacity :: TickedLedgerState (HardForkBlock xs) -> Word32 Source # txInBlockSize :: GenTx (HardForkBlock xs) -> Word32 Source #