| Safe Haskell | Safe-Inferred |
|---|---|
| Language | GHC2021 |
Hydra.Chain.Direct.StateSpec
Contents
Synopsis
- spec :: Spec
- genInitTxMutation :: TxIn -> Tx -> Gen (Mutation, String, NotAnInitReason)
- genCommitTxMutation :: UTxO -> Tx -> Gen Mutation
- genAdaOnlyUTxOOnMainnetWithAmountBiggerThanOutLimit :: Gen UTxO
- prop_observeAnyTx :: Property
- prop_splitUTxO :: UTxO -> Property
- prop_canCloseFanoutEveryCollect :: Property
- propBelowSizeLimit :: Natural -> ((UTxO -> Tx -> Property) -> Property) -> SpecWith ()
- propIsValid :: ((UTxO -> Tx -> Property) -> Property) -> SpecWith ()
- forAllInit :: Testable property => (UTxO -> Tx -> property) -> Property
- forAllCommit :: Testable property => (UTxO -> Tx -> property) -> Property
- forAllCommit' :: Testable property => (ChainContext -> InitialState -> UTxO -> Tx -> property) -> Property
- forAllAbort :: Testable property => (UTxO -> Tx -> property) -> Property
- forAllCollectCom :: Testable property => (UTxO -> Tx -> property) -> Property
- forAllDeposit :: Testable property => (UTxO -> Tx -> property) -> Property
- forAllRecover :: Testable property => (UTxO -> Tx -> property) -> Property
- forAllDecrement :: Testable property => (UTxO -> Tx -> property) -> Property
- forAllDecrement' :: Testable property => ([TxOut CtxUTxO] -> UTxO -> Tx -> property) -> Property
- forAllClose :: Testable property => (UTxO -> Tx -> property) -> Property
- forAllContest :: Testable property => (UTxO -> Tx -> property) -> Property
- forAllFanout :: Testable property => (UTxO -> Tx -> property) -> Property
- genInitTxWithSeed :: HydraContext -> Gen (Tx, TxIn)
- mfail :: MonadFail m => Maybe a -> m a
Documentation
genInitTxMutation :: TxIn -> Tx -> Gen (Mutation, String, NotAnInitReason) Source #
genCommitTxMutation :: UTxO -> Tx -> Gen Mutation Source #
Properties
prop_observeAnyTx :: Property Source #
Given any Head protocol state and the transaction corresponding a protocol transition we should be able to observe this transition correctly even in presence of other valid Hydra Head protocol states in the used lookup utxo.
prop_splitUTxO :: UTxO -> Property Source #
Given a UTxO with more than one entry, we can split it into two non-empty UTxO.
prop_canCloseFanoutEveryCollect :: Property Source #
propBelowSizeLimit :: Natural -> ((UTxO -> Tx -> Property) -> Property) -> SpecWith () Source #
propIsValid :: ((UTxO -> Tx -> Property) -> Property) -> SpecWith () Source #
Generators
forAllInit :: Testable property => (UTxO -> Tx -> property) -> Property Source #
forAllCommit :: Testable property => (UTxO -> Tx -> property) -> Property Source #
forAllCommit' :: Testable property => (ChainContext -> InitialState -> UTxO -> Tx -> property) -> Property Source #
forAllAbort :: Testable property => (UTxO -> Tx -> property) -> Property Source #
forAllCollectCom :: Testable property => (UTxO -> Tx -> property) -> Property Source #
forAllDeposit :: Testable property => (UTxO -> Tx -> property) -> Property Source #
forAllRecover :: Testable property => (UTxO -> Tx -> property) -> Property Source #
forAllDecrement :: Testable property => (UTxO -> Tx -> property) -> Property Source #
forAllDecrement' :: Testable property => ([TxOut CtxUTxO] -> UTxO -> Tx -> property) -> Property Source #
forAllClose :: Testable property => (UTxO -> Tx -> property) -> Property Source #
forAllContest :: Testable property => (UTxO -> Tx -> property) -> Property Source #
forAllFanout :: Testable property => (UTxO -> Tx -> property) -> Property Source #
genInitTxWithSeed :: HydraContext -> Gen (Tx, TxIn) Source #
Generate an init tx with the used seed TxIn.