Modulehedgehog-1.7

Hedgehog

29 types
8 classes
50 values

Packagehedgehog-1.7
Exports88
LicenceBSD-3-Clause
SourceClasses.hs

valuecompare1 :: (Ord1 f, Ord a) => f a -> f a -> Ordering

Lift the standard compare function through the type constructor.

valueeq1 :: (Eq1 f, Eq a) => f a -> f a -> Bool

Lift the standard (==) function through the type constructor.

valueshowsPrec1 :: (Show1 f, Show a) => Int -> f a -> ShowS

Lift the standard showsPrec and showList functions through the type constructor.

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 ()

valuecover

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

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

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

valueforAllWith

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

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

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

valuesuccess :: MonadTest m => m ()

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

valueverifiedTermination :: Property -> Property

valuewithConfidence :: Confidence -> Property -> Property

valuewithDiscards :: DiscardLimit -> Property -> Property

valuewithRetries :: ShrinkRetries -> Property -> Property

valuewithShrinks :: ShrinkLimit -> Property -> Property

valuewithSkip :: Skip -> Property -> Property

valuewithTests :: TestLimit -> Property -> Property

valuecheck :: MonadIO m => Property -> m Bool

valuecheckParallel :: MonadIO m => Group -> m Bool

valuecheckSequential :: MonadIO m => Group -> m Bool

valuerecheck :: MonadIO m => Size -> Seed -> Property -> m ()

valuerecheckAt :: MonadIO m => Seed -> Skip -> Property -> m ()

valueconcrete :: Var a Concrete -> a

valueexecuteParallel

:: (MonadTest m, MonadCatch m, MonadBaseControl IO m, HasCallStack)
=> forall (v :: Type -> Type). state v
-> Parallel m state
-> m ()

valueexecuteSequential

:: (MonadTest m, MonadCatch m, HasCallStack)
=> forall (v :: Type -> Type). state v
-> Sequential m state
-> m ()

valueopaque :: Var (Opaque a) Concrete -> a

valuediscover :: TExpQ Group

valuediscoverPrefix :: String -> TExpQ Group

valuetripping

:: (MonadTest m, Applicative f, Show b, Show (f a), Eq (f a), HasCallStack)
=> a
-> a -> b
-> b -> f a
-> m ()

classclass FunctorB (b :: (k -> Type) -> Type) where

Methods

bmap :: (forall (a :: k). f a -> g a) -> b f -> b g

Instances11FunctorB, …

FunctorB UnitDefined in barbies-2.1.1.0 · Barbies.Internal.Trivial
FunctorB VoidDefined in barbies-2.1.1.0 · Barbies.Internal.Trivial
FunctorB ProxyDefined in barbies-2.1.1.0 · Barbies.Internal.FunctorB
FunctorB (Var a)Defined in hedgehog-1.7 · Hedgehog.Internal.State
FunctorB (Const x)Defined in barbies-2.1.1.0 · Barbies.Internal.FunctorB
FunctorB (Constant x)Defined in barbies-2.1.1.0 · Barbies.Internal.FunctorB
FunctorB b => FunctorB (Barbie b)Defined in barbies-2.1.1.0 · Barbies.Internal.Wrappers
(FunctorB a, FunctorB b) => FunctorB (Product a b)Defined in barbies-2.1.1.0 · Barbies.Internal.FunctorB
(FunctorB a, FunctorB b) => FunctorB (Sum a b)Defined in barbies-2.1.1.0 · Barbies.Internal.FunctorB
FunctorT b => FunctorB (Flip b f)Defined in barbies-2.1.1.0 · Barbies.Bi
(Functor f, FunctorB b) => FunctorB (Compose f b)Defined in barbies-2.1.1.0 · Barbies.Internal.FunctorB

classclass FunctorB b => TraversableB (b :: (k -> Type) -> Type) where

Methods

btraverse :: Applicative e => (forall (a :: k). f a -> e (g a)) -> b f -> e (b g)

Instances11TraversableB, …

TraversableB UnitDefined in barbies-2.1.1.0 · Barbies.Internal.Trivial
TraversableB VoidDefined in barbies-2.1.1.0 · Barbies.Internal.Trivial
TraversableB ProxyDefined in barbies-2.1.1.0 · Barbies.Internal.TraversableB
TraversableB (Var a)Defined in hedgehog-1.7 · Hedgehog.Internal.State
TraversableB (Const a)Defined in barbies-2.1.1.0 · Barbies.Internal.TraversableB
TraversableB (Constant a)Defined in barbies-2.1.1.0 · Barbies.Internal.TraversableB
TraversableB b => TraversableB (Barbie b)Defined in barbies-2.1.1.0 · Barbies.Internal.Wrappers
(TraversableB a, TraversableB b) => TraversableB (Product a b)Defined in barbies-2.1.1.0 · Barbies.Internal.TraversableB
(TraversableB a, TraversableB b) => TraversableB (Sum a b)Defined in barbies-2.1.1.0 · Barbies.Internal.TraversableB
TraversableT b => TraversableB (Flip b f)Defined in barbies-2.1.1.0 · Barbies.Bi
(Traversable f, TraversableB b) => TraversableB (Compose f b)Defined in barbies-2.1.1.0 · Barbies.Internal.TraversableB

newtypenewtype Rec p a (x :: k)

Constructors

Rec
- unRec :: K1 R a x

Instances45GTraversable, GApplicative, GFunctor, GDistributive, GBare, GConstraints, …

GTraversable n f g (Rec (P n f a') (f a)) (Rec (P n g a') (g a))Defined in barbies-2.1.1.0 · Barbies.Generics.Traversable
GTraversable n f g (Rec a a) (Rec a a)Defined in barbies-2.1.1.0 · Barbies.Generics.Traversable
TraversableB b => GTraversable 0 f g (Rec (b (P 0 f)) (b f)) (Rec (b (P 0 g)) (b g))Defined in barbies-2.1.1.0 · Barbies.Internal.TraversableB · orphan
TraversableT t => GTraversable 1 f g (Rec (t (P 1 f) x) (t f x)) (Rec (t (P 1 g) x) (t g x))Defined in barbies-2.1.1.0 · Barbies.Internal.TraversableT · orphan
Traversable h => GTraversable n f g (Rec (h (P n f a)) (h (f a))) (Rec (h (P n g a)) (h (g a)))Defined in barbies-2.1.1.0 · Barbies.Generics.Traversable
(Traversable h, TraversableB b) => GTraversable 0 f g (Rec (h (b (P 0 f))) (h (b f))) (Rec (h (b (P 0 g))) (h (b g)))Defined in barbies-2.1.1.0 · Barbies.Internal.TraversableB · orphan
(Traversable h, TraversableT t) => GTraversable 1 f g (Rec (h (t (P 1 f) x)) (h (t f x))) (Rec (h (t (P 1 g) x)) (h (t g x)))Defined in barbies-2.1.1.0 · Barbies.Internal.TraversableT · orphan
(Traversable h, Traversable m, TraversableB b) => GTraversable 0 f g (Rec (m (h (b (P 0 f)))) (m (h (b f)))) (Rec (m (h (b (P 0 g)))) (m (h (b g))))Defined in barbies-2.1.1.0 · Barbies.Internal.TraversableB · orphan
(Traversable h, Traversable m, TraversableT t) => GTraversable 1 f g (Rec (m (h (t (P 1 f) x))) (m (h (t f x)))) (Rec (m (h (t (P 1 g) x))) (m (h (t g x))))Defined in barbies-2.1.1.0 · Barbies.Internal.TraversableT · orphan
GApplicative n f g (Rec (P n f a) (f a)) (Rec (P n g a) (g a)) (Rec (P n (Product f g) a) (Product f g a))Defined in barbies-2.1.1.0 · Barbies.Generics.Applicative
ApplicativeB b => GApplicative 0 f g (Rec (b (P 0 f)) (b f)) (Rec (b (P 0 g)) (b g)) (Rec (b (P 0 (Product f g))) (b (Product f g)))Defined in barbies-2.1.1.0 · Barbies.Internal.ApplicativeB · orphan
ApplicativeT t => GApplicative 1 f g (Rec (t (P 1 f) x) (t f x)) (Rec (t (P 1 g) x) (t g x)) (Rec (t (P 1 (Product f g)) x) (t (Product f g) x))Defined in barbies-2.1.1.0 · Barbies.Internal.ApplicativeT · orphan
Applicative h => GApplicative n f g (Rec (h (P n f a)) (h (f a))) (Rec (h (P n g a)) (h (g a))) (Rec (h (P n (Product f g) a)) (h (Product f g a)))Defined in barbies-2.1.1.0 · Barbies.Generics.Applicative
Monoid x => GApplicative n f g (Rec x x) (Rec x x) (Rec x x)Defined in barbies-2.1.1.0 · Barbies.Generics.Applicative
(Applicative h, ApplicativeB b) => GApplicative 0 f g (Rec (h (b (P 0 f))) (h (b f))) (Rec (h (b (P 0 g))) (h (b g))) (Rec (h (b (P 0 (Product f g)))) (h (b (Product f g))))Defined in barbies-2.1.1.0 · Barbies.Internal.ApplicativeB · orphan
(Applicative h, ApplicativeT t) => GApplicative 1 f g (Rec (h (t (P 1 f) x)) (h (t f x))) (Rec (h (t (P 1 g) x)) (h (t g x))) (Rec (h (t (P 1 (Product f g)) x)) (h (t (Product f g) x)))Defined in barbies-2.1.1.0 · Barbies.Internal.ApplicativeT · orphan
(Applicative h, Applicative m, ApplicativeB b) => GApplicative 0 f g (Rec (m (h (b (P 0 f)))) (m (h (b f)))) (Rec (m (h (b (P 0 g)))) (m (h (b g)))) (Rec (m (h (b (P 0 (Product f g))))) (m (h (b (Product f g)))))Defined in barbies-2.1.1.0 · Barbies.Internal.ApplicativeB · orphan
(Applicative h, Applicative m, ApplicativeT t) => GApplicative 1 f g (Rec (m (h (t (P 1 f) x))) (m (h (t f x)))) (Rec (m (h (t (P 1 g) x))) (m (h (t g x)))) (Rec (m (h (t (P 1 (Product f g)) x))) (m (h (t (Product f g) x))))Defined in barbies-2.1.1.0 · Barbies.Internal.ApplicativeT · orphan
GConstraints n c f (Rec a' a) (Rec b' b) (Rec b' b)Defined in barbies-2.1.1.0 · Barbies.Generics.Constraints
GFunctor n f g (Rec (P n f a') (f a)) (Rec (P n g a') (g a))Defined in barbies-2.1.1.0 · Barbies.Generics.Functor
GFunctor n f g (Rec x x) (Rec x x)Defined in barbies-2.1.1.0 · Barbies.Generics.Functor
FunctorB b => GFunctor 0 f g (Rec (b' (P 0 f)) (b f)) (Rec (b' (P 0 g)) (b g))Defined in barbies-2.1.1.0 · Barbies.Internal.FunctorB · orphan
FunctorT t => GFunctor 1 f g (Rec (t (P 1 f) x) (t f x)) (Rec (t (P 1 g) x) (t g x))Defined in barbies-2.1.1.0 · Barbies.Internal.FunctorT · orphan
Functor h => GFunctor n f g (Rec (h (P n f a')) (h (f a))) (Rec (h (P n g a')) (h (g a)))Defined in barbies-2.1.1.0 · Barbies.Generics.Functor
(Functor h, FunctorB b) => GFunctor 0 f g (Rec (h' (b' (P 0 f))) (h (b f))) (Rec (h' (b' (P 0 g))) (h (b g)))Defined in barbies-2.1.1.0 · Barbies.Internal.FunctorB · orphan
(Functor h, FunctorT t) => GFunctor 1 f g (Rec (h (t (P 1 f) x)) (h (t f x))) (Rec (h (t (P 1 g) x)) (h (t g x)))Defined in barbies-2.1.1.0 · Barbies.Internal.FunctorT · orphan
(Functor h, Functor m, FunctorB b) => GFunctor 0 f g (Rec (m' (h' (b' (P 0 f)))) (m (h (b f)))) (Rec (m' (h' (b' (P 0 g)))) (m (h (b g))))Defined in barbies-2.1.1.0 · Barbies.Internal.FunctorB · orphan
(Functor h, Functor m, FunctorT t) => GFunctor 1 f g (Rec (m (h (t (P 1 f) x))) (m (h (t f x)))) (Rec (m (h (t (P 1 g) x))) (m (h (t g x))))Defined in barbies-2.1.1.0 · Barbies.Internal.FunctorT · orphan
Functor f => GDistributive n f (Rec (P n g a) (g a)) (Rec (P n (Compose f g) a) (Compose f g a))Defined in barbies-2.1.1.0 · Barbies.Generics.Distributive
(Functor f, DistributiveB b) => GDistributive 0 f (Rec (b' (P 0 g)) (b g)) (Rec (b' (P 0 (Compose f g))) (b (Compose f g)))Defined in barbies-2.1.1.0 · Barbies.Internal.DistributiveB · orphan
(Functor f, DistributiveT t) => GDistributive 1 f (Rec (t (P 1 g) x) (t g x)) (Rec (t (P 1 (Compose f g)) x) (t (Compose f g) x))Defined in barbies-2.1.1.0 · Barbies.Internal.DistributiveT · orphan
(Functor f, Distributive h) => GDistributive n f (Rec (h (P n g a)) (h (g a))) (Rec (h (P n (Compose f g) a)) (h (Compose f g a)))Defined in barbies-2.1.1.0 · Barbies.Generics.Distributive
(Functor f, Distributive h, DistributiveB b) => GDistributive n f (Rec (h (b (P n g))) (h (b g))) (Rec (h (b (P n (Compose f g)))) (h (b (Compose f g))))Defined in barbies-2.1.1.0 · Barbies.Internal.DistributiveB · orphan
(Functor f, Distributive h, DistributiveT t) => GDistributive 1 f (Rec (h (t (P 1 g) x)) (h (t g x))) (Rec (h (t (P 1 (Compose f g)) x)) (h (t (Compose f g) x)))Defined in barbies-2.1.1.0 · Barbies.Internal.DistributiveT · orphan
BareB b => GBare 0 (Rec (b Covered (P 0 Identity)) (b Covered Identity)) (Rec (b Bare (P 0 Identity)) (b Bare Identity))Defined in barbies-2.1.1.0 · Barbies.Internal.BareB · orphan
Coercible a b => GBare n (Rec (P n Identity a) (Identity a)) (Rec b b)Defined in barbies-2.1.1.0 · Barbies.Generics.Bare
(Functor h, BareB b) => GBare 0 (Rec (h (b Covered (P 0 Identity))) (h (b Covered Identity))) (Rec (h (b Bare (P 0 Identity))) (h (b Bare Identity)))Defined in barbies-2.1.1.0 · Barbies.Internal.BareB · orphan
(Functor h, Functor m, BareB b) => GBare 0 (Rec (m (h (b Covered (P 0 Identity)))) (m (h (b Covered Identity)))) (Rec (m (h (b Bare (P 0 Identity)))) (m (h (b Bare Identity))))Defined in barbies-2.1.1.0 · Barbies.Internal.BareB · orphan
repbi ~ repbb => GBare n (Rec repbi repbi) (Rec repbb repbb)Defined in barbies-2.1.1.0 · Barbies.Generics.Bare
(ConstraintsB b, AllB c b) => GConstraints 0 c f (Other (b' (P 0 X)) (b X)) (Rec (b' (P 0 f)) (b f)) (Rec (b' (P 0 (Product (Dict c) f))) (b (Product (Dict c) f)))Defined in barbies-2.1.1.0 · Barbies.Internal.ConstraintsB · orphan
(ConstraintsB b, AllB c b) => GConstraints 0 c f (Self (b' (P 0 X)) (b X)) (Rec (b' (P 0 f)) (b f)) (Rec (b' (P 0 (Product (Dict c) f))) (b (Product (Dict c) f)))Defined in barbies-2.1.1.0 · Barbies.Internal.ConstraintsB · orphan
(ConstraintsT t, AllT c t) => GConstraints 1 c f (Other (t' (P 1 X) Y) (t X Y)) (Rec (t' (P 1 f) (P 0 y)) (t f y)) (Rec (t' (P 1 (Product (Dict c) f)) (P 0 y)) (t (Product (Dict c) f) y))Defined in barbies-2.1.1.0 · Barbies.Internal.ConstraintsT · orphan
(ConstraintsT t, AllT c t) => GConstraints 1 c f (Self (t' (P 1 X) Y) (t X Y)) (Rec (t' (P 1 f) (P 0 y)) (t f y)) (Rec (t' (P 1 (Product (Dict c) f)) (P 0 y)) (t (Product (Dict c) f) y))Defined in barbies-2.1.1.0 · Barbies.Internal.ConstraintsT · orphan
GConstraints n c f (Rec (P n X a') (X a)) (Rec (P n f a') (f a)) (Rec (P n (Product (Dict c) f) a') (Product (Dict c) f a))Defined in barbies-2.1.1.0 · Barbies.Generics.Constraints
type GAll n c (Rec l r) = GAllRec n c l rDefined in barbies-2.1.1.0 · Barbies.Generics.Constraints

classclass (forall a. Eq a => Eq (f a)) => Eq1 (f :: Type -> Type) where

Lifting of the Eq class to unary type constructors.

Any instance should be subject to the following law that canonicity is preserved:

liftEq (==) = (==)

This class therefore represents the generalization of Eq by decomposing its main method into a canonical lifting on a canonical inner method, so that the lifting can be reused for other arguments than the canonical one.

Instances69Lifting2, Lifting, Eq1, …

Eq1 ComplexDefined in base-4.23.0.0 · Data.Functor.Classes
Example1 expression
```
>>> eq1 (1 :+ 2) (1 :+ 2)True
```
Example1 expression
```
>>> eq1 (1 :+ 2) (1 :+ 3)False
```
Eq1 SCCDefined in containers-0.8 · Data.Graph
Eq1 IntMapDefined in containers-0.8 · Data.IntMap.Internal
Eq1 SeqDefined in containers-0.8 · Data.Sequence.Internal
Eq1 SetDefined in containers-0.8 · Data.Set.Internal
Eq1 TreeDefined in containers-0.8 · Data.Tree
Eq1 NonEmptyDefined in base-4.23.0.0 · Data.Functor.Classes
Eq1 IdentityDefined in base-4.23.0.0 · Data.Functor.Classes
Eq1 DownDefined in base-4.23.0.0 · Data.Functor.Classes
Eq1 Par1Defined in base-4.23.0.0 · Data.Functor.Classes
Eq1 MaybeDefined in base-4.23.0.0 · Data.Functor.Classes
Eq1 SoloDefined in base-4.23.0.0 · Data.Functor.Classes
Eq1 HashedDefined in hashable-1.5.1.0 · Data.Hashable.Class
Eq1 ConcreteDefined in hedgehog-1.7 · Hedgehog.Internal.State
Eq1 SymbolicDefined in hedgehog-1.7 · Hedgehog.Internal.State
Eq1 ArrayDefined in primitive-0.9.1.0 · Data.Primitive.Array
Eq1 SmallArrayDefined in primitive-0.9.1.0 · Data.Primitive.SmallArray
Eq1 HashSetDefined in unordered-containers-0.2.21 · Data.HashSet.Internal
Eq1 []Defined in base-4.23.0.0 · Data.Functor.Classes
Eq1 ProxyDefined in base-4.23.0.0 · Data.Functor.Classes
Eq1 U1Defined in base-4.23.0.0 · Data.Functor.Classes
Eq1 UAddrDefined in base-4.23.0.0 · Data.Functor.Classes
Eq1 UCharDefined in base-4.23.0.0 · Data.Functor.Classes
Eq1 UDoubleDefined in base-4.23.0.0 · Data.Functor.Classes
Eq1 UFloatDefined in base-4.23.0.0 · Data.Functor.Classes
Eq1 UIntDefined in base-4.23.0.0 · Data.Functor.Classes
Eq1 UWordDefined in base-4.23.0.0 · Data.Functor.Classes
Eq1 V1Defined in base-4.23.0.0 · Data.Functor.Classes
Eq1 f => Eq1 (Lift f)Defined in transformers-0.6.3.0 · Control.Applicative.Lift
Eq1 m => Eq1 (MaybeT m)Defined in transformers-0.6.3.0 · Control.Monad.Trans.Maybe
Eq a => Eq1 (Either a)Defined in base-4.23.0.0 · Data.Functor.Classes
Eq a => Eq1 (Tuple2 a)Defined in base-4.23.0.0 · Data.Functor.Classes
Eq k => Eq1 (Map k)Defined in containers-0.8 · Data.Map.Internal
Eq k => Eq1 (HashMap k)Defined in unordered-containers-0.2.21 · Data.HashMap.Internal
(GEq1 NonV4 (Rep1 f), Generic1 f) => Eq1 (FunctorClassesDefault f)Defined in transformers-compat-0.7.2 · Data.Functor.Classes.Generic.Internal
Eq1 (Tagged s)Defined in tagged-0.8.11 · Data.Tagged
Eq1 f => Eq1 (Rec1 f)Defined in base-4.23.0.0 · Data.Functor.Classes
Eq1 f => Eq1 (Backwards f)Defined in transformers-0.6.3.0 · Control.Applicative.Backwards
Eq1 f => Eq1 (IdentityT f)Defined in transformers-0.6.3.0 · Control.Monad.Trans.Identity
Eq1 f => Eq1 (Reverse f)Defined in transformers-0.6.3.0 · Data.Functor.Reverse
Eq a => Eq1 (Const a)Defined in base-4.23.0.0 · Data.Functor.Classes
Eq a => Eq1 (Constant a)Defined in transformers-0.6.3.0 · Data.Functor.Constant
(Eq a, Eq b) => Eq1 (Tuple3 a b)Defined in base-4.23.0.0 · Data.Functor.Classes
(Eq e, Eq1 m) => Eq1 (ExceptT e m)Defined in transformers-0.6.3.0 · Control.Monad.Trans.Except
(Eq w, Eq1 m) => Eq1 (WriterT w m)Defined in transformers-0.6.3.0 · Control.Monad.Trans.Writer.Lazy
(Eq w, Eq1 m) => Eq1 (WriterT w m)Defined in transformers-0.6.3.0 · Control.Monad.Trans.Writer.Strict
(Generic1 f, Eq1 (Rep1 f)) => Eq1 (Generically1 f)Defined in base-4.23.0.0 · Data.Functor.Classes
Lifting Eq1 LiftDefined in constraints-0.14.4 · Data.Constraint.Lifting
Lifting Eq1 MaybeTDefined in constraints-0.14.4 · Data.Constraint.Lifting
Lifting Eq1 BackwardsDefined in constraints-0.14.4 · Data.Constraint.Lifting
Lifting Eq1 IdentityTDefined in constraints-0.14.4 · Data.Constraint.Lifting
Lifting Eq1 ReverseDefined in constraints-0.14.4 · Data.Constraint.Lifting
Eq e => Lifting Eq1 (ExceptT e)Defined in constraints-0.14.4 · Data.Constraint.Lifting
Eq w => Lifting Eq1 (WriterT w)Defined in constraints-0.14.4 · Data.Constraint.Lifting
Eq w => Lifting Eq1 (WriterT w)Defined in constraints-0.14.4 · Data.Constraint.Lifting
Lifting2 Eq1 ProductDefined in constraints-0.14.4 · Data.Constraint.Lifting
Lifting2 Eq1 SumDefined in constraints-0.14.4 · Data.Constraint.Lifting
Eq1 f => Lifting Eq1 (Product f)Defined in constraints-0.14.4 · Data.Constraint.Lifting
Eq1 f => Lifting Eq1 (Sum f)Defined in constraints-0.14.4 · Data.Constraint.Lifting
Eq1 f => Lifting Eq1 (Compose f)Defined in constraints-0.14.4 · Data.Constraint.Lifting
Eq c => Eq1 (K1 i c)Defined in base-4.23.0.0 · Data.Functor.Classes
(Eq1 f, Eq1 g) => Eq1 (Product f g)Defined in base-4.23.0.0 · Data.Functor.Product
(Eq1 f, Eq1 g) => Eq1 (Sum f g)Defined in base-4.23.0.0 · Data.Functor.Sum
(Eq1 f, Eq1 g) => Eq1 (f :*: g)Defined in base-4.23.0.0 · Data.Functor.Classes
(Eq1 f, Eq1 g) => Eq1 (f :+: g)Defined in base-4.23.0.0 · Data.Functor.Classes
(Eq a, Eq b, Eq c) => Eq1 (Tuple4 a b c)Defined in base-4.23.0.0 · Data.Functor.Classes
Eq1 f => Eq1 (M1 i c f)Defined in base-4.23.0.0 · Data.Functor.Classes
(Eq1 f, Eq1 g) => Eq1 (Compose f g)Defined in base-4.23.0.0 · Data.Functor.Compose
(Eq1 f, Eq1 g) => Eq1 (f :.: g)Defined in base-4.23.0.0 · Data.Functor.Classes

classclass (Eq1 f, forall a. Ord a => Ord (f a)) => Ord1 (f :: Type -> Type) where

Lifting of the Ord class to unary type constructors.

Any instance should be subject to the following law that canonicity is preserved:

liftCompare compare = compare

This class therefore represents the generalization of Ord by decomposing its main method into a canonical lifting on a canonical inner method, so that the lifting can be reused for other arguments than the canonical one.

Instances67Lifting2, Lifting, Ord1, …

Ord1 IntMapDefined in containers-0.8 · Data.IntMap.Internal
Ord1 SeqDefined in containers-0.8 · Data.Sequence.Internal
Ord1 SetDefined in containers-0.8 · Data.Set.Internal
Ord1 TreeDefined in containers-0.8 · Data.Tree
Ord1 NonEmptyDefined in base-4.23.0.0 · Data.Functor.Classes
Ord1 IdentityDefined in base-4.23.0.0 · Data.Functor.Classes
Ord1 DownDefined in base-4.23.0.0 · Data.Functor.Classes
Ord1 Par1Defined in base-4.23.0.0 · Data.Functor.Classes
Ord1 MaybeDefined in base-4.23.0.0 · Data.Functor.Classes
Ord1 SoloDefined in base-4.23.0.0 · Data.Functor.Classes
Ord1 HashedDefined in hashable-1.5.1.0 · Data.Hashable.Class
Ord1 ConcreteDefined in hedgehog-1.7 · Hedgehog.Internal.State
Ord1 SymbolicDefined in hedgehog-1.7 · Hedgehog.Internal.State
Ord1 ArrayDefined in primitive-0.9.1.0 · Data.Primitive.Array
Ord1 SmallArrayDefined in primitive-0.9.1.0 · Data.Primitive.SmallArray
Ord1 HashSetDefined in unordered-containers-0.2.21 · Data.HashSet.Internal
Ord1 []Defined in base-4.23.0.0 · Data.Functor.Classes
Ord1 ProxyDefined in base-4.23.0.0 · Data.Functor.Classes
Ord1 U1Defined in base-4.23.0.0 · Data.Functor.Classes
Ord1 UAddrDefined in base-4.23.0.0 · Data.Functor.Classes
Ord1 UCharDefined in base-4.23.0.0 · Data.Functor.Classes
Ord1 UDoubleDefined in base-4.23.0.0 · Data.Functor.Classes
Ord1 UFloatDefined in base-4.23.0.0 · Data.Functor.Classes
Ord1 UIntDefined in base-4.23.0.0 · Data.Functor.Classes
Ord1 UWordDefined in base-4.23.0.0 · Data.Functor.Classes
Ord1 V1Defined in base-4.23.0.0 · Data.Functor.Classes
Ord1 f => Ord1 (Lift f)Defined in transformers-0.6.3.0 · Control.Applicative.Lift
Ord1 m => Ord1 (MaybeT m)Defined in transformers-0.6.3.0 · Control.Monad.Trans.Maybe
Ord a => Ord1 (Either a)Defined in base-4.23.0.0 · Data.Functor.Classes
Ord a => Ord1 (Tuple2 a)Defined in base-4.23.0.0 · Data.Functor.Classes
Ord k => Ord1 (Map k)Defined in containers-0.8 · Data.Map.Internal
Ord k => Ord1 (HashMap k)Defined in unordered-containers-0.2.21 · Data.HashMap.Internal
(GOrd1 NonV4 (Rep1 f), Generic1 f) => Ord1 (FunctorClassesDefault f)Defined in transformers-compat-0.7.2 · Data.Functor.Classes.Generic.Internal
Ord1 (Tagged s)Defined in tagged-0.8.11 · Data.Tagged
Ord1 f => Ord1 (Rec1 f)Defined in base-4.23.0.0 · Data.Functor.Classes
Ord1 f => Ord1 (Backwards f)Defined in transformers-0.6.3.0 · Control.Applicative.Backwards
Ord1 f => Ord1 (IdentityT f)Defined in transformers-0.6.3.0 · Control.Monad.Trans.Identity
Ord1 f => Ord1 (Reverse f)Defined in transformers-0.6.3.0 · Data.Functor.Reverse
Ord a => Ord1 (Const a)Defined in base-4.23.0.0 · Data.Functor.Classes
Ord a => Ord1 (Constant a)Defined in transformers-0.6.3.0 · Data.Functor.Constant
(Ord a, Ord b) => Ord1 (Tuple3 a b)Defined in base-4.23.0.0 · Data.Functor.Classes
(Ord e, Ord1 m) => Ord1 (ExceptT e m)Defined in transformers-0.6.3.0 · Control.Monad.Trans.Except
(Ord w, Ord1 m) => Ord1 (WriterT w m)Defined in transformers-0.6.3.0 · Control.Monad.Trans.Writer.Lazy
(Ord w, Ord1 m) => Ord1 (WriterT w m)Defined in transformers-0.6.3.0 · Control.Monad.Trans.Writer.Strict
(Generic1 f, Ord1 (Rep1 f)) => Ord1 (Generically1 f)Defined in base-4.23.0.0 · Data.Functor.Classes
Lifting Ord1 LiftDefined in constraints-0.14.4 · Data.Constraint.Lifting
Lifting Ord1 MaybeTDefined in constraints-0.14.4 · Data.Constraint.Lifting
Lifting Ord1 BackwardsDefined in constraints-0.14.4 · Data.Constraint.Lifting
Lifting Ord1 IdentityTDefined in constraints-0.14.4 · Data.Constraint.Lifting
Lifting Ord1 ReverseDefined in constraints-0.14.4 · Data.Constraint.Lifting
Ord e => Lifting Ord1 (ExceptT e)Defined in constraints-0.14.4 · Data.Constraint.Lifting
Ord w => Lifting Ord1 (WriterT w)Defined in constraints-0.14.4 · Data.Constraint.Lifting
Ord w => Lifting Ord1 (WriterT w)Defined in constraints-0.14.4 · Data.Constraint.Lifting
Lifting2 Ord1 ProductDefined in constraints-0.14.4 · Data.Constraint.Lifting
Lifting2 Ord1 SumDefined in constraints-0.14.4 · Data.Constraint.Lifting
Ord1 f => Lifting Ord1 (Product f)Defined in constraints-0.14.4 · Data.Constraint.Lifting
Ord1 f => Lifting Ord1 (Sum f)Defined in constraints-0.14.4 · Data.Constraint.Lifting
Ord1 f => Lifting Ord1 (Compose f)Defined in constraints-0.14.4 · Data.Constraint.Lifting
Ord c => Ord1 (K1 i c)Defined in base-4.23.0.0 · Data.Functor.Classes
(Ord1 f, Ord1 g) => Ord1 (Product f g)Defined in base-4.23.0.0 · Data.Functor.Product
(Ord1 f, Ord1 g) => Ord1 (Sum f g)Defined in base-4.23.0.0 · Data.Functor.Sum
(Ord1 f, Ord1 g) => Ord1 (f :*: g)Defined in base-4.23.0.0 · Data.Functor.Classes
(Ord1 f, Ord1 g) => Ord1 (f :+: g)Defined in base-4.23.0.0 · Data.Functor.Classes
(Ord a, Ord b, Ord c) => Ord1 (Tuple4 a b c)Defined in base-4.23.0.0 · Data.Functor.Classes
Ord1 f => Ord1 (M1 i c f)Defined in base-4.23.0.0 · Data.Functor.Classes
(Ord1 f, Ord1 g) => Ord1 (Compose f g)Defined in base-4.23.0.0 · Data.Functor.Compose
(Ord1 f, Ord1 g) => Ord1 (f :.: g)Defined in base-4.23.0.0 · Data.Functor.Classes

classclass (forall a. Show a => Show (f a)) => Show1 (f :: Type -> Type) where

Lifting of the Show class to unary type constructors.

Any instance should be subject to the following laws that canonicity is preserved:

liftShowsPrec showsPrec showList = showsPrec

liftShowList showsPrec showList = showList

This class therefore represents the generalization of Show by decomposing it's methods into a canonical lifting on a canonical inner method, so that the lifting can be reused for other arguments than the canonical one.

Instances71Lifting2, Lifting, Show1, …

Show1 ComplexDefined in base-4.23.0.0 · Data.Functor.Classes
Example1 expression
```
>>> showsPrec1 0 (2 :+ 3) """2 :+ 3"
```
Show1 SCCDefined in containers-0.8 · Data.Graph
Show1 IntMapDefined in containers-0.8 · Data.IntMap.Internal
Show1 SeqDefined in containers-0.8 · Data.Sequence.Internal
Show1 SetDefined in containers-0.8 · Data.Set.Internal
Show1 TreeDefined in containers-0.8 · Data.Tree
Show1 NonEmptyDefined in base-4.23.0.0 · Data.Functor.Classes
Show1 IdentityDefined in base-4.23.0.0 · Data.Functor.Classes
Show1 DownDefined in base-4.23.0.0 · Data.Functor.Classes
Show1 Par1Defined in base-4.23.0.0 · Data.Functor.Classes
Show1 MaybeDefined in base-4.23.0.0 · Data.Functor.Classes
Show1 SoloDefined in base-4.23.0.0 · Data.Functor.Classes
Show1 HashedDefined in hashable-1.5.1.0 · Data.Hashable.Class
Show1 ConcreteDefined in hedgehog-1.7 · Hedgehog.Internal.State
Show1 SymbolicDefined in hedgehog-1.7 · Hedgehog.Internal.State
Show1 ArrayDefined in primitive-0.9.1.0 · Data.Primitive.Array
Show1 SmallArrayDefined in primitive-0.9.1.0 · Data.Primitive.SmallArray
Show1 HashSetDefined in unordered-containers-0.2.21 · Data.HashSet.Internal
Show1 []Defined in base-4.23.0.0 · Data.Functor.Classes
Show1 ProxyDefined in base-4.23.0.0 · Data.Functor.Classes
Show1 U1Defined in base-4.23.0.0 · Data.Functor.Classes
Show1 UAddrDefined in base-4.23.0.0 · Data.Functor.Classes
Show1 UCharDefined in base-4.23.0.0 · Data.Functor.Classes
Show1 UDoubleDefined in base-4.23.0.0 · Data.Functor.Classes
Show1 UFloatDefined in base-4.23.0.0 · Data.Functor.Classes
Show1 UIntDefined in base-4.23.0.0 · Data.Functor.Classes
Show1 UWordDefined in base-4.23.0.0 · Data.Functor.Classes
Show1 V1Defined in base-4.23.0.0 · Data.Functor.Classes
Show1 f => Show1 (Lift f)Defined in transformers-0.6.3.0 · Control.Applicative.Lift
Show1 m => Show1 (NodeT m)Defined in hedgehog-1.7 · Hedgehog.Internal.Tree
Show1 m => Show1 (TreeT m)Defined in hedgehog-1.7 · Hedgehog.Internal.Tree
Show1 m => Show1 (MaybeT m)Defined in transformers-0.6.3.0 · Control.Monad.Trans.Maybe
Show a => Show1 (Either a)Defined in base-4.23.0.0 · Data.Functor.Classes
Show a => Show1 (Tuple2 a)Defined in base-4.23.0.0 · Data.Functor.Classes
Show k => Show1 (Map k)Defined in containers-0.8 · Data.Map.Internal
Show k => Show1 (HashMap k)Defined in unordered-containers-0.2.21 · Data.HashMap.Internal
(GShow1 NonV4 (Rep1 f), Generic1 f) => Show1 (FunctorClassesDefault f)Defined in transformers-compat-0.7.2 · Data.Functor.Classes.Generic.Internal
Show1 (Dict c)Defined in barbies-2.1.1.0 · Barbies.Internal.Dicts
Show1 (Tagged s)Defined in tagged-0.8.11 · Data.Tagged
Show1 f => Show1 (Rec1 f)Defined in base-4.23.0.0 · Data.Functor.Classes
Show1 f => Show1 (Backwards f)Defined in transformers-0.6.3.0 · Control.Applicative.Backwards
Show1 f => Show1 (IdentityT f)Defined in transformers-0.6.3.0 · Control.Monad.Trans.Identity
Show1 f => Show1 (Reverse f)Defined in transformers-0.6.3.0 · Data.Functor.Reverse
Show a => Show1 (Const a)Defined in base-4.23.0.0 · Data.Functor.Classes
Show a => Show1 (Constant a)Defined in transformers-0.6.3.0 · Data.Functor.Constant
(Show a, Show b) => Show1 (Tuple3 a b)Defined in base-4.23.0.0 · Data.Functor.Classes
(Show e, Show1 m) => Show1 (ExceptT e m)Defined in transformers-0.6.3.0 · Control.Monad.Trans.Except
(Show w, Show1 m) => Show1 (WriterT w m)Defined in transformers-0.6.3.0 · Control.Monad.Trans.Writer.Lazy
(Show w, Show1 m) => Show1 (WriterT w m)Defined in transformers-0.6.3.0 · Control.Monad.Trans.Writer.Strict
Lifting Show1 LiftDefined in constraints-0.14.4 · Data.Constraint.Lifting
Lifting Show1 MaybeTDefined in constraints-0.14.4 · Data.Constraint.Lifting
Lifting Show1 BackwardsDefined in constraints-0.14.4 · Data.Constraint.Lifting
Lifting Show1 IdentityTDefined in constraints-0.14.4 · Data.Constraint.Lifting
Lifting Show1 ReverseDefined in constraints-0.14.4 · Data.Constraint.Lifting
Show e => Lifting Show1 (ExceptT e)Defined in constraints-0.14.4 · Data.Constraint.Lifting
Show w => Lifting Show1 (WriterT w)Defined in constraints-0.14.4 · Data.Constraint.Lifting
Show w => Lifting Show1 (WriterT w)Defined in constraints-0.14.4 · Data.Constraint.Lifting
Lifting2 Show1 ProductDefined in constraints-0.14.4 · Data.Constraint.Lifting
Lifting2 Show1 SumDefined in constraints-0.14.4 · Data.Constraint.Lifting
Show1 f => Lifting Show1 (Product f)Defined in constraints-0.14.4 · Data.Constraint.Lifting
Show1 f => Lifting Show1 (Sum f)Defined in constraints-0.14.4 · Data.Constraint.Lifting
Show1 f => Lifting Show1 (Compose f)Defined in constraints-0.14.4 · Data.Constraint.Lifting
Show c => Show1 (K1 i c)Defined in base-4.23.0.0 · Data.Functor.Classes
(Show1 f, Show1 g) => Show1 (Product f g)Defined in base-4.23.0.0 · Data.Functor.Product
(Show1 f, Show1 g) => Show1 (Sum f g)Defined in base-4.23.0.0 · Data.Functor.Sum
(Show1 f, Show1 g) => Show1 (f :*: g)Defined in base-4.23.0.0 · Data.Functor.Classes
(Show1 f, Show1 g) => Show1 (f :+: g)Defined in base-4.23.0.0 · Data.Functor.Classes
(Show a, Show b, Show c) => Show1 (Tuple4 a b c)Defined in base-4.23.0.0 · Data.Functor.Classes
Show1 f => Show1 (M1 i c f)Defined in base-4.23.0.0 · Data.Functor.Classes
(Show1 f, Show1 g) => Show1 (Compose f g)Defined in base-4.23.0.0 · Data.Functor.Compose
(Show1 f, Show1 g) => Show1 (f :.: g)Defined in base-4.23.0.0 · Data.Functor.Classes

methoddistributeT :: Transformer f g m => g (f m) a -> f (g m) a

typetype Gen = GenT Identity

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

Instances28MonadTrans, MMonad, MonadTransDistributive, MFunctor, MonadError, MonadReader, …

MonadTrans GenTDefined in hedgehog-1.7 · Hedgehog.Internal.Gen
MMonad GenTDefined in hedgehog-1.7 · Hedgehog.Internal.Gen
MonadTransDistributive GenTDefined in hedgehog-1.7 · Hedgehog.Internal.Gen
MFunctor GenTDefined in hedgehog-1.7 · Hedgehog.Internal.Gen
MonadError e m => MonadError e (GenT m)Defined in hedgehog-1.7 · Hedgehog.Internal.Gen
MonadReader r m => MonadReader r (GenT m)Defined in hedgehog-1.7 · Hedgehog.Internal.Gen
MonadState s m => MonadState s (GenT m)Defined in hedgehog-1.7 · Hedgehog.Internal.Gen
MonadWriter w m => MonadWriter w (GenT m)Defined in hedgehog-1.7 · Hedgehog.Internal.Gen
MonadBase b m => MonadBase b (GenT m)Defined in hedgehog-1.7 · Hedgehog.Internal.Gen
MonadBaseControl b m => MonadBaseControl b (GenT m)Defined in hedgehog-1.7 · Hedgehog.Internal.Gen
Monad m => Monad (GenT m)Defined in hedgehog-1.7 · Hedgehog.Internal.Gen
Functor m => Functor (GenT m)Defined in hedgehog-1.7 · Hedgehog.Internal.Gen
Monad m => MonadFail (GenT m)Defined in hedgehog-1.7 · Hedgehog.Internal.Gen
Monad m => Applicative (GenT m)Defined in hedgehog-1.7 · Hedgehog.Internal.Gen
Monad m => Alternative (GenT m)Defined in hedgehog-1.7 · Hedgehog.Internal.Gen
Monad m => MonadPlus (GenT m)Defined in hedgehog-1.7 · Hedgehog.Internal.Gen
MonadIO m => MonadIO (GenT m)Defined in hedgehog-1.7 · Hedgehog.Internal.Gen
MonadCatch m => MonadCatch (GenT m)Defined in hedgehog-1.7 · Hedgehog.Internal.Gen
MonadThrow m => MonadThrow (GenT m)Defined in hedgehog-1.7 · Hedgehog.Internal.Gen
PrimMonad m => PrimMonad (GenT m)Defined in hedgehog-1.7 · Hedgehog.Internal.Gen
MonadResource m => MonadResource (GenT m)Defined in hedgehog-1.7 · Hedgehog.Internal.Gen
Monad m => MonadGen (GenT m)Defined in hedgehog-1.7 · Hedgehog.Internal.Gen
(Monad m, Semigroup a) => Semigroup (GenT m a)Defined in hedgehog-1.7 · Hedgehog.Internal.Gen
(Monad m, Monoid a) => Monoid (GenT m a)Defined in hedgehog-1.7 · Hedgehog.Internal.Gen
type PrimState (GenT m) = PrimState mDefined in hedgehog-1.7 · Hedgehog.Internal.Gen
type StM (GenT m) a = StM (ReaderT Size (ReaderT Seed (TreeT (MaybeT m)))) aDefined in hedgehog-1.7 · Hedgehog.Internal.Gen
type GenBase (GenT m) = mDefined in hedgehog-1.7 · Hedgehog.Internal.Gen
type Transformer t GenT m = (Monad (t (GenT m)), Transformer t MaybeT m, Transformer t TreeT (MaybeT m))Defined in hedgehog-1.7 · Hedgehog.Internal.Gen

classclass (Monad m, Monad (GenBase m)) => MonadGen (m :: Type -> Type) where

Associated types

type family GenBase (m :: Type -> Type) :: Type -> Type

Methods

toGenT :: m a -> GenT (GenBase m) a
fromGenT :: GenT (GenBase m) a -> m a

Instances9MonadGen, …

Monad m => MonadGen (GenT m)Defined in hedgehog-1.7 · Hedgehog.Internal.Gen
MonadGen m => MonadGen (MaybeT m)Defined in hedgehog-1.7 · Hedgehog.Internal.Gen
MonadGen m => MonadGen (ExceptT x m)Defined in hedgehog-1.7 · Hedgehog.Internal.Gen
MonadGen m => MonadGen (IdentityT m)Defined in hedgehog-1.7 · Hedgehog.Internal.Gen
MonadGen m => MonadGen (ReaderT r m)Defined in hedgehog-1.7 · Hedgehog.Internal.Gen
MonadGen m => MonadGen (StateT r m)Defined in hedgehog-1.7 · Hedgehog.Internal.Gen
MonadGen m => MonadGen (StateT r m)Defined in hedgehog-1.7 · Hedgehog.Internal.Gen
(MonadGen m, Monoid w) => MonadGen (WriterT w m)Defined in hedgehog-1.7 · Hedgehog.Internal.Gen
(MonadGen m, Monoid w) => MonadGen (WriterT w m)Defined in hedgehog-1.7 · Hedgehog.Internal.Gen

classclass HTraversable (t :: (Type -> Type) -> Type) where

Deprecated. Replace with Hedgehog.TraversableB (defined in Data.Functor.Barbie) which can be derived automatically using GHC.Generics

Methods

htraverse :: Applicative f => (forall a. g a -> f (h a)) -> t g -> f (t h)

newtypenewtype Opaque a

Constructors

Opaque
- unOpaque :: a

Instances3Eq, Ord, Show

Eq a => Eq (Opaque a)Defined in hedgehog-1.7 · Hedgehog.Internal.Opaque
Ord a => Ord (Opaque a)Defined in hedgehog-1.7 · Hedgehog.Internal.Opaque
Show (Opaque a)Defined in hedgehog-1.7 · Hedgehog.Internal.Opaque

newtypenewtype Confidence

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

newtypenewtype DiscardLimit

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 Group

Constructors

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

newtypenewtype GroupName

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 LabelName

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

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

newtypenewtype PropertyName

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

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 ShrinkLimit

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 ShrinkRetries

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

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

typetype Test = TestT Identity

newtypenewtype TestLimit

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

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

datadata Range a

Instances1Functor

Functor RangeDefined in hedgehog-1.7 · Hedgehog.Internal.Range

newtypenewtype Size

Constructors

Size
- unSize :: Int

Instances8Enum, Eq, Integral, Num, Ord, Read, …

Enum SizeDefined in hedgehog-1.7 · Hedgehog.Internal.Range
Eq SizeDefined in hedgehog-1.7 · Hedgehog.Internal.Range
Integral SizeDefined in hedgehog-1.7 · Hedgehog.Internal.Range
Num SizeDefined in hedgehog-1.7 · Hedgehog.Internal.Range
Ord SizeDefined in hedgehog-1.7 · Hedgehog.Internal.Range
Read SizeDefined in hedgehog-1.7 · Hedgehog.Internal.Range
Real SizeDefined in hedgehog-1.7 · Hedgehog.Internal.Range
Show SizeDefined in hedgehog-1.7 · Hedgehog.Internal.Range

datadata Seed

Constructors

Seed
- seedValue :: !Word64
- seedGamma :: !Word64

Instances6Eq, Ord, Read, Show, RandomGen, Lift

Eq SeedDefined in hedgehog-1.7 · Hedgehog.Internal.Seed
Ord SeedDefined in hedgehog-1.7 · Hedgehog.Internal.Seed
Read SeedDefined in hedgehog-1.7 · Hedgehog.Internal.Seed
Show SeedDefined in hedgehog-1.7 · Hedgehog.Internal.Seed
RandomGen SeedDefined in hedgehog-1.7 · Hedgehog.Internal.Seed
Lift SeedDefined in hedgehog-1.7 · Hedgehog.Internal.Seed

datadata Action (m :: Type -> Type) (state :: (Type -> Type) -> Type)

Instances1Show

Show (Action m state)Defined in hedgehog-1.7 · Hedgehog.Internal.State

datadata Callback (input :: (Type -> Type) -> Type) output (state :: (Type -> Type) -> Type)

Constructors

Require (state Symbolic -> input Symbolic -> Bool)
Update (forall (v :: Type -> Type). Ord1 v => state v -> input v -> Var output v -> state v)
Ensure (state Concrete -> state Concrete -> input Concrete -> output -> Test ())

datadata Command (gen :: Type -> Type) (m :: Type -> Type) (state :: (Type -> Type) -> Type)

Constructors

forall input output. (TraversableB input, Show (input Symbolic), Show output, Typeable output) => Command
- commandGen :: state Symbolic -> Maybe (gen (input Symbolic))
- commandExecute :: input Concrete -> m output
- commandCallbacks :: [Callback input output state]

newtypenewtype Concrete a where

Constructors

Concrete :: a -> Concrete a

Instances9Functor, Foldable, Traversable, Eq1, Ord1, Show1, …

Functor ConcreteDefined in hedgehog-1.7 · Hedgehog.Internal.State
Foldable ConcreteDefined in hedgehog-1.7 · Hedgehog.Internal.State
Traversable ConcreteDefined in hedgehog-1.7 · Hedgehog.Internal.State
Eq1 ConcreteDefined in hedgehog-1.7 · Hedgehog.Internal.State
Ord1 ConcreteDefined in hedgehog-1.7 · Hedgehog.Internal.State
Show1 ConcreteDefined in hedgehog-1.7 · Hedgehog.Internal.State
Eq a => Eq (Concrete a)Defined in hedgehog-1.7 · Hedgehog.Internal.State
Ord a => Ord (Concrete a)Defined in hedgehog-1.7 · Hedgehog.Internal.State
Show a => Show (Concrete a)Defined in hedgehog-1.7 · Hedgehog.Internal.State

datadata Parallel (m :: Type -> Type) (state :: (Type -> Type) -> Type)

Constructors

Parallel
- parallelPrefix :: [Action m state]
- parallelBranch1 :: [Action m state]
- parallelBranch2 :: [Action m state]

Instances1Show

Show (Parallel m state)Defined in hedgehog-1.7 · Hedgehog.Internal.State

newtypenewtype Sequential (m :: Type -> Type) (state :: (Type -> Type) -> Type)

Constructors

Sequential
- sequentialActions :: [Action m state]

Instances1Show

Show (Sequential m state)Defined in hedgehog-1.7 · Hedgehog.Internal.State

datadata Symbolic a where

Instances6Eq1, Ord1, Show1, Eq, Ord, Show

Eq1 SymbolicDefined in hedgehog-1.7 · Hedgehog.Internal.State
Ord1 SymbolicDefined in hedgehog-1.7 · Hedgehog.Internal.State
Show1 SymbolicDefined in hedgehog-1.7 · Hedgehog.Internal.State
Eq (Symbolic a)Defined in hedgehog-1.7 · Hedgehog.Internal.State
Ord (Symbolic a)Defined in hedgehog-1.7 · Hedgehog.Internal.State
Show (Symbolic a)Defined in hedgehog-1.7 · Hedgehog.Internal.State

newtypenewtype Var a (v :: Type -> Type)

Constructors

Var (v a)

Instances5FunctorB, TraversableB, Eq, Ord, Show

FunctorB (Var a)Defined in hedgehog-1.7 · Hedgehog.Internal.State
TraversableB (Var a)Defined in hedgehog-1.7 · Hedgehog.Internal.State
(Eq a, Eq1 v) => Eq (Var a v)Defined in hedgehog-1.7 · Hedgehog.Internal.State
(Ord a, Ord1 v) => Ord (Var a v)Defined in hedgehog-1.7 · Hedgehog.Internal.State
(Show a, Show1 v) => Show (Var a v)Defined in hedgehog-1.7 · Hedgehog.Internal.State