| Safe Haskell | Safe-Inferred |
|---|---|
| Language | GHC2021 |
Hydra.NodeSpec
Synopsis
- spec :: Spec
- primeWith :: Monad m => [Input SimpleTx] -> HydraNode SimpleTx m -> m (HydraNode SimpleTx m)
- notConnect :: MonadThrow m => DraftHydraNode SimpleTx m -> m (HydraNode SimpleTx m)
- mockServer :: Monad m => Server tx m
- mockNetwork :: Monad m => Network m (Message SimpleTx)
- mockChain :: MonadThrow m => Chain SimpleTx m
- mockSink :: Monad m => EventSink a m
- mockSource :: Monad m => [a] -> EventSource a m
- createRecordingSink :: IO (EventSink a IO, IO [a])
- createMockSourceSink :: MonadLabelledSTM m => m (EventSource a m, EventSink a m)
- inputsToOpenHead :: [Input SimpleTx]
- runToCompletion :: IsChainState tx => HydraNode tx IO -> IO ()
- testHydraNode :: (MonadDelay m, MonadAsync m, MonadLabelledSTM m, MonadThrow m, MonadUnliftIO m) => Tracer m (HydraNodeLog SimpleTx) -> SigningKey HydraKey -> [Party] -> ContestationPeriod -> DepositDeadline -> [Input SimpleTx] -> m (HydraNode SimpleTx m)
- recordNetwork :: HydraNode tx IO -> IO (HydraNode tx IO, IO [Message tx])
- recordServerOutputs :: IsChainState tx => HydraNode tx IO -> IO (HydraNode tx IO, IO [Either (ServerOutput tx) (ClientMessage tx)])
- messageRecorder :: IO (msg -> IO (), IO [msg])
- throwExceptionOnPostTx :: IsChainState tx => PostTxError tx -> HydraNode tx IO -> IO (HydraNode tx IO)
Documentation
primeWith :: Monad m => [Input SimpleTx] -> HydraNode SimpleTx m -> m (HydraNode SimpleTx m) Source #
Add given list of inputs to the InputQueue. This is returning the node to
allow for chaining with runToCompletion.
notConnect :: MonadThrow m => DraftHydraNode SimpleTx m -> m (HydraNode SimpleTx m) Source #
Convert a DraftHydraNode to a HydraNode by providing mock implementations.
mockServer :: Monad m => Server tx m Source #
mockNetwork :: Monad m => Network m (Message SimpleTx) Source #
mockSource :: Monad m => [a] -> EventSource a m Source #
createMockSourceSink :: MonadLabelledSTM m => m (EventSource a m, EventSink a m) Source #
inputsToOpenHead :: [Input SimpleTx] Source #
runToCompletion :: IsChainState tx => HydraNode tx IO -> IO () Source #
testHydraNode :: (MonadDelay m, MonadAsync m, MonadLabelledSTM m, MonadThrow m, MonadUnliftIO m) => Tracer m (HydraNodeLog SimpleTx) -> SigningKey HydraKey -> [Party] -> ContestationPeriod -> DepositDeadline -> [Input SimpleTx] -> m (HydraNode SimpleTx m) Source #
Creates a full HydraNode with given parameters and primed Inputs. Note
that this node is notConnected to any components.