Modulehedgehog-1.7

Hedgehog.Internal.Property

30 types
1 class
62 values

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