tests
Safe HaskellSafe-Inferred
LanguageHaskell2010

Hydra.Chain.Direct.StateSpec

Synopsis

Documentation

spec :: Spec Source #

Properties

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 #

Helpers

mfail :: MonadFail m => Maybe a -> m a Source #