Documentation

spec :: Spec Source #

createPersistenceInMemory :: MonadLabelledSTM m => m (PersistenceIncremental a m) Source #

isReqSn :: Message tx -> Bool Source #

eventsToOpenHead :: [Event SimpleTx] Source #

runToCompletion :: IsChainState tx => Tracer IO (HydraNodeLog tx) -> HydraNode tx IO -> IO () Source #

createHydraNode :: (MonadDelay m, MonadAsync m, MonadLabelledSTM m, MonadThrow m) => SigningKey HydraKey -> [Party] -> ContestationPeriod -> [Event SimpleTx] -> m (HydraNode SimpleTx m) Source #

createHydraNode' :: (MonadDelay m, MonadAsync m, MonadLabelledSTM m, MonadThrow m) => PersistenceIncremental (StateChanged SimpleTx) m -> SigningKey HydraKey -> [Party] -> ContestationPeriod -> [Event SimpleTx] -> m (HydraNode SimpleTx m) Source #

recordNetwork :: HydraNode tx IO -> IO (HydraNode tx IO, IO [Message tx]) Source #

recordPersistedItems :: HydraNode tx IO -> IO (HydraNode tx IO, IO [StateChanged tx]) Source #

recordServerOutputs :: HydraNode tx IO -> IO (HydraNode tx IO, IO [ServerOutput tx]) Source #

messageRecorder :: IO (msg -> IO (), IO [msg]) Source #

throwExceptionOnPostTx :: IsChainState tx => PostTxError tx -> HydraNode tx IO -> IO (HydraNode tx IO) Source #