Modulehedgehog-1.7

Hedgehog.Internal.Property

Synopsis

value /==
value ===
value annotate
value annotateShow
value assert
value classify
value collect
value confidenceFailure
value confidenceSuccess
value cover
value coverPercentage
value coverageFailures
value coverageSuccess
value defaultConfidence
value defaultConfig
value defaultMinTests
value diff
value discard
value eval
value evalEither
value evalEitherM
value evalExceptT
value evalIO
value evalM
value evalMaybe
value evalMaybeM
value evalNF
value failDiff
value failException
value failWith
value failure
value footnote
value footnoteShow
value forAll
value forAllT
value forAllWith
value forAllWithT
value journalCoverage
value label
value labelCovered
value mapConfig
value mkTest
value mkTestT
value property
value runTest
value runTestT
value shrinkPathCompress
value shrinkPathDecompress
value skipCompress
value skipDecompress
value success
value test
value toCoverCount
value verifiedTermination
value wilsonBounds
value withConfidence
value withDiscards
value withRetries
value withShrinks
value withSkip
value withTests
value writeLog
newtype Confidence
data Cover
newtype CoverCount
newtype CoverPercentage
newtype Coverage
data Diff
newtype DiscardCount
newtype DiscardLimit
data Failure
data Group
newtype GroupName
newtype Journal
data Label
newtype LabelName
data Log
class MonadTest
data Property
data PropertyConfig
newtype PropertyCount
newtype PropertyName
newtype PropertyT
newtype ShrinkCount
newtype ShrinkLimit
newtype ShrinkPath
newtype ShrinkRetries
data Skip
data TerminationCriteria
type Test
newtype TestCount
newtype TestLimit
newtype TestT

Packagehedgehog-1.7
Exports93
LicenceBSD-3-Clause

value(/==) :: (MonadTest m, Eq a, Show a, HasCallStack) => a -> a -> m ()

value(===) :: (MonadTest m, Eq a, Show a, HasCallStack) => a -> a -> m ()

valueannotate :: (MonadTest m, HasCallStack) => String -> m ()

valueannotateShow :: (MonadTest m, Show a, HasCallStack) => a -> m ()

valueassert :: (MonadTest m, HasCallStack) => Bool -> m ()

valueclassify :: (MonadTest m, HasCallStack) => LabelName -> Bool -> m ()

valuecollect :: (MonadTest m, Show a, HasCallStack) => a -> m ()

valueconfidenceFailure :: TestCount -> Confidence -> Coverage CoverCount -> Bool

valueconfidenceSuccess :: TestCount -> Confidence -> Coverage CoverCount -> Bool

valuecover

:: (MonadTest m, HasCallStack)
=> CoverPercentage
-> LabelName
-> Bool
-> m ()

valuecoverPercentage :: TestCount -> CoverCount -> CoverPercentage

valuecoverageFailures :: TestCount -> Coverage CoverCount -> [Label CoverCount]

valuecoverageSuccess :: TestCount -> Coverage CoverCount -> Bool

valuedefaultConfidence :: Confidence

valuedefaultConfig :: PropertyConfig

valuedefaultMinTests :: TestLimit

valuediff

:: (MonadTest m, Show a, Show b, HasCallStack)
=> a
-> a -> b -> Bool
-> b
-> m ()

valuediscard :: Monad m => PropertyT m a

valueeval :: (MonadTest m, HasCallStack) => a -> m a

valueevalEither :: (MonadTest m, Show x, HasCallStack) => Either x a -> m a

valueevalEitherM

:: (MonadTest m, Show x, MonadCatch m, HasCallStack)
=> m (Either x a)
-> m a

valueevalExceptT :: (MonadTest m, Show x, HasCallStack) => ExceptT x m a -> m a

valueevalIO :: (MonadTest m, MonadIO m, HasCallStack) => IO a -> m a

valueevalM :: (MonadTest m, MonadCatch m, HasCallStack) => m a -> m a

valueevalMaybe :: (MonadTest m, HasCallStack) => Maybe a -> m a

valueevalMaybeM

:: (MonadTest m, MonadCatch m, HasCallStack)
=> m (Maybe a)
-> m a

valueevalNF :: (MonadTest m, NFData a, HasCallStack) => a -> m a

valuefailDiff :: (MonadTest m, Show a, Show b, HasCallStack) => a -> b -> m ()

valuefailException :: (MonadTest m, HasCallStack) => SomeException -> m a

valuefailWith :: (MonadTest m, HasCallStack) => Maybe Diff -> String -> m a

valuefailure :: (MonadTest m, HasCallStack) => m a

valuefootnote :: MonadTest m => String -> m ()

valuefootnoteShow :: (MonadTest m, Show a) => a -> m ()

valueforAll :: (Monad m, Show a, HasCallStack) => Gen a -> PropertyT m a

valueforAllT :: (Monad m, Show a, HasCallStack) => GenT m a -> PropertyT m a

valueforAllWith

:: (Monad m, HasCallStack)
=> a -> String
-> Gen a
-> PropertyT m a

valueforAllWithT

:: (Monad m, HasCallStack)
=> a -> String
-> GenT m a
-> PropertyT m a

valuejournalCoverage :: Journal -> Coverage CoverCount

valuelabel :: (MonadTest m, HasCallStack) => LabelName -> m ()

valuelabelCovered :: TestCount -> Label CoverCount -> Bool

valuemapConfig :: (PropertyConfig -> PropertyConfig) -> Property -> Property

valuemkTest :: (Either Failure a, Journal) -> Test a

valuemkTestT :: m (Either Failure a, Journal) -> TestT m a

valueproperty :: HasCallStack => PropertyT IO () -> Property

valuerunTest :: Test a -> (Either Failure a, Journal)

valuerunTestT :: TestT m a -> m (Either Failure a, Journal)

valueshrinkPathCompress :: ShrinkPath -> String

valueshrinkPathDecompress :: String -> Maybe ShrinkPath

valueskipCompress :: Skip -> String

valueskipDecompress :: String -> Maybe Skip

valuesuccess :: MonadTest m => m ()

valuetest :: Monad m => TestT m a -> PropertyT m a

valuetoCoverCount :: Cover -> CoverCount

valueverifiedTermination :: Property -> Property

valuewilsonBounds :: Integer -> Integer -> Double -> (Double, Double)

valuewithConfidence :: Confidence -> Property -> Property

valuewithDiscards :: DiscardLimit -> Property -> Property

valuewithRetries :: ShrinkRetries -> Property -> Property

valuewithShrinks :: ShrinkLimit -> Property -> Property

valuewithSkip :: Skip -> Property -> Property

valuewithTests :: TestLimit -> Property -> Property

valuewriteLog :: MonadTest m => Log -> m ()

newtypenewtype Confidence

Constructors

Confidence
- unConfidence :: Int64

Instances5Eq, Num, Ord, Show, Lift

Eq ConfidenceDefined in hedgehog-1.7 · Hedgehog.Internal.Property
Num ConfidenceDefined in hedgehog-1.7 · Hedgehog.Internal.Property
Ord ConfidenceDefined in hedgehog-1.7 · Hedgehog.Internal.Property
Show ConfidenceDefined in hedgehog-1.7 · Hedgehog.Internal.Property
Lift ConfidenceDefined in hedgehog-1.7 · Hedgehog.Internal.Property

datadata Cover

NoCover Cover

Instances5Eq, Ord, Show, Semigroup, Monoid

Eq CoverDefined in hedgehog-1.7 · Hedgehog.Internal.Property
Ord CoverDefined in hedgehog-1.7 · Hedgehog.Internal.Property
Show CoverDefined in hedgehog-1.7 · Hedgehog.Internal.Property
Semigroup CoverDefined in hedgehog-1.7 · Hedgehog.Internal.Property
Monoid CoverDefined in hedgehog-1.7 · Hedgehog.Internal.Property

newtypenewtype CoverCount

Constructors

CoverCount
- unCoverCount :: Int

Instances6Eq, Num, Ord, Show, Semigroup, Monoid

Eq CoverCountDefined in hedgehog-1.7 · Hedgehog.Internal.Property
Num CoverCountDefined in hedgehog-1.7 · Hedgehog.Internal.Property
Ord CoverCountDefined in hedgehog-1.7 · Hedgehog.Internal.Property
Show CoverCountDefined in hedgehog-1.7 · Hedgehog.Internal.Property
Semigroup CoverCountDefined in hedgehog-1.7 · Hedgehog.Internal.Property
Monoid CoverCountDefined in hedgehog-1.7 · Hedgehog.Internal.Property

newtypenewtype CoverPercentage

Constructors

CoverPercentage
- unCoverPercentage :: Double

Instances5Eq, Fractional, Num, Ord, Show

Eq CoverPercentageDefined in hedgehog-1.7 · Hedgehog.Internal.Property
Fractional CoverPercentageDefined in hedgehog-1.7 · Hedgehog.Internal.Property
Num CoverPercentageDefined in hedgehog-1.7 · Hedgehog.Internal.Property
Ord CoverPercentageDefined in hedgehog-1.7 · Hedgehog.Internal.Property
Show CoverPercentageDefined in hedgehog-1.7 · Hedgehog.Internal.Property

newtypenewtype Coverage a

Constructors

Coverage
- coverageLabels :: Map LabelName (Label a)

Instances7Functor, Foldable, Traversable, Eq, Show, Semigroup, …

Functor CoverageDefined in hedgehog-1.7 · Hedgehog.Internal.Property
Foldable CoverageDefined in hedgehog-1.7 · Hedgehog.Internal.Property
Traversable CoverageDefined in hedgehog-1.7 · Hedgehog.Internal.Property
Eq a => Eq (Coverage a)Defined in hedgehog-1.7 · Hedgehog.Internal.Property
Show a => Show (Coverage a)Defined in hedgehog-1.7 · Hedgehog.Internal.Property
Semigroup a => Semigroup (Coverage a)Defined in hedgehog-1.7 · Hedgehog.Internal.Property
(Semigroup a, Monoid a) => Monoid (Coverage a)Defined in hedgehog-1.7 · Hedgehog.Internal.Property

datadata Diff

Constructors

Diff
- diffPrefix :: String
- diffRemoved :: String
- diffInfix :: String
- diffAdded :: String
- diffSuffix :: String
- diffValue :: ValueDiff

Instances2Eq, Show

Eq DiffDefined in hedgehog-1.7 · Hedgehog.Internal.Property
Show DiffDefined in hedgehog-1.7 · Hedgehog.Internal.Property

newtypenewtype DiscardCount

Constructors

DiscardCount Int

Instances8Enum, Eq, Integral, Num, Ord, Real, …

Enum DiscardCountDefined in hedgehog-1.7 · Hedgehog.Internal.Property
Eq DiscardCountDefined in hedgehog-1.7 · Hedgehog.Internal.Property
Integral DiscardCountDefined in hedgehog-1.7 · Hedgehog.Internal.Property
Num DiscardCountDefined in hedgehog-1.7 · Hedgehog.Internal.Property
Ord DiscardCountDefined in hedgehog-1.7 · Hedgehog.Internal.Property
Real DiscardCountDefined in hedgehog-1.7 · Hedgehog.Internal.Property
Show DiscardCountDefined in hedgehog-1.7 · Hedgehog.Internal.Property
Lift DiscardCountDefined in hedgehog-1.7 · Hedgehog.Internal.Property

newtypenewtype DiscardLimit

Constructors

DiscardLimit Int

Instances8Enum, Eq, Integral, Num, Ord, Real, …

Enum DiscardLimitDefined in hedgehog-1.7 · Hedgehog.Internal.Property
Eq DiscardLimitDefined in hedgehog-1.7 · Hedgehog.Internal.Property
Integral DiscardLimitDefined in hedgehog-1.7 · Hedgehog.Internal.Property
Num DiscardLimitDefined in hedgehog-1.7 · Hedgehog.Internal.Property
Ord DiscardLimitDefined in hedgehog-1.7 · Hedgehog.Internal.Property
Real DiscardLimitDefined in hedgehog-1.7 · Hedgehog.Internal.Property
Show DiscardLimitDefined in hedgehog-1.7 · Hedgehog.Internal.Property
Lift DiscardLimitDefined in hedgehog-1.7 · Hedgehog.Internal.Property

datadata Failure

Constructors

Failure (Maybe Span) String (Maybe Diff)

Instances2Eq, Show

Eq FailureDefined in hedgehog-1.7 · Hedgehog.Internal.Property
Show FailureDefined in hedgehog-1.7 · Hedgehog.Internal.Property

datadata Group

Constructors

Group
- groupName :: !GroupName
- groupProperties :: ![(PropertyName, Property)]

newtypenewtype GroupName

Constructors

GroupName
- unGroupName :: String

Instances6Eq, Ord, Show, IsString, Semigroup, Lift

Eq GroupNameDefined in hedgehog-1.7 · Hedgehog.Internal.Property
Ord GroupNameDefined in hedgehog-1.7 · Hedgehog.Internal.Property
Show GroupNameDefined in hedgehog-1.7 · Hedgehog.Internal.Property
IsString GroupNameDefined in hedgehog-1.7 · Hedgehog.Internal.Property
Semigroup GroupNameDefined in hedgehog-1.7 · Hedgehog.Internal.Property
Lift GroupNameDefined in hedgehog-1.7 · Hedgehog.Internal.Property

newtypenewtype Journal

Constructors

Journal
- journalLogs :: [Log]

Instances4Eq, Show, Semigroup, Monoid

Eq JournalDefined in hedgehog-1.7 · Hedgehog.Internal.Property
Show JournalDefined in hedgehog-1.7 · Hedgehog.Internal.Property
Semigroup JournalDefined in hedgehog-1.7 · Hedgehog.Internal.Property
Monoid JournalDefined in hedgehog-1.7 · Hedgehog.Internal.Property

datadata Label a

Constructors

MkLabel
- labelName :: !LabelName
- labelLocation :: !Maybe Span
- labelMinimum :: !CoverPercentage
- labelAnnotation :: !a

Instances6Functor, Foldable, Traversable, Eq, Show, Semigroup

Functor LabelDefined in hedgehog-1.7 · Hedgehog.Internal.Property
Foldable LabelDefined in hedgehog-1.7 · Hedgehog.Internal.Property
Traversable LabelDefined in hedgehog-1.7 · Hedgehog.Internal.Property
Eq a => Eq (Label a)Defined in hedgehog-1.7 · Hedgehog.Internal.Property
Show a => Show (Label a)Defined in hedgehog-1.7 · Hedgehog.Internal.Property
Semigroup a => Semigroup (Label a)Defined in hedgehog-1.7 · Hedgehog.Internal.Property

newtypenewtype LabelName

Constructors

LabelName
- unLabelName :: String

Instances6Eq, Ord, Show, IsString, Semigroup, Monoid

Eq LabelNameDefined in hedgehog-1.7 · Hedgehog.Internal.Property
Ord LabelNameDefined in hedgehog-1.7 · Hedgehog.Internal.Property
Show LabelNameDefined in hedgehog-1.7 · Hedgehog.Internal.Property
IsString LabelNameDefined in hedgehog-1.7 · Hedgehog.Internal.Property
Semigroup LabelNameDefined in hedgehog-1.7 · Hedgehog.Internal.Property
Monoid LabelNameDefined in hedgehog-1.7 · Hedgehog.Internal.Property

datadata Log

Constructors

Annotation (Maybe Span) String
Footnote String
Label (Label Cover)

Instances2Eq, Show

Eq LogDefined in hedgehog-1.7 · Hedgehog.Internal.Property
Show LogDefined in hedgehog-1.7 · Hedgehog.Internal.Property

classclass Monad m => MonadTest (m :: Type -> Type) where

Methods

liftTest :: Test a -> m a

Instances14MonadTest, …

Monad m => MonadTest (PropertyT m)Defined in hedgehog-1.7 · Hedgehog.Internal.Property
Monad m => MonadTest (TestT m)Defined in hedgehog-1.7 · Hedgehog.Internal.Property
MonadTest m => MonadTest (ResourceT m)Defined in hedgehog-1.7 · Hedgehog.Internal.Property
MonadTest m => MonadTest (MaybeT m)Defined in hedgehog-1.7 · Hedgehog.Internal.Property
MonadTest m => MonadTest (ExceptT x m)Defined in hedgehog-1.7 · Hedgehog.Internal.Property
MonadTest m => MonadTest (IdentityT m)Defined in hedgehog-1.7 · Hedgehog.Internal.Property
MonadTest m => MonadTest (ReaderT r m)Defined in hedgehog-1.7 · Hedgehog.Internal.Property
MonadTest m => MonadTest (StateT s m)Defined in hedgehog-1.7 · Hedgehog.Internal.Property
MonadTest m => MonadTest (StateT s m)Defined in hedgehog-1.7 · Hedgehog.Internal.Property
(MonadTest m, Monoid w) => MonadTest (WriterT w m)Defined in hedgehog-1.7 · Hedgehog.Internal.Property
(MonadTest m, Monoid w) => MonadTest (WriterT w m)Defined in hedgehog-1.7 · Hedgehog.Internal.Property
MonadTest m => MonadTest (ContT r m)Defined in hedgehog-1.7 · Hedgehog.Internal.Property
(MonadTest m, Monoid w) => MonadTest (RWST r w s m)Defined in hedgehog-1.7 · Hedgehog.Internal.Property
(MonadTest m, Monoid w) => MonadTest (RWST r w s m)Defined in hedgehog-1.7 · Hedgehog.Internal.Property

datadata Property

Constructors

Property
- propertyConfig :: !PropertyConfig
- propertyTest :: PropertyT IO ()

datadata PropertyConfig

Constructors

PropertyConfig
- propertyDiscardLimit :: !DiscardLimit
- propertyShrinkLimit :: !ShrinkLimit
- propertyShrinkRetries :: !ShrinkRetries
- propertyTerminationCriteria :: !TerminationCriteria
- propertySkip :: Maybe Skip

Instances4Eq, Ord, Show, Lift

Eq PropertyConfigDefined in hedgehog-1.7 · Hedgehog.Internal.Property
Ord PropertyConfigDefined in hedgehog-1.7 · Hedgehog.Internal.Property
Show PropertyConfigDefined in hedgehog-1.7 · Hedgehog.Internal.Property
Lift PropertyConfigDefined in hedgehog-1.7 · Hedgehog.Internal.Property

newtypenewtype PropertyCount

Constructors

PropertyCount Int

Instances7Enum, Eq, Integral, Num, Ord, Real, …

Enum PropertyCountDefined in hedgehog-1.7 · Hedgehog.Internal.Property
Eq PropertyCountDefined in hedgehog-1.7 · Hedgehog.Internal.Property
Integral PropertyCountDefined in hedgehog-1.7 · Hedgehog.Internal.Property
Num PropertyCountDefined in hedgehog-1.7 · Hedgehog.Internal.Property
Ord PropertyCountDefined in hedgehog-1.7 · Hedgehog.Internal.Property
Real PropertyCountDefined in hedgehog-1.7 · Hedgehog.Internal.Property
Show PropertyCountDefined in hedgehog-1.7 · Hedgehog.Internal.Property

newtypenewtype PropertyName

Constructors

PropertyName
- unPropertyName :: String

Instances6Eq, Ord, Show, IsString, Semigroup, Lift

Eq PropertyNameDefined in hedgehog-1.7 · Hedgehog.Internal.Property
Ord PropertyNameDefined in hedgehog-1.7 · Hedgehog.Internal.Property
Show PropertyNameDefined in hedgehog-1.7 · Hedgehog.Internal.Property
IsString PropertyNameDefined in hedgehog-1.7 · Hedgehog.Internal.Property
Semigroup PropertyNameDefined in hedgehog-1.7 · Hedgehog.Internal.Property
Lift PropertyNameDefined in hedgehog-1.7 · Hedgehog.Internal.Property

newtypenewtype PropertyT (m :: Type -> Type) a

Constructors

PropertyT
- unPropertyT :: TestT (GenT m) a

Instances23MonadTrans, MonadTransDistributive, MFunctor, MonadError, MonadReader, MonadState, …

MonadTrans PropertyTDefined in hedgehog-1.7 · Hedgehog.Internal.Property
MonadTransDistributive PropertyTDefined in hedgehog-1.7 · Hedgehog.Internal.Property
MFunctor PropertyTDefined in hedgehog-1.7 · Hedgehog.Internal.Property
MonadError e m => MonadError e (PropertyT m)Defined in hedgehog-1.7 · Hedgehog.Internal.Property
MonadReader r m => MonadReader r (PropertyT m)Defined in hedgehog-1.7 · Hedgehog.Internal.Property
MonadState s m => MonadState s (PropertyT m)Defined in hedgehog-1.7 · Hedgehog.Internal.Property
MonadBase b m => MonadBase b (PropertyT m)Defined in hedgehog-1.7 · Hedgehog.Internal.Property
MonadBaseControl b m => MonadBaseControl b (PropertyT m)Defined in hedgehog-1.7 · Hedgehog.Internal.Property
Monad m => Monad (PropertyT m)Defined in hedgehog-1.7 · Hedgehog.Internal.Property
Functor m => Functor (PropertyT m)Defined in hedgehog-1.7 · Hedgehog.Internal.Property
Monad m => MonadFail (PropertyT m)Defined in hedgehog-1.7 · Hedgehog.Internal.Property
Monad m => Applicative (PropertyT m)Defined in hedgehog-1.7 · Hedgehog.Internal.Property
MonadPlus m => Alternative (PropertyT m)Defined in hedgehog-1.7 · Hedgehog.Internal.Property
MonadPlus m => MonadPlus (PropertyT m)Defined in hedgehog-1.7 · Hedgehog.Internal.Property
MonadIO m => MonadIO (PropertyT m)Defined in hedgehog-1.7 · Hedgehog.Internal.Property
MonadCatch m => MonadCatch (PropertyT m)Defined in hedgehog-1.7 · Hedgehog.Internal.Property
MonadThrow m => MonadThrow (PropertyT m)Defined in hedgehog-1.7 · Hedgehog.Internal.Property
PrimMonad m => PrimMonad (PropertyT m)Defined in hedgehog-1.7 · Hedgehog.Internal.Property
MonadResource m => MonadResource (PropertyT m)Defined in hedgehog-1.7 · Hedgehog.Internal.Property
Monad m => MonadTest (PropertyT m)Defined in hedgehog-1.7 · Hedgehog.Internal.Property
type PrimState (PropertyT m) = PrimState mDefined in hedgehog-1.7 · Hedgehog.Internal.Property
type StM (PropertyT m) a = StM (TestT (GenT m)) aDefined in hedgehog-1.7 · Hedgehog.Internal.Property
type Transformer t PropertyT m = (Transformer t GenT m, Transformer t TestT (GenT m))Defined in hedgehog-1.7 · Hedgehog.Internal.Property

newtypenewtype ShrinkCount

Constructors

ShrinkCount Int

Instances7Enum, Eq, Integral, Num, Ord, Real, …

Enum ShrinkCountDefined in hedgehog-1.7 · Hedgehog.Internal.Property
Eq ShrinkCountDefined in hedgehog-1.7 · Hedgehog.Internal.Property
Integral ShrinkCountDefined in hedgehog-1.7 · Hedgehog.Internal.Property
Num ShrinkCountDefined in hedgehog-1.7 · Hedgehog.Internal.Property
Ord ShrinkCountDefined in hedgehog-1.7 · Hedgehog.Internal.Property
Real ShrinkCountDefined in hedgehog-1.7 · Hedgehog.Internal.Property
Show ShrinkCountDefined in hedgehog-1.7 · Hedgehog.Internal.Property

newtypenewtype ShrinkLimit

Constructors

ShrinkLimit Int

Instances8Enum, Eq, Integral, Num, Ord, Real, …

Enum ShrinkLimitDefined in hedgehog-1.7 · Hedgehog.Internal.Property
Eq ShrinkLimitDefined in hedgehog-1.7 · Hedgehog.Internal.Property
Integral ShrinkLimitDefined in hedgehog-1.7 · Hedgehog.Internal.Property
Num ShrinkLimitDefined in hedgehog-1.7 · Hedgehog.Internal.Property
Ord ShrinkLimitDefined in hedgehog-1.7 · Hedgehog.Internal.Property
Real ShrinkLimitDefined in hedgehog-1.7 · Hedgehog.Internal.Property
Show ShrinkLimitDefined in hedgehog-1.7 · Hedgehog.Internal.Property
Lift ShrinkLimitDefined in hedgehog-1.7 · Hedgehog.Internal.Property

newtypenewtype ShrinkPath

Constructors

ShrinkPath [Int]

Instances4Eq, Ord, Show, Lift

Eq ShrinkPathDefined in hedgehog-1.7 · Hedgehog.Internal.Property
Ord ShrinkPathDefined in hedgehog-1.7 · Hedgehog.Internal.Property
Show ShrinkPathDefined in hedgehog-1.7 · Hedgehog.Internal.Property
Lift ShrinkPathDefined in hedgehog-1.7 · Hedgehog.Internal.Property

newtypenewtype ShrinkRetries

Constructors

ShrinkRetries Int

Instances8Enum, Eq, Integral, Num, Ord, Real, …

Enum ShrinkRetriesDefined in hedgehog-1.7 · Hedgehog.Internal.Property
Eq ShrinkRetriesDefined in hedgehog-1.7 · Hedgehog.Internal.Property
Integral ShrinkRetriesDefined in hedgehog-1.7 · Hedgehog.Internal.Property
Num ShrinkRetriesDefined in hedgehog-1.7 · Hedgehog.Internal.Property
Ord ShrinkRetriesDefined in hedgehog-1.7 · Hedgehog.Internal.Property
Real ShrinkRetriesDefined in hedgehog-1.7 · Hedgehog.Internal.Property
Show ShrinkRetriesDefined in hedgehog-1.7 · Hedgehog.Internal.Property
Lift ShrinkRetriesDefined in hedgehog-1.7 · Hedgehog.Internal.Property

datadata Skip

Constructors

SkipNothing
SkipToTest TestCount DiscardCount
SkipToShrink TestCount DiscardCount ShrinkPath

Instances5Eq, Ord, Show, IsString, Lift

Eq SkipDefined in hedgehog-1.7 · Hedgehog.Internal.Property
Ord SkipDefined in hedgehog-1.7 · Hedgehog.Internal.Property
Show SkipDefined in hedgehog-1.7 · Hedgehog.Internal.Property
IsString SkipDefined in hedgehog-1.7 · Hedgehog.Internal.Property
Lift SkipDefined in hedgehog-1.7 · Hedgehog.Internal.Property

datadata TerminationCriteria

Constructors

EarlyTermination Confidence TestLimit
NoEarlyTermination Confidence TestLimit
NoConfidenceTermination TestLimit

Instances4Eq, Ord, Show, Lift

Eq TerminationCriteriaDefined in hedgehog-1.7 · Hedgehog.Internal.Property
Ord TerminationCriteriaDefined in hedgehog-1.7 · Hedgehog.Internal.Property
Show TerminationCriteriaDefined in hedgehog-1.7 · Hedgehog.Internal.Property
Lift TerminationCriteriaDefined in hedgehog-1.7 · Hedgehog.Internal.Property

typetype Test = TestT Identity

newtypenewtype TestCount

Constructors

TestCount Int

Instances8Enum, Eq, Integral, Num, Ord, Real, …

Enum TestCountDefined in hedgehog-1.7 · Hedgehog.Internal.Property
Eq TestCountDefined in hedgehog-1.7 · Hedgehog.Internal.Property
Integral TestCountDefined in hedgehog-1.7 · Hedgehog.Internal.Property
Num TestCountDefined in hedgehog-1.7 · Hedgehog.Internal.Property
Ord TestCountDefined in hedgehog-1.7 · Hedgehog.Internal.Property
Real TestCountDefined in hedgehog-1.7 · Hedgehog.Internal.Property
Show TestCountDefined in hedgehog-1.7 · Hedgehog.Internal.Property
Lift TestCountDefined in hedgehog-1.7 · Hedgehog.Internal.Property

newtypenewtype TestLimit

Constructors

TestLimit Int

Instances8Enum, Eq, Integral, Num, Ord, Real, …

Enum TestLimitDefined in hedgehog-1.7 · Hedgehog.Internal.Property
Eq TestLimitDefined in hedgehog-1.7 · Hedgehog.Internal.Property
Integral TestLimitDefined in hedgehog-1.7 · Hedgehog.Internal.Property
Num TestLimitDefined in hedgehog-1.7 · Hedgehog.Internal.Property
Ord TestLimitDefined in hedgehog-1.7 · Hedgehog.Internal.Property
Real TestLimitDefined in hedgehog-1.7 · Hedgehog.Internal.Property
Show TestLimitDefined in hedgehog-1.7 · Hedgehog.Internal.Property
Lift TestLimitDefined in hedgehog-1.7 · Hedgehog.Internal.Property

newtypenewtype TestT (m :: Type -> Type) a

Constructors

TestT
- unTest :: ExceptT Failure (WriterT Journal m) a

Instances23MonadTrans, MonadTransControl, MonadTransDistributive, MFunctor, MonadError, MonadReader, …

MonadTrans TestTDefined in hedgehog-1.7 · Hedgehog.Internal.Property
MonadTransControl TestTDefined in hedgehog-1.7 · Hedgehog.Internal.Property
MonadTransDistributive TestTDefined in hedgehog-1.7 · Hedgehog.Internal.Property
MFunctor TestTDefined in hedgehog-1.7 · Hedgehog.Internal.Property
MonadError e m => MonadError e (TestT m)Defined in hedgehog-1.7 · Hedgehog.Internal.Property
MonadReader r m => MonadReader r (TestT m)Defined in hedgehog-1.7 · Hedgehog.Internal.Property
MonadState s m => MonadState s (TestT m)Defined in hedgehog-1.7 · Hedgehog.Internal.Property
MonadBase b m => MonadBase b (TestT m)Defined in hedgehog-1.7 · Hedgehog.Internal.Property
MonadBaseControl b m => MonadBaseControl b (TestT m)Defined in hedgehog-1.7 · Hedgehog.Internal.Property
Monad m => Monad (TestT m)Defined in hedgehog-1.7 · Hedgehog.Internal.Property
Functor m => Functor (TestT m)Defined in hedgehog-1.7 · Hedgehog.Internal.Property
Monad m => MonadFail (TestT m)Defined in hedgehog-1.7 · Hedgehog.Internal.Property
Monad m => Applicative (TestT m)Defined in hedgehog-1.7 · Hedgehog.Internal.Property
MonadIO m => MonadIO (TestT m)Defined in hedgehog-1.7 · Hedgehog.Internal.Property
MonadCatch m => MonadCatch (TestT m)Defined in hedgehog-1.7 · Hedgehog.Internal.Property
MonadThrow m => MonadThrow (TestT m)Defined in hedgehog-1.7 · Hedgehog.Internal.Property
PrimMonad m => PrimMonad (TestT m)Defined in hedgehog-1.7 · Hedgehog.Internal.Property
MonadResource m => MonadResource (TestT m)Defined in hedgehog-1.7 · Hedgehog.Internal.Property
Monad m => MonadTest (TestT m)Defined in hedgehog-1.7 · Hedgehog.Internal.Property
type PrimState (TestT m) = PrimState mDefined in hedgehog-1.7 · Hedgehog.Internal.Property
type StM (TestT m) a = ComposeSt TestT m aDefined in hedgehog-1.7 · Hedgehog.Internal.Property
type StT TestT a = (Either Failure a, Journal)Defined in hedgehog-1.7 · Hedgehog.Internal.Property
type Transformer t TestT m = (Transformer t (WriterT Journal) m, Transformer t (ExceptT Failure) (WriterT Journal m))Defined in hedgehog-1.7 · Hedgehog.Internal.Property