Safe Haskell	None
Language	Haskell2010

Test.Ouroboros.Network.TxSubmission.Types

Synopsis

data Tx txid = Tx {
- getTxId :: !txid
- getTxSize :: !SizeInBytes
- getTxAdvSize :: !SizeInBytes
- getTxValid :: !Bool
}
type TxId = Int
data Mempool (m :: Type -> Type) tx
emptyMempool :: MonadSTM m => m (Mempool m (Tx txid))
newMempool :: MonadSTM m => [Tx txid] -> m (Mempool m (Tx txid))
readMempool :: MonadSTM m => Mempool m (Tx txid) -> m [Tx txid]
getMempoolReader :: forall txid (m :: Type -> Type). (MonadSTM m, Eq txid, Show txid) => Mempool m (Tx txid) -> TxSubmissionMempoolReader txid (Tx txid) Int m
getMempoolWriter :: forall txid (m :: Type -> Type). (MonadSTM m, Ord txid, Eq txid) => Mempool m (Tx txid) -> TxSubmissionMempoolWriter txid (Tx txid) Int m
maxTxSize :: SizeInBytes
newtype LargeNonEmptyList a = LargeNonEmpty {
- getLargeNonEmpty :: [a]
}
data SimResults a
- = SimReturn a [String]
- | SimException SomeException [String]
- | SimDeadLock [String]
data WithThreadAndTime a = WithThreadAndTime {
- wtatOccuredAt :: !Time
- wtatWithinThread :: !String
- wtatEvent :: !a
}
txSubmissionCodec2 :: forall (m :: Type -> Type). MonadST m => Codec (TxSubmission2 Int (Tx Int)) DeserialiseFailure m ByteString
evaluateTrace :: SimTrace a -> IO (SimResults a)
verboseTracer :: forall a (m :: Type -> Type). (MonadAsync m, MonadDelay m, MonadSay m, MonadMonotonicTime m, Show a) => Tracer m a
debugTracer :: Show a => Tracer (IOSim s) a

Documentation

data Tx txid Source #

Constructors

Tx
Fields getTxId :: !txid getTxSize :: !SizeInBytes getTxAdvSize :: !SizeInBytes getTxValid :: !Bool If false this means that when this tx will be submitted to a remote mempool it will not be valid. The outbound mempool might contain invalid tx's in this sense.

Instances

Instances details

ShowProxy txid => ShowProxy (Tx txid :: Type) Source #

Instance details

Defined in Test.Ouroboros.Network.TxSubmission.Types

Methods

showProxy :: Proxy (Tx txid) -> String #

Arbitrary txid => Arbitrary (Tx txid) Source #

Instance details

Defined in Test.Ouroboros.Network.TxSubmission.Types

Methods

arbitrary :: Gen (Tx txid) #

shrink :: Tx txid -> [Tx txid] #

Generic (Tx txid) Source #

Instance details

Defined in Test.Ouroboros.Network.TxSubmission.Types

Associated Types

type Rep (Tx txid)

Instance details

Defined in Test.Ouroboros.Network.TxSubmission.Types

type Rep (Tx txid) = D1 ('MetaData "Tx" "Test.Ouroboros.Network.TxSubmission.Types" "ouroboros-network-0.22.1.0-inplace-testlib" 'False) (C1 ('MetaCons "Tx" 'PrefixI 'True) ((S1 ('MetaSel ('Just "getTxId") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 txid) :*: S1 ('MetaSel ('Just "getTxSize") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 SizeInBytes)) :*: (S1 ('MetaSel ('Just "getTxAdvSize") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 SizeInBytes) :*: S1 ('MetaSel ('Just "getTxValid") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Bool))))

Methods

from :: Tx txid -> Rep (Tx txid) x #

to :: Rep (Tx txid) x -> Tx txid #

Show txid => Show (Tx txid) Source #

Instance details

Defined in Test.Ouroboros.Network.TxSubmission.Types

Methods

showsPrec :: Int -> Tx txid -> ShowS #

show :: Tx txid -> String #

showList :: [Tx txid] -> ShowS #

Eq txid => Eq (Tx txid) Source #

Instance details

Defined in Test.Ouroboros.Network.TxSubmission.Types

Methods

(==) :: Tx txid -> Tx txid -> Bool #

(/=) :: Tx txid -> Tx txid -> Bool #

Ord txid => Ord (Tx txid) Source #

Instance details

Defined in Test.Ouroboros.Network.TxSubmission.Types

Methods

compare :: Tx txid -> Tx txid -> Ordering #

(<) :: Tx txid -> Tx txid -> Bool #

(<=) :: Tx txid -> Tx txid -> Bool #

(>) :: Tx txid -> Tx txid -> Bool #

(>=) :: Tx txid -> Tx txid -> Bool #

max :: Tx txid -> Tx txid -> Tx txid #

min :: Tx txid -> Tx txid -> Tx txid #

NoThunks txid => NoThunks (Tx txid) Source #

Instance details

Defined in Test.Ouroboros.Network.TxSubmission.Types

Methods

noThunks :: Context -> Tx txid -> IO (Maybe ThunkInfo) #

wNoThunks :: Context -> Tx txid -> IO (Maybe ThunkInfo) #

showTypeOf :: Proxy (Tx txid) -> String #

type Rep (Tx txid) Source #

Instance details

Defined in Test.Ouroboros.Network.TxSubmission.Types

type Rep (Tx txid) = D1 ('MetaData "Tx" "Test.Ouroboros.Network.TxSubmission.Types" "ouroboros-network-0.22.1.0-inplace-testlib" 'False) (C1 ('MetaCons "Tx" 'PrefixI 'True) ((S1 ('MetaSel ('Just "getTxId") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 txid) :*: S1 ('MetaSel ('Just "getTxSize") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 SizeInBytes)) :*: (S1 ('MetaSel ('Just "getTxAdvSize") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 SizeInBytes) :*: S1 ('MetaSel ('Just "getTxValid") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Bool))))

type TxId = Int Source #

data Mempool (m :: Type -> Type) tx #

A simple in-memory mempool implementation.

emptyMempool :: MonadSTM m => m (Mempool m (Tx txid)) Source #

newMempool :: MonadSTM m => [Tx txid] -> m (Mempool m (Tx txid)) Source #

readMempool :: MonadSTM m => Mempool m (Tx txid) -> m [Tx txid] Source #

getMempoolReader :: forall txid (m :: Type -> Type). (MonadSTM m, Eq txid, Show txid) => Mempool m (Tx txid) -> TxSubmissionMempoolReader txid (Tx txid) Int m Source #

getMempoolWriter :: forall txid (m :: Type -> Type). (MonadSTM m, Ord txid, Eq txid) => Mempool m (Tx txid) -> TxSubmissionMempoolWriter txid (Tx txid) Int m Source #

maxTxSize :: SizeInBytes Source #

newtype LargeNonEmptyList a Source #

Constructors

LargeNonEmpty
Fields getLargeNonEmpty :: [a]

Instances

Instances details

Arbitrary a => Arbitrary (LargeNonEmptyList a) Source #
Instance details Defined in Test.Ouroboros.Network.TxSubmission.Types Methods arbitrary :: Gen (LargeNonEmptyList a) # shrink :: LargeNonEmptyList a -> [LargeNonEmptyList a] #
Show a => Show (LargeNonEmptyList a) Source #
Instance details Defined in Test.Ouroboros.Network.TxSubmission.Types Methods showsPrec :: Int -> LargeNonEmptyList a -> ShowS # show :: LargeNonEmptyList a -> String # showList :: [LargeNonEmptyList a] -> ShowS #

data SimResults a Source #

Constructors

SimReturn a [String]
SimException SomeException [String]
SimDeadLock [String]

data WithThreadAndTime a Source #

Constructors

WithThreadAndTime
Fields wtatOccuredAt :: !Time wtatWithinThread :: !String wtatEvent :: !a

Instances

Instances details

Show a => Show (WithThreadAndTime a) Source #
Instance details Defined in Test.Ouroboros.Network.TxSubmission.Types Methods showsPrec :: Int -> WithThreadAndTime a -> ShowS # show :: WithThreadAndTime a -> String # showList :: [WithThreadAndTime a] -> ShowS #

txSubmissionCodec2 :: forall (m :: Type -> Type). MonadST m => Codec (TxSubmission2 Int (Tx Int)) DeserialiseFailure m ByteString Source #

evaluateTrace :: SimTrace a -> IO (SimResults a) Source #

verboseTracer :: forall a (m :: Type -> Type). (MonadAsync m, MonadDelay m, MonadSay m, MonadMonotonicTime m, Show a) => Tracer m a Source #

debugTracer :: Show a => Tracer (IOSim s) a Source #