Safe Haskell	None
Language	Haskell2010

Test.QuickCheck.Classes.Hspec

Documentation

toSpec :: Laws -> Spec Source #

legal :: forall c a. (Legal c, c a, Justice c a) => Spec Source #

class Legal (c :: k -> Constraint) where Source #

Methods

legal' :: forall (a :: k). (c a, Justice c a) => Proxy c -> Proxy a -> Laws Source #

Instances

Legal (Deselection f :: Pick -> Constraint) Source #
Instance details Defined in Shpadoinkle.Widgets.Types.Choice Methods legal' :: (Deselection f a, Justice (Deselection f) a) => Proxy (Deselection f) -> Proxy a -> Laws Source #
Legal (Selection f :: Pick -> Constraint) Source #
Instance details Defined in Shpadoinkle.Widgets.Types.Choice Methods legal' :: (Selection f a, Justice (Selection f) a) => Proxy (Selection f) -> Proxy a -> Laws Source #
Legal Enum Source #
Instance details Defined in Test.QuickCheck.Classes.Hspec Methods legal' :: (Enum a, Justice Enum a) => Proxy Enum -> Proxy a -> Laws Source #
Legal Eq Source #
Instance details Defined in Test.QuickCheck.Classes.Hspec Methods legal' :: (Eq a, Justice Eq a) => Proxy Eq -> Proxy a -> Laws Source #
Legal Ord Source #
Instance details Defined in Test.QuickCheck.Classes.Hspec Methods legal' :: (Ord a, Justice Ord a) => Proxy Ord -> Proxy a -> Laws Source #
Legal Show Source #
Instance details Defined in Test.QuickCheck.Classes.Hspec Methods legal' :: (Show a, Justice Show a) => Proxy Show -> Proxy a -> Laws Source #
Legal Semigroup Source #
Instance details Defined in Test.QuickCheck.Classes.Hspec Methods legal' :: (Semigroup a, Justice Semigroup a) => Proxy Semigroup -> Proxy a -> Laws Source #
Legal Monoid Source #
Instance details Defined in Test.QuickCheck.Classes.Hspec Methods legal' :: (Monoid a, Justice Monoid a) => Proxy Monoid -> Proxy a -> Laws Source #
Legal Monad Source #
Instance details Defined in Test.QuickCheck.Classes.Hspec Methods legal' :: (Monad a, Justice Monad a) => Proxy Monad -> Proxy a -> Laws Source #
Legal Functor Source #
Instance details Defined in Test.QuickCheck.Classes.Hspec Methods legal' :: (Functor a, Justice Functor a) => Proxy Functor -> Proxy a -> Laws Source #
Legal Applicative Source #
Instance details Defined in Test.QuickCheck.Classes.Hspec Methods legal' :: (Applicative a, Justice Applicative a) => Proxy Applicative -> Proxy a -> Laws Source #
Legal Foldable Source #
Instance details Defined in Test.QuickCheck.Classes.Hspec Methods legal' :: (Foldable a, Justice Foldable a) => Proxy Foldable -> Proxy a -> Laws Source #
Legal Alternative Source #
Instance details Defined in Test.QuickCheck.Classes.Hspec Methods legal' :: (Alternative a, Justice Alternative a) => Proxy Alternative -> Proxy a -> Laws Source #
Legal SetLike Source #
Instance details Defined in Shpadoinkle.Widgets.Types.Choice Methods legal' :: (SetLike a, Justice SetLike a) => Proxy SetLike -> Proxy a -> Laws Source #

class (forall a. Eq a => Eq (f a), forall a. Show a => Show (f a), forall a. Arbitrary a => Arbitrary (f a)) => Propable1 f Source #

Instances

(forall a. Eq a => Eq (f a), forall a. Show a => Show (f a), forall b. Arbitrary b => Arbitrary (f b)) => Propable1 f Source #
Instance details Defined in Test.QuickCheck.Classes.Hspec

class (forall a. Eq a => Eq (f a), forall a. Show a => Show (f a), forall a. Ord a => Ord (f a), forall g. (Ord g, Arbitrary g) => Arbitrary (f g)) => Propable1Ord f Source #

Instances

(forall a. Eq a => Eq (f a), forall a. Show a => Show (f a), forall a. Ord a => Ord (f a), forall c. (Ord c, Arbitrary c) => Arbitrary (f c)) => Propable1Ord f Source #
Instance details Defined in Test.QuickCheck.Classes.Hspec

class (Eq a, Show a, Arbitrary a) => Propable0 a Source #

Instances

(Eq a, Show a, Arbitrary a) => Propable0 a Source #
Instance details Defined in Test.QuickCheck.Classes.Hspec

class (Bounded a, Eq a, Show a, Arbitrary a) => Propable0Bounded a Source #

Instances

(Bounded a, Eq a, Show a, Arbitrary a) => Propable0Bounded a Source #
Instance details Defined in Test.QuickCheck.Classes.Hspec

type family Justice (c :: k -> Constraint) (a :: k) :: Constraint Source #

Instances

type Justice (Deselection f :: Pick -> Constraint) (p :: Pick) Source #
Instance details Defined in Shpadoinkle.Widgets.Types.Choice type Justice (Deselection f :: Pick -> Constraint) (p :: Pick) = PropableChoiceDe f p
type Justice (Selection f :: Pick -> Constraint) (p :: Pick) Source #
Instance details Defined in Shpadoinkle.Widgets.Types.Choice type Justice (Selection f :: Pick -> Constraint) (p :: Pick) = PropableChoice f p
type Justice Enum (a :: Type) Source #
Instance details Defined in Test.QuickCheck.Classes.Hspec type Justice Enum (a :: Type) = Propable0Bounded a
type Justice Eq (a :: Type) Source #
Instance details Defined in Test.QuickCheck.Classes.Hspec type Justice Eq (a :: Type) = Propable0 a
type Justice Ord (a :: Type) Source #
Instance details Defined in Test.QuickCheck.Classes.Hspec type Justice Ord (a :: Type) = Propable0 a
type Justice Show (a :: Type) Source #
Instance details Defined in Test.QuickCheck.Classes.Hspec type Justice Show (a :: Type) = Propable0 a
type Justice Semigroup (a :: Type) Source #
Instance details Defined in Test.QuickCheck.Classes.Hspec type Justice Semigroup (a :: Type) = Propable0 a
type Justice Monoid (a :: Type) Source #
Instance details Defined in Test.QuickCheck.Classes.Hspec type Justice Monoid (a :: Type) = Propable0 a
type Justice Monad (f :: Type -> Type) Source #
Instance details Defined in Test.QuickCheck.Classes.Hspec type Justice Monad (f :: Type -> Type) = Propable1 f
type Justice Functor (f :: Type -> Type) Source #
Instance details Defined in Test.QuickCheck.Classes.Hspec type Justice Functor (f :: Type -> Type) = Propable1 f
type Justice Applicative (f :: Type -> Type) Source #
Instance details Defined in Test.QuickCheck.Classes.Hspec type Justice Applicative (f :: Type -> Type) = Propable1 f
type Justice Foldable (f :: Type -> Type) Source #
Instance details Defined in Test.QuickCheck.Classes.Hspec type Justice Foldable (f :: Type -> Type) = Propable1Ord f
type Justice Traversable (f :: Type -> Type) Source #
Instance details Defined in Test.QuickCheck.Classes.Hspec type Justice Traversable (f :: Type -> Type) = Propable1 f
type Justice Alternative (f :: Type -> Type) Source #
Instance details Defined in Test.QuickCheck.Classes.Hspec type Justice Alternative (f :: Type -> Type) = Propable1 f
type Justice SetLike (f :: Type -> Type) Source #
Instance details Defined in Shpadoinkle.Widgets.Types.Choice type Justice SetLike (f :: Type -> Type) = Propable1Set f