Internal.Test.QuickCheck.Quid

Documentation

newtype Quid

Constructors

Quid

Fields

• unQuid :: Natural

Instances

Arbitrary Quid

Defined in Internal.Test.QuickCheck.Quid

Methods

arbitrary :: Gen Quid

shrink :: Quid -> [Quid]

CoArbitrary Quid

Defined in Internal.Test.QuickCheck.Quid

Methods

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

Function Quid

Defined in Internal.Test.QuickCheck.Quid

Methods

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

Data Quid

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

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

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

Defined in Internal.Test.QuickCheck.Quid

Methods

rnf :: Quid -> ()

Eq Quid

Defined in Internal.Test.QuickCheck.Quid

Methods

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

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

Ord Quid

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

Defined in Internal.Test.QuickCheck.Quid

Methods

hashWithSalt :: Int -> Quid -> Int

hash :: Quid -> Int

IsString (Latin Quid)

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

Methods

fromString :: String -> Latin Quid

Read (Decimal Quid)

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)

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)

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)

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)

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)

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

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)))

arbitraryQuid :: Gen Quid

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

coarbitraryQuid :: Quid -> Gen a -> Gen a

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

shrinkQuid :: Quid -> [Quid]

naturalToQuid :: Natural -> Quid

quidToNatural :: Quid -> Natural

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

shrinkNatural :: Natural -> [Natural]