Safe Haskell	None
Language	Haskell2010

Internal.Test.QuickCheck.Quid

Documentation

newtype Quid Source #

Constructors

Quid
Fields unQuid :: Natural

Instances

Instances details

Eq Quid Source #
Instance details Defined in Internal.Test.QuickCheck.Quid Methods (==) :: Quid -> Quid -> Bool # (/=) :: Quid -> Quid -> Bool #
Data Quid Source #
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 #
Num Quid Source #
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 #
Ord Quid Source #
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 #
Generic Quid Source #
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 #
Function Quid Source #
Instance details Defined in Internal.Test.QuickCheck.Quid Methods function :: (Quid -> b) -> Quid :-> b #
Arbitrary Quid Source #
Instance details Defined in Internal.Test.QuickCheck.Quid Methods arbitrary :: Gen Quid # shrink :: Quid -> [Quid] #
CoArbitrary Quid Source #
Instance details Defined in Internal.Test.QuickCheck.Quid Methods coarbitrary :: Quid -> Gen b -> Gen b #
NFData Quid Source #
Instance details Defined in Internal.Test.QuickCheck.Quid Methods rnf :: Quid -> () #
Hashable Quid Source #
Instance details Defined in Internal.Test.QuickCheck.Quid Methods hashWithSalt :: Int -> Quid -> Int # hash :: Quid -> Int #
Read (Decimal Quid) Source #
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 (Latin Quid) Source #
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] #
Read (Hexadecimal Quid) Source #
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 (Decimal Quid) Source #
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 (Latin Quid) Source #
Instance details Defined in Internal.Test.QuickCheck.Quid.Representations.Latin Methods showsPrec :: Int -> Latin Quid -> ShowS # show :: Latin Quid -> String # showList :: [Latin Quid] -> ShowS #
Show (Hexadecimal Quid) Source #
Instance details Defined in Internal.Test.QuickCheck.Quid.Representations.Hexadecimal Methods showsPrec :: Int -> Hexadecimal Quid -> ShowS # show :: Hexadecimal Quid -> String # showList :: [Hexadecimal Quid] -> ShowS #
IsString (Latin Quid) Source #
Instance details Defined in Internal.Test.QuickCheck.Quid.Representations.Latin Methods fromString :: String -> Latin Quid #
type Rep Quid Source #
Instance details Defined in Internal.Test.QuickCheck.Quid type Rep Quid = D1 ('MetaData "Quid" "Internal.Test.QuickCheck.Quid" "quickcheck-quid-0.0.1-Gqr5iwA7BxB5xEDsdNyET8-quickcheck-quid-internal" 'True) (C1 ('MetaCons "Quid" 'PrefixI 'True) (S1 ('MetaSel ('Just "unQuid") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Natural)))

arbitraryQuid :: Gen Quid Source #

chooseQuid :: (Quid, Quid) -> Gen Quid Source #

coarbitraryQuid :: Quid -> Gen a -> Gen a Source #

functionQuid :: (Quid -> a) -> Quid :-> a Source #

shrinkQuid :: Quid -> [Quid] Source #

naturalToQuid :: Natural -> Quid Source #

quidToNatural :: Quid -> Natural Source #

chooseNatural :: (Natural, Natural) -> Gen Natural Source #

shrinkNatural :: Natural -> [Natural] Source #