Documentation

Methods

liftIO :: IO a -> ATestBackend a Source #

Methods

pure :: a -> ATestBackend a Source #

(<*>) :: ATestBackend (a -> b) -> ATestBackend a -> ATestBackend b Source #

liftA2 :: (a -> b -> c) -> ATestBackend a -> ATestBackend b -> ATestBackend c Source #

(*>) :: ATestBackend a -> ATestBackend b -> ATestBackend b Source #

(<*) :: ATestBackend a -> ATestBackend b -> ATestBackend a Source #

Methods

fmap :: (a -> b) -> ATestBackend a -> ATestBackend b Source #

(<$) :: a -> ATestBackend b -> ATestBackend a Source #

Methods

(>>=) :: ATestBackend a -> (a -> ATestBackend b) -> ATestBackend b Source #

(>>) :: ATestBackend a -> ATestBackend b -> ATestBackend b Source #

return :: a -> ATestBackend a Source #

Methods

queryGenesisParameters :: ATestBackend (GenesisParameters ShelleyEra)

queryScriptRegistry :: [TxId] -> ATestBackend ScriptRegistry

queryNetworkId :: ATestBackend NetworkId

queryTip :: ATestBackend ChainPoint

queryUTxO :: [Address ShelleyAddr] -> ATestBackend UTxO

queryUTxOByTxIn :: [TxIn] -> ATestBackend UTxO

queryEraHistory :: QueryPoint -> ATestBackend EraHistory

querySystemStart :: QueryPoint -> ATestBackend SystemStart

queryProtocolParameters :: QueryPoint -> ATestBackend (PParams LedgerEra)

queryStakePools :: QueryPoint -> ATestBackend (Set PoolId)

queryUTxOFor :: QueryPoint -> VerificationKey PaymentKey -> ATestBackend UTxO

submitTransaction :: Tx -> ATestBackend ()

awaitTransaction :: Tx -> VerificationKey PaymentKey -> ATestBackend UTxO

getBlockTime :: ATestBackend NominalDiffTime

Methods

catch :: Exception e => ATestBackend a -> (e -> ATestBackend a) -> ATestBackend a

catchJust :: Exception e => (e -> Maybe b) -> ATestBackend a -> (b -> ATestBackend a) -> ATestBackend a

try :: Exception e => ATestBackend a -> ATestBackend (Either e a)

tryJust :: Exception e => (e -> Maybe b) -> ATestBackend a -> ATestBackend (Either b a)

handle :: Exception e => (e -> ATestBackend a) -> ATestBackend a -> ATestBackend a

handleJust :: Exception e => (e -> Maybe b) -> (b -> ATestBackend a) -> ATestBackend a -> ATestBackend a

onException :: ATestBackend a -> ATestBackend b -> ATestBackend a

bracketOnError :: ATestBackend a -> (a -> ATestBackend b) -> (a -> ATestBackend c) -> ATestBackend c

generalBracket :: ATestBackend a -> (a -> ExitCase b -> ATestBackend c) -> (a -> ATestBackend b) -> ATestBackend (b, c)

Methods

throwIO :: Exception e => e -> ATestBackend a

bracket :: ATestBackend a -> (a -> ATestBackend b) -> (a -> ATestBackend c) -> ATestBackend c

bracket_ :: ATestBackend a -> ATestBackend b -> ATestBackend c -> ATestBackend c

finally :: ATestBackend a -> ATestBackend b -> ATestBackend a

Methods

liftIO :: IO a -> SuccessfulBackend a Source #

Methods

pure :: a -> SuccessfulBackend a Source #

(<*>) :: SuccessfulBackend (a -> b) -> SuccessfulBackend a -> SuccessfulBackend b Source #

liftA2 :: (a -> b -> c) -> SuccessfulBackend a -> SuccessfulBackend b -> SuccessfulBackend c Source #

(*>) :: SuccessfulBackend a -> SuccessfulBackend b -> SuccessfulBackend b Source #

(<*) :: SuccessfulBackend a -> SuccessfulBackend b -> SuccessfulBackend a Source #

Methods

fmap :: (a -> b) -> SuccessfulBackend a -> SuccessfulBackend b Source #

(<$) :: a -> SuccessfulBackend b -> SuccessfulBackend a Source #

Methods

(>>=) :: SuccessfulBackend a -> (a -> SuccessfulBackend b) -> SuccessfulBackend b Source #

(>>) :: SuccessfulBackend a -> SuccessfulBackend b -> SuccessfulBackend b Source #

return :: a -> SuccessfulBackend a Source #

Methods

queryGenesisParameters :: SuccessfulBackend (GenesisParameters ShelleyEra)

queryScriptRegistry :: [TxId] -> SuccessfulBackend ScriptRegistry

queryNetworkId :: SuccessfulBackend NetworkId

queryTip :: SuccessfulBackend ChainPoint

queryUTxO :: [Address ShelleyAddr] -> SuccessfulBackend UTxO

queryUTxOByTxIn :: [TxIn] -> SuccessfulBackend UTxO

queryEraHistory :: QueryPoint -> SuccessfulBackend EraHistory

querySystemStart :: QueryPoint -> SuccessfulBackend SystemStart

queryProtocolParameters :: QueryPoint -> SuccessfulBackend (PParams LedgerEra)

queryStakePools :: QueryPoint -> SuccessfulBackend (Set PoolId)

queryUTxOFor :: QueryPoint -> VerificationKey PaymentKey -> SuccessfulBackend UTxO

submitTransaction :: Tx -> SuccessfulBackend ()

awaitTransaction :: Tx -> VerificationKey PaymentKey -> SuccessfulBackend UTxO

getBlockTime :: SuccessfulBackend NominalDiffTime

Methods

catch :: Exception e => SuccessfulBackend a -> (e -> SuccessfulBackend a) -> SuccessfulBackend a

catchJust :: Exception e => (e -> Maybe b) -> SuccessfulBackend a -> (b -> SuccessfulBackend a) -> SuccessfulBackend a

try :: Exception e => SuccessfulBackend a -> SuccessfulBackend (Either e a)

tryJust :: Exception e => (e -> Maybe b) -> SuccessfulBackend a -> SuccessfulBackend (Either b a)

handle :: Exception e => (e -> SuccessfulBackend a) -> SuccessfulBackend a -> SuccessfulBackend a

handleJust :: Exception e => (e -> Maybe b) -> (b -> SuccessfulBackend a) -> SuccessfulBackend a -> SuccessfulBackend a

onException :: SuccessfulBackend a -> SuccessfulBackend b -> SuccessfulBackend a

bracketOnError :: SuccessfulBackend a -> (a -> SuccessfulBackend b) -> (a -> SuccessfulBackend c) -> SuccessfulBackend c

generalBracket :: SuccessfulBackend a -> (a -> ExitCase b -> SuccessfulBackend c) -> (a -> SuccessfulBackend b) -> SuccessfulBackend (b, c)

Methods

throwIO :: Exception e => e -> SuccessfulBackend a

bracket :: SuccessfulBackend a -> (a -> SuccessfulBackend b) -> (a -> SuccessfulBackend c) -> SuccessfulBackend c

bracket_ :: SuccessfulBackend a -> SuccessfulBackend b -> SuccessfulBackend c -> SuccessfulBackend c

finally :: SuccessfulBackend a -> SuccessfulBackend b -> SuccessfulBackend a