quickcheck-quid-0.0.1.6: Quasi-unique identifiers for QuickCheck
Safe HaskellSafe-Inferred
LanguageHaskell2010

Test.QuickCheck.Quid

Synopsis

The Quid type

data Quid #

Instances

Instances details
Arbitrary Quid 
Instance details

Defined in Internal.Test.QuickCheck.Quid

Methods

arbitrary :: Gen Quid #

shrink :: Quid -> [Quid] #

CoArbitrary Quid 
Instance details

Defined in Internal.Test.QuickCheck.Quid

Methods

coarbitrary :: Quid -> Gen b -> Gen b #

Function Quid 
Instance details

Defined in Internal.Test.QuickCheck.Quid

Methods

function :: (Quid -> b) -> Quid :-> b #

Data Quid 
Instance details

Defined in Internal.Test.QuickCheck.Quid

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Quid -> c Quid #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Quid #

toConstr :: Quid -> Constr #

dataTypeOf :: Quid -> DataType #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Quid) #

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Quid) #

gmapT :: (forall b. Data b => b -> b) -> Quid -> Quid #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Quid -> r #

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Quid -> r #

gmapQ :: (forall d. Data d => d -> u) -> Quid -> [u] #

gmapQi :: Int -> (forall d. Data d => d -> u) -> Quid -> u #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Quid -> m Quid #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Quid -> m Quid #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Quid -> m Quid #

Generic Quid 
Instance details

Defined in Internal.Test.QuickCheck.Quid

Associated Types

type Rep Quid :: Type -> Type #

Methods

from :: Quid -> Rep Quid x #

to :: Rep Quid x -> Quid #

Num Quid 
Instance details

Defined in Internal.Test.QuickCheck.Quid

Methods

(+) :: Quid -> Quid -> Quid #

(-) :: Quid -> Quid -> Quid #

(*) :: Quid -> Quid -> Quid #

negate :: Quid -> Quid #

abs :: Quid -> Quid #

signum :: Quid -> Quid #

fromInteger :: Integer -> Quid #

NFData Quid 
Instance details

Defined in Internal.Test.QuickCheck.Quid

Methods

rnf :: Quid -> () #

Eq Quid 
Instance details

Defined in Internal.Test.QuickCheck.Quid

Methods

(==) :: Quid -> Quid -> Bool #

(/=) :: Quid -> Quid -> Bool #

Ord Quid 
Instance details

Defined in Internal.Test.QuickCheck.Quid

Methods

compare :: Quid -> Quid -> Ordering #

(<) :: Quid -> Quid -> Bool #

(<=) :: Quid -> Quid -> Bool #

(>) :: Quid -> Quid -> Bool #

(>=) :: Quid -> Quid -> Bool #

max :: Quid -> Quid -> Quid #

min :: Quid -> Quid -> Quid #

Hashable Quid 
Instance details

Defined in Internal.Test.QuickCheck.Quid

Methods

hashWithSalt :: Int -> Quid -> Int #

hash :: Quid -> Int #

IsString (Latin Quid) 
Instance details

Defined in Internal.Test.QuickCheck.Quid.Representations.Latin

Read (Decimal Quid) 
Instance details

Defined in Internal.Test.QuickCheck.Quid.Representations.Decimal

Read (Hexadecimal Quid) 
Instance details

Defined in Internal.Test.QuickCheck.Quid.Representations.Hexadecimal

Read (Latin Quid) 
Instance details

Defined in Internal.Test.QuickCheck.Quid.Representations.Latin

Show (Decimal Quid) 
Instance details

Defined in Internal.Test.QuickCheck.Quid.Representations.Decimal

Show (Hexadecimal Quid) 
Instance details

Defined in Internal.Test.QuickCheck.Quid.Representations.Hexadecimal

Show (Latin Quid) 
Instance details

Defined in Internal.Test.QuickCheck.Quid.Representations.Latin

type Rep Quid 
Instance details

Defined in Internal.Test.QuickCheck.Quid

type Rep Quid = D1 ('MetaData "Quid" "Internal.Test.QuickCheck.Quid" "quickcheck-quid-0.0.1.6-9uHa034RpNq2KZtAs2YZax-internal" 'True) (C1 ('MetaCons "Quid" 'PrefixI 'True) (S1 ('MetaSel ('Just "unQuid") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Natural)))

Combinators

newtype Size (n :: Nat) a #

Constructors

Size 

Fields

Instances

Instances details
(Arbitrary a, KnownNat n) => Arbitrary (Size n a) 
Instance details

Defined in Internal.Test.QuickCheck.Quid.Combinators.Size

Methods

arbitrary :: Gen (Size n a) #

shrink :: Size n a -> [Size n a] #

(KnownNat n, Data a) => Data (Size n a) 
Instance details

Defined in Internal.Test.QuickCheck.Quid.Combinators.Size

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Size n a -> c (Size n a) #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (Size n a) #

toConstr :: Size n a -> Constr #

dataTypeOf :: Size n a -> DataType #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (Size n a)) #

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (Size n a)) #

gmapT :: (forall b. Data b => b -> b) -> Size n a -> Size n a #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Size n a -> r #

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Size n a -> r #

gmapQ :: (forall d. Data d => d -> u) -> Size n a -> [u] #

gmapQi :: Int -> (forall d. Data d => d -> u) -> Size n a -> u #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Size n a -> m (Size n a) #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Size n a -> m (Size n a) #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Size n a -> m (Size n a) #

Generic (Size n a) 
Instance details

Defined in Internal.Test.QuickCheck.Quid.Combinators.Size

Associated Types

type Rep (Size n a) :: Type -> Type #

Methods

from :: Size n a -> Rep (Size n a) x #

to :: Rep (Size n a) x -> Size n a #

Read a => Read (Size n a) 
Instance details

Defined in Internal.Test.QuickCheck.Quid.Combinators.Size

Methods

readsPrec :: Int -> ReadS (Size n a) #

readList :: ReadS [Size n a] #

readPrec :: ReadPrec (Size n a) #

readListPrec :: ReadPrec [Size n a] #

Show a => Show (Size n a) 
Instance details

Defined in Internal.Test.QuickCheck.Quid.Combinators.Size

Methods

showsPrec :: Int -> Size n a -> ShowS #

show :: Size n a -> String #

showList :: [Size n a] -> ShowS #

NFData a => NFData (Size n a) 
Instance details

Defined in Internal.Test.QuickCheck.Quid.Combinators.Size

Methods

rnf :: Size n a -> () #

Eq a => Eq (Size n a) 
Instance details

Defined in Internal.Test.QuickCheck.Quid.Combinators.Size

Methods

(==) :: Size n a -> Size n a -> Bool #

(/=) :: Size n a -> Size n a -> Bool #

Ord a => Ord (Size n a) 
Instance details

Defined in Internal.Test.QuickCheck.Quid.Combinators.Size

Methods

compare :: Size n a -> Size n a -> Ordering #

(<) :: Size n a -> Size n a -> Bool #

(<=) :: Size n a -> Size n a -> Bool #

(>) :: Size n a -> Size n a -> Bool #

(>=) :: Size n a -> Size n a -> Bool #

max :: Size n a -> Size n a -> Size n a #

min :: Size n a -> Size n a -> Size n a #

Hashable a => Hashable (Size n a) 
Instance details

Defined in Internal.Test.QuickCheck.Quid.Combinators.Size

Methods

hashWithSalt :: Int -> Size n a -> Int #

hash :: Size n a -> Int #

type Rep (Size n a) 
Instance details

Defined in Internal.Test.QuickCheck.Quid.Combinators.Size

type Rep (Size n a) = D1 ('MetaData "Size" "Internal.Test.QuickCheck.Quid.Combinators.Size" "quickcheck-quid-0.0.1.6-9uHa034RpNq2KZtAs2YZax-internal" 'True) (C1 ('MetaCons "Size" 'PrefixI 'True) (S1 ('MetaSel ('Just "unSize") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a)))

Representations

Numerical representations

newtype Decimal a #

Constructors

Decimal 

Fields

Instances

Instances details
Function a => Function (Decimal a) 
Instance details

Defined in Internal.Test.QuickCheck.Quid.Representations.Decimal

Methods

function :: (Decimal a -> b) -> Decimal a :-> b #

Data a => Data (Decimal a) 
Instance details

Defined in Internal.Test.QuickCheck.Quid.Representations.Decimal

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Decimal a -> c (Decimal a) #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (Decimal a) #

toConstr :: Decimal a -> Constr #

dataTypeOf :: Decimal a -> DataType #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (Decimal a)) #

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (Decimal a)) #

gmapT :: (forall b. Data b => b -> b) -> Decimal a -> Decimal a #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Decimal a -> r #

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Decimal a -> r #

gmapQ :: (forall d. Data d => d -> u) -> Decimal a -> [u] #

gmapQi :: Int -> (forall d. Data d => d -> u) -> Decimal a -> u #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Decimal a -> m (Decimal a) #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Decimal a -> m (Decimal a) #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Decimal a -> m (Decimal a) #

Generic (Decimal a) 
Instance details

Defined in Internal.Test.QuickCheck.Quid.Representations.Decimal

Associated Types

type Rep (Decimal a) :: Type -> Type #

Methods

from :: Decimal a -> Rep (Decimal a) x #

to :: Rep (Decimal a) x -> Decimal a #

Num a => Num (Decimal a) 
Instance details

Defined in Internal.Test.QuickCheck.Quid.Representations.Decimal

Methods

(+) :: Decimal a -> Decimal a -> Decimal a #

(-) :: Decimal a -> Decimal a -> Decimal a #

(*) :: Decimal a -> Decimal a -> Decimal a #

negate :: Decimal a -> Decimal a #

abs :: Decimal a -> Decimal a #

signum :: Decimal a -> Decimal a #

fromInteger :: Integer -> Decimal a #

Read (Decimal Quid) 
Instance details

Defined in Internal.Test.QuickCheck.Quid.Representations.Decimal

Show (Decimal Quid) 
Instance details

Defined in Internal.Test.QuickCheck.Quid.Representations.Decimal

NFData a => NFData (Decimal a) 
Instance details

Defined in Internal.Test.QuickCheck.Quid.Representations.Decimal

Methods

rnf :: Decimal a -> () #

Eq a => Eq (Decimal a) 
Instance details

Defined in Internal.Test.QuickCheck.Quid.Representations.Decimal

Methods

(==) :: Decimal a -> Decimal a -> Bool #

(/=) :: Decimal a -> Decimal a -> Bool #

Ord a => Ord (Decimal a) 
Instance details

Defined in Internal.Test.QuickCheck.Quid.Representations.Decimal

Methods

compare :: Decimal a -> Decimal a -> Ordering #

(<) :: Decimal a -> Decimal a -> Bool #

(<=) :: Decimal a -> Decimal a -> Bool #

(>) :: Decimal a -> Decimal a -> Bool #

(>=) :: Decimal a -> Decimal a -> Bool #

max :: Decimal a -> Decimal a -> Decimal a #

min :: Decimal a -> Decimal a -> Decimal a #

Hashable a => Hashable (Decimal a) 
Instance details

Defined in Internal.Test.QuickCheck.Quid.Representations.Decimal

Methods

hashWithSalt :: Int -> Decimal a -> Int #

hash :: Decimal a -> Int #

type Rep (Decimal a) 
Instance details

Defined in Internal.Test.QuickCheck.Quid.Representations.Decimal

type Rep (Decimal a) = D1 ('MetaData "Decimal" "Internal.Test.QuickCheck.Quid.Representations.Decimal" "quickcheck-quid-0.0.1.6-9uHa034RpNq2KZtAs2YZax-internal" 'True) (C1 ('MetaCons "Decimal" 'PrefixI 'True) (S1 ('MetaSel ('Just "unDecimal") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a)))

newtype Hexadecimal a #

Constructors

Hexadecimal 

Fields

Instances

Instances details
Function a => Function (Hexadecimal a) 
Instance details

Defined in Internal.Test.QuickCheck.Quid.Representations.Hexadecimal

Methods

function :: (Hexadecimal a -> b) -> Hexadecimal a :-> b #

Data a => Data (Hexadecimal a) 
Instance details

Defined in Internal.Test.QuickCheck.Quid.Representations.Hexadecimal

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Hexadecimal a -> c (Hexadecimal a) #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (Hexadecimal a) #

toConstr :: Hexadecimal a -> Constr #

dataTypeOf :: Hexadecimal a -> DataType #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (Hexadecimal a)) #

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (Hexadecimal a)) #

gmapT :: (forall b. Data b => b -> b) -> Hexadecimal a -> Hexadecimal a #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Hexadecimal a -> r #

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Hexadecimal a -> r #

gmapQ :: (forall d. Data d => d -> u) -> Hexadecimal a -> [u] #

gmapQi :: Int -> (forall d. Data d => d -> u) -> Hexadecimal a -> u #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Hexadecimal a -> m (Hexadecimal a) #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Hexadecimal a -> m (Hexadecimal a) #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Hexadecimal a -> m (Hexadecimal a) #

Generic (Hexadecimal a) 
Instance details

Defined in Internal.Test.QuickCheck.Quid.Representations.Hexadecimal

Associated Types

type Rep (Hexadecimal a) :: Type -> Type #

Methods

from :: Hexadecimal a -> Rep (Hexadecimal a) x #

to :: Rep (Hexadecimal a) x -> Hexadecimal a #

Num a => Num (Hexadecimal a) 
Instance details

Defined in Internal.Test.QuickCheck.Quid.Representations.Hexadecimal

Read (Hexadecimal Quid) 
Instance details

Defined in Internal.Test.QuickCheck.Quid.Representations.Hexadecimal

Show (Hexadecimal Quid) 
Instance details

Defined in Internal.Test.QuickCheck.Quid.Representations.Hexadecimal

NFData a => NFData (Hexadecimal a) 
Instance details

Defined in Internal.Test.QuickCheck.Quid.Representations.Hexadecimal

Methods

rnf :: Hexadecimal a -> () #

Eq a => Eq (Hexadecimal a) 
Instance details

Defined in Internal.Test.QuickCheck.Quid.Representations.Hexadecimal

Ord a => Ord (Hexadecimal a) 
Instance details

Defined in Internal.Test.QuickCheck.Quid.Representations.Hexadecimal

Hashable a => Hashable (Hexadecimal a) 
Instance details

Defined in Internal.Test.QuickCheck.Quid.Representations.Hexadecimal

Methods

hashWithSalt :: Int -> Hexadecimal a -> Int #

hash :: Hexadecimal a -> Int #

type Rep (Hexadecimal a) 
Instance details

Defined in Internal.Test.QuickCheck.Quid.Representations.Hexadecimal

type Rep (Hexadecimal a) = D1 ('MetaData "Hexadecimal" "Internal.Test.QuickCheck.Quid.Representations.Hexadecimal" "quickcheck-quid-0.0.1.6-9uHa034RpNq2KZtAs2YZax-internal" 'True) (C1 ('MetaCons "Hexadecimal" 'PrefixI 'True) (S1 ('MetaSel ('Just "unHexadecimal") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a)))

String representations

newtype Latin a #

Constructors

Latin 

Fields

Instances

Instances details
Function a => Function (Latin a) 
Instance details

Defined in Internal.Test.QuickCheck.Quid.Representations.Latin

Methods

function :: (Latin a -> b) -> Latin a :-> b #

Data a => Data (Latin a) 
Instance details

Defined in Internal.Test.QuickCheck.Quid.Representations.Latin

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Latin a -> c (Latin a) #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (Latin a) #

toConstr :: Latin a -> Constr #

dataTypeOf :: Latin a -> DataType #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (Latin a)) #

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (Latin a)) #

gmapT :: (forall b. Data b => b -> b) -> Latin a -> Latin a #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Latin a -> r #

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Latin a -> r #

gmapQ :: (forall d. Data d => d -> u) -> Latin a -> [u] #

gmapQi :: Int -> (forall d. Data d => d -> u) -> Latin a -> u #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Latin a -> m (Latin a) #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Latin a -> m (Latin a) #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Latin a -> m (Latin a) #

IsString (Latin Quid) 
Instance details

Defined in Internal.Test.QuickCheck.Quid.Representations.Latin

Generic (Latin a) 
Instance details

Defined in Internal.Test.QuickCheck.Quid.Representations.Latin

Associated Types

type Rep (Latin a) :: Type -> Type #

Methods

from :: Latin a -> Rep (Latin a) x #

to :: Rep (Latin a) x -> Latin a #

Read (Latin Quid) 
Instance details

Defined in Internal.Test.QuickCheck.Quid.Representations.Latin

Show (Latin Quid) 
Instance details

Defined in Internal.Test.QuickCheck.Quid.Representations.Latin

NFData a => NFData (Latin a) 
Instance details

Defined in Internal.Test.QuickCheck.Quid.Representations.Latin

Methods

rnf :: Latin a -> () #

Eq a => Eq (Latin a) 
Instance details

Defined in Internal.Test.QuickCheck.Quid.Representations.Latin

Methods

(==) :: Latin a -> Latin a -> Bool #

(/=) :: Latin a -> Latin a -> Bool #

Ord a => Ord (Latin a) 
Instance details

Defined in Internal.Test.QuickCheck.Quid.Representations.Latin

Methods

compare :: Latin a -> Latin a -> Ordering #

(<) :: Latin a -> Latin a -> Bool #

(<=) :: Latin a -> Latin a -> Bool #

(>) :: Latin a -> Latin a -> Bool #

(>=) :: Latin a -> Latin a -> Bool #

max :: Latin a -> Latin a -> Latin a #

min :: Latin a -> Latin a -> Latin a #

Hashable a => Hashable (Latin a) 
Instance details

Defined in Internal.Test.QuickCheck.Quid.Representations.Latin

Methods

hashWithSalt :: Int -> Latin a -> Int #

hash :: Latin a -> Int #

type Rep (Latin a) 
Instance details

Defined in Internal.Test.QuickCheck.Quid.Representations.Latin

type Rep (Latin a) = D1 ('MetaData "Latin" "Internal.Test.QuickCheck.Quid.Representations.Latin" "quickcheck-quid-0.0.1.6-9uHa034RpNq2KZtAs2YZax-internal" 'True) (C1 ('MetaCons "Latin" 'PrefixI 'True) (S1 ('MetaSel ('Just "unLatin") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a)))