Shpadoinkle-widgets-0.2.0.1: A collection of common reusable types and components.

Safe HaskellNone
LanguageHaskell2010

Test.QuickCheck.Classes.Hspec

Documentation

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

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

Legal Foldable Source # 
Instance details

Defined in Test.QuickCheck.Classes.Hspec

Legal Alternative Source # 
Instance details

Defined in Test.QuickCheck.Classes.Hspec

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 (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 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 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 Foldable (f :: Type -> Type) Source # 
Instance details

Defined in Test.QuickCheck.Classes.Hspec

type Justice Traversable (f :: Type -> Type) Source # 
Instance details

Defined in Test.QuickCheck.Classes.Hspec

type Justice Alternative (f :: Type -> Type) Source # 
Instance details

Defined in Test.QuickCheck.Classes.Hspec

type Justice SetLike (f :: Type -> Type) Source # 
Instance details

Defined in Shpadoinkle.Widgets.Types.Choice

type Justice SetLike (f :: Type -> Type) = Propable1Set f