| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Hydra.Chain.Direct.StateSpec
Contents
Synopsis
- spec :: Spec
- genAdaOnlyUTxOOnMainnetWithAmountBiggerThanOutLimit :: Gen UTxO
- 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
- forAllClose :: Testable property => (UTxO -> Tx -> property) -> Property
- forAllContest :: Testable property => (UTxO -> Tx -> property) -> Property
- forAllFanout :: Testable property => (UTxO -> Tx -> property) -> Property
- mfail :: MonadFail m => Maybe a -> m a
Documentation
Properties
prop_canCloseFanoutEveryCollect :: Property Source #
propBelowSizeLimit :: Natural -> ((UTxO -> Tx -> Property) -> Property) -> SpecWith () Source #
propIsValid :: ((UTxO -> Tx -> Property) -> Property) -> SpecWith () Source #
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 #
forAllClose :: Testable property => (UTxO -> Tx -> property) -> Property Source #
forAllContest :: Testable property => (UTxO -> Tx -> property) -> Property Source #
forAllFanout :: Testable property => (UTxO -> Tx -> property) -> Property Source #