Safe Haskell	Safe-Inferred
Language	Haskell2010

Test.QuickCheck.Quid

Contents

The Quid type
Combinators
Representations
- Numerical representations
- String representations

Synopsis

data Quid
newtype Size (n :: Nat) a = Size {
- unSize :: a
}
newtype Decimal a = Decimal {
- unDecimal :: a
}
newtype Hexadecimal a = Hexadecimal {
- unHexadecimal :: a
}
newtype Latin a = Latin {
- unLatin :: a
}

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 Methods fromString :: String -> Latin Quid #
Read (Decimal Quid)
Instance details Defined in Internal.Test.QuickCheck.Quid.Representations.Decimal Methods readsPrec :: Int -> ReadS (Decimal Quid) # readList :: ReadS [Decimal Quid] # readPrec :: ReadPrec (Decimal Quid) # readListPrec :: ReadPrec [Decimal Quid] #
Read (Hexadecimal Quid)
Instance details Defined in Internal.Test.QuickCheck.Quid.Representations.Hexadecimal Methods readsPrec :: Int -> ReadS (Hexadecimal Quid) # readList :: ReadS [Hexadecimal Quid] # readPrec :: ReadPrec (Hexadecimal Quid) # readListPrec :: ReadPrec [Hexadecimal Quid] #
Read (Latin Quid)
Instance details Defined in Internal.Test.QuickCheck.Quid.Representations.Latin Methods readsPrec :: Int -> ReadS (Latin Quid) # readList :: ReadS [Latin Quid] # readPrec :: ReadPrec (Latin Quid) # readListPrec :: ReadPrec [Latin Quid] #
Show (Decimal Quid)
Instance details Defined in Internal.Test.QuickCheck.Quid.Representations.Decimal Methods showsPrec :: Int -> Decimal Quid -> ShowS # show :: Decimal Quid -> String # showList :: [Decimal Quid] -> ShowS #
Show (Hexadecimal Quid)
Instance details Defined in Internal.Test.QuickCheck.Quid.Representations.Hexadecimal Methods showsPrec :: Int -> Hexadecimal Quid -> ShowS # show :: Hexadecimal Quid -> String # showList :: [Hexadecimal Quid] -> ShowS #
Show (Latin Quid)
Instance details Defined in Internal.Test.QuickCheck.Quid.Representations.Latin Methods showsPrec :: Int -> Latin Quid -> ShowS # show :: Latin Quid -> String # showList :: [Latin Quid] -> ShowS #
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.3-HF4t8PMmvVoExbFrFadO1K-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 unSize :: a

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.3-HF4t8PMmvVoExbFrFadO1K-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 unDecimal :: a

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 Methods readsPrec :: Int -> ReadS (Decimal Quid) # readList :: ReadS [Decimal Quid] # readPrec :: ReadPrec (Decimal Quid) # readListPrec :: ReadPrec [Decimal Quid] #
Show (Decimal Quid)
Instance details Defined in Internal.Test.QuickCheck.Quid.Representations.Decimal Methods showsPrec :: Int -> Decimal Quid -> ShowS # show :: Decimal Quid -> String # showList :: [Decimal Quid] -> ShowS #
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.3-HF4t8PMmvVoExbFrFadO1K-internal" 'True) (C1 ('MetaCons "Decimal" 'PrefixI 'True) (S1 ('MetaSel ('Just "unDecimal") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a)))

newtype Hexadecimal a #

Constructors

Hexadecimal
Fields unHexadecimal :: a

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 Methods (+) :: Hexadecimal a -> Hexadecimal a -> Hexadecimal a # (-) :: Hexadecimal a -> Hexadecimal a -> Hexadecimal a # (*) :: Hexadecimal a -> Hexadecimal a -> Hexadecimal a # negate :: Hexadecimal a -> Hexadecimal a # abs :: Hexadecimal a -> Hexadecimal a # signum :: Hexadecimal a -> Hexadecimal a # fromInteger :: Integer -> Hexadecimal a #
Read (Hexadecimal Quid)
Instance details Defined in Internal.Test.QuickCheck.Quid.Representations.Hexadecimal Methods readsPrec :: Int -> ReadS (Hexadecimal Quid) # readList :: ReadS [Hexadecimal Quid] # readPrec :: ReadPrec (Hexadecimal Quid) # readListPrec :: ReadPrec [Hexadecimal Quid] #
Show (Hexadecimal Quid)
Instance details Defined in Internal.Test.QuickCheck.Quid.Representations.Hexadecimal Methods showsPrec :: Int -> Hexadecimal Quid -> ShowS # show :: Hexadecimal Quid -> String # showList :: [Hexadecimal Quid] -> ShowS #
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 Methods (==) :: Hexadecimal a -> Hexadecimal a -> Bool # (/=) :: Hexadecimal a -> Hexadecimal a -> Bool #
Ord a => Ord (Hexadecimal a)
Instance details Defined in Internal.Test.QuickCheck.Quid.Representations.Hexadecimal Methods compare :: Hexadecimal a -> Hexadecimal a -> Ordering # (<) :: Hexadecimal a -> Hexadecimal a -> Bool # (<=) :: Hexadecimal a -> Hexadecimal a -> Bool # (>) :: Hexadecimal a -> Hexadecimal a -> Bool # (>=) :: Hexadecimal a -> Hexadecimal a -> Bool # max :: Hexadecimal a -> Hexadecimal a -> Hexadecimal a # min :: Hexadecimal a -> Hexadecimal a -> Hexadecimal a #
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.3-HF4t8PMmvVoExbFrFadO1K-internal" 'True) (C1 ('MetaCons "Hexadecimal" 'PrefixI 'True) (S1 ('MetaSel ('Just "unHexadecimal") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a)))

String representations

newtype Latin a #

Constructors

Latin
Fields unLatin :: a

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 Methods fromString :: String -> Latin Quid #
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 Methods readsPrec :: Int -> ReadS (Latin Quid) # readList :: ReadS [Latin Quid] # readPrec :: ReadPrec (Latin Quid) # readListPrec :: ReadPrec [Latin Quid] #
Show (Latin Quid)
Instance details Defined in Internal.Test.QuickCheck.Quid.Representations.Latin Methods showsPrec :: Int -> Latin Quid -> ShowS # show :: Latin Quid -> String # showList :: [Latin Quid] -> ShowS #
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.3-HF4t8PMmvVoExbFrFadO1K-internal" 'True) (C1 ('MetaCons "Latin" 'PrefixI 'True) (S1 ('MetaSel ('Just "unLatin") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a)))