Test.QuickCheck.Quid.Example

Documentation

newtype FooId

Constructors

FooId (Decimal Quid)

Instances

Arbitrary FooId

Defined in Test.QuickCheck.Quid.Example

Methods

arbitrary :: Gen FooId

shrink :: FooId -> [FooId]

CoArbitrary FooId

Defined in Test.QuickCheck.Quid.Example

Methods

coarbitrary :: FooId -> Gen b -> Gen b

Function FooId

Defined in Test.QuickCheck.Quid.Example

Methods

function :: (FooId -> b) -> FooId :-> b

Generic FooId

Defined in Test.QuickCheck.Quid.Example

Associated Types

type Rep FooId :: Type -> Type

Methods

from :: FooId -> Rep FooId x

to :: Rep FooId x -> FooId

Num FooId

Defined in Test.QuickCheck.Quid.Example

Methods

(+) :: FooId -> FooId -> FooId

(-) :: FooId -> FooId -> FooId

(*) :: FooId -> FooId -> FooId

negate :: FooId -> FooId

abs :: FooId -> FooId

signum :: FooId -> FooId

fromInteger :: Integer -> FooId

Read FooId

Defined in Test.QuickCheck.Quid.Example

Methods

readsPrec :: Int -> ReadS FooId

readList :: ReadS [FooId]

readPrec :: ReadPrec FooId

readListPrec :: ReadPrec [FooId]

Show FooId

Defined in Test.QuickCheck.Quid.Example

Methods

showsPrec :: Int -> FooId -> ShowS

show :: FooId -> String

showList :: [FooId] -> ShowS

Eq FooId

Defined in Test.QuickCheck.Quid.Example

Methods

(==) :: FooId -> FooId -> Bool

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

Ord FooId

Defined in Test.QuickCheck.Quid.Example

Methods

compare :: FooId -> FooId -> Ordering

(<) :: FooId -> FooId -> Bool

(<=) :: FooId -> FooId -> Bool

(>) :: FooId -> FooId -> Bool

(>=) :: FooId -> FooId -> Bool

max :: FooId -> FooId -> FooId

min :: FooId -> FooId -> FooId

type Rep FooId

Defined in Test.QuickCheck.Quid.Example

type Rep FooId = D1 ('MetaData "FooId" "Test.QuickCheck.Quid.Example" "quickcheck-quid-0.0.1.2-CLTp9WLl2aFwVVVV3nLjH-example" 'True) (C1 ('MetaCons "FooId" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Decimal Quid))))

newtype BarId

Constructors

BarId (Hexadecimal Quid)

Instances

Arbitrary BarId

Defined in Test.QuickCheck.Quid.Example

Methods

arbitrary :: Gen BarId

shrink :: BarId -> [BarId]

CoArbitrary BarId

Defined in Test.QuickCheck.Quid.Example

Methods

coarbitrary :: BarId -> Gen b -> Gen b

Function BarId

Defined in Test.QuickCheck.Quid.Example

Methods

function :: (BarId -> b) -> BarId :-> b

Generic BarId

Defined in Test.QuickCheck.Quid.Example

Associated Types

type Rep BarId :: Type -> Type

Methods

from :: BarId -> Rep BarId x

to :: Rep BarId x -> BarId

Num BarId

Defined in Test.QuickCheck.Quid.Example

Methods

(+) :: BarId -> BarId -> BarId

(-) :: BarId -> BarId -> BarId

(*) :: BarId -> BarId -> BarId

negate :: BarId -> BarId

abs :: BarId -> BarId

signum :: BarId -> BarId

fromInteger :: Integer -> BarId

Read BarId

Defined in Test.QuickCheck.Quid.Example

Methods

readsPrec :: Int -> ReadS BarId

readList :: ReadS [BarId]

readPrec :: ReadPrec BarId

readListPrec :: ReadPrec [BarId]

Show BarId

Defined in Test.QuickCheck.Quid.Example

Methods

showsPrec :: Int -> BarId -> ShowS

show :: BarId -> String

showList :: [BarId] -> ShowS

Eq BarId

Defined in Test.QuickCheck.Quid.Example

Methods

(==) :: BarId -> BarId -> Bool

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

Ord BarId

Defined in Test.QuickCheck.Quid.Example

Methods

compare :: BarId -> BarId -> Ordering

(<) :: BarId -> BarId -> Bool

(<=) :: BarId -> BarId -> Bool

(>) :: BarId -> BarId -> Bool

(>=) :: BarId -> BarId -> Bool

max :: BarId -> BarId -> BarId

min :: BarId -> BarId -> BarId

type Rep BarId

Defined in Test.QuickCheck.Quid.Example

type Rep BarId = D1 ('MetaData "BarId" "Test.QuickCheck.Quid.Example" "quickcheck-quid-0.0.1.2-CLTp9WLl2aFwVVVV3nLjH-example" 'True) (C1 ('MetaCons "BarId" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Hexadecimal Quid))))

newtype BazId

Constructors

BazId (Latin Quid)

Instances

Arbitrary BazId

Defined in Test.QuickCheck.Quid.Example

Methods

arbitrary :: Gen BazId

shrink :: BazId -> [BazId]

CoArbitrary BazId

Defined in Test.QuickCheck.Quid.Example

Methods

coarbitrary :: BazId -> Gen b -> Gen b

Function BazId

Defined in Test.QuickCheck.Quid.Example

Methods

function :: (BazId -> b) -> BazId :-> b

Generic BazId

Defined in Test.QuickCheck.Quid.Example

Associated Types

type Rep BazId :: Type -> Type

Methods

from :: BazId -> Rep BazId x

to :: Rep BazId x -> BazId

Read BazId

Defined in Test.QuickCheck.Quid.Example

Methods

readsPrec :: Int -> ReadS BazId

readList :: ReadS [BazId]

readPrec :: ReadPrec BazId

readListPrec :: ReadPrec [BazId]

Show BazId

Defined in Test.QuickCheck.Quid.Example

Methods

showsPrec :: Int -> BazId -> ShowS

show :: BazId -> String

showList :: [BazId] -> ShowS

Eq BazId

Defined in Test.QuickCheck.Quid.Example

Methods

(==) :: BazId -> BazId -> Bool

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

Ord BazId

Defined in Test.QuickCheck.Quid.Example

Methods

compare :: BazId -> BazId -> Ordering

(<) :: BazId -> BazId -> Bool

(<=) :: BazId -> BazId -> Bool

(>) :: BazId -> BazId -> Bool

(>=) :: BazId -> BazId -> Bool

max :: BazId -> BazId -> BazId

min :: BazId -> BazId -> BazId

type Rep BazId

Defined in Test.QuickCheck.Quid.Example

type Rep BazId = D1 ('MetaData "BazId" "Test.QuickCheck.Quid.Example" "quickcheck-quid-0.0.1.2-CLTp9WLl2aFwVVVV3nLjH-example" 'True) (C1 ('MetaCons "BazId" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Latin Quid))))