| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Testnet.Property.Utils
Synopsis
- integration :: HasCallStack => Integration () -> Property
- integrationRetryWorkspace :: HasCallStack => Int -> FilePath -> (FilePath -> Integration ()) -> Property
- integrationWorkspace :: HasCallStack => FilePath -> (FilePath -> Integration ()) -> Property
- isLinux :: Bool
- newtype QueryTipOutput = QueryTipOutput {}
- queryTip :: (MonadCatch m, MonadIO m, MonadTest m, HasCallStack) => QueryTipOutput -> ExecConfig -> m QueryTipLocalStateOutput
- waitUntilEpoch :: (MonadCatch m, MonadIO m, MonadTest m, HasCallStack) => FilePath -> Int -> ExecConfig -> EpochNo -> m EpochNo
- queryUtxos :: (HasCallStack, MonadIO m, MonadTest m, MonadCatch m, IsShelleyBasedEra era) => ExecConfig -> FilePath -> IORef Int -> ShelleyBasedEra era -> Text -> m (Map TxIn (TxOut CtxUTxO era))
- pMaxLovelaceSupply :: Parser Word64
- getByronGenesisHash :: (MonadTest m, MonadIO m) => FilePath -> m (KeyMap Value)
- getShelleyGenesisHash :: (MonadTest m, MonadIO m) => FilePath -> Text -> m (KeyMap Value)
Documentation
integration :: HasCallStack => Integration () -> Property Source #
integrationRetryWorkspace :: HasCallStack => Int -> FilePath -> (FilePath -> Integration ()) -> Property Source #
integrationWorkspace :: HasCallStack => FilePath -> (FilePath -> Integration ()) -> Property Source #
newtype QueryTipOutput Source #
Constructors
| QueryTipOutput | |
Fields | |
Arguments
| :: (MonadCatch m, MonadIO m, MonadTest m, HasCallStack) | |
| => QueryTipOutput | Output file |
| -> ExecConfig | |
| -> m QueryTipLocalStateOutput |
Arguments
| :: (MonadCatch m, MonadIO m, MonadTest m, HasCallStack) | |
| => FilePath | Output file |
| -> Int | Testnet magic |
| -> ExecConfig | |
| -> EpochNo | Desired epoch |
| -> m EpochNo |
Submit the desired epoch to wait to.
Arguments
| :: (HasCallStack, MonadIO m, MonadTest m, MonadCatch m, IsShelleyBasedEra era) | |
| => ExecConfig | |
| -> FilePath | working directory |
| -> IORef Int | filename counter, initialize with 1 usually |
| -> ShelleyBasedEra era | |
| -> Text | payment address |
| -> m (Map TxIn (TxOut CtxUTxO era)) |