Conjure.Conjurable

This module is part of Conjure.

This defines the Conjurable typeclass and utilities involving it.

You are probably better off importing Conjure.

Documentation

type Reification1 = (Expr, Expr, Maybe Expr, Maybe [[Expr]])

Single reification of some functions over a type as Exprs.

A hole, an if function, an equality function and tiers.

type Reification = [Reification1] -> [Reification1]

A reification over a collection of types.

Represented as a transformation of a list to a list.

class Typeable a => Conjurable a where

Class of Conjurable types. Functions are Conjurable if all their arguments are Conjurable, Listable and Showable.

For atomic types that are Listable, instances are defined as:

instance Conjurable Atomic where
  conjureTiers  =  reifyTiers

For atomic types that are both Listable and Eq, instances are defined as:

instance Conjurable Atomic where
  conjureTiers     =  reifyTiers
  conjureEquality  =  reifyEquality

For types with subtypes, instances are defined as:

instance Conjurable Composite where
  conjureTiers     =  reifyTiers
  conjureEquality  =  reifyEquality
  conjureSubTypes x  =  conjureType y
                     .  conjureType z
                     .  conjureType w
    where
    (Composite ... y ... z ... w ...)  =  x

Above x, y, z and w are just proxies. The Proxy type was avoided for backwards compatibility.

Please see the source code of Conjure.Conjurable for more examples.

(cf. reifyTiers, reifyEquality, conjureType)

Minimal complete definition

Nothing

Methods

conjureArgumentHoles :: a -> [Expr]

conjureEquality :: a -> Maybe Expr

Returns Just the == function encoded as an Expr when available or Nothing otherwise.

conjureTiers :: a -> Maybe [[Expr]]

Returns Just tiers of values encoded as Exprs when possible or Nothing otherwise.

conjureSubTypes :: a -> Reification

Instances

Conjurable Bool

Defined in Conjure.Conjurable

Methods

conjureArgumentHoles :: Bool -> [Expr]

conjureEquality :: Bool -> Maybe Expr

conjureTiers :: Bool -> Maybe [[Expr]]

conjureSubTypes :: Bool -> Reification

Conjurable Char

Defined in Conjure.Conjurable

Methods

conjureArgumentHoles :: Char -> [Expr]

conjureEquality :: Char -> Maybe Expr

conjureTiers :: Char -> Maybe [[Expr]]

conjureSubTypes :: Char -> Reification

Conjurable Double

Defined in Conjure.Conjurable

Methods

conjureArgumentHoles :: Double -> [Expr]

conjureEquality :: Double -> Maybe Expr

conjureTiers :: Double -> Maybe [[Expr]]

conjureSubTypes :: Double -> Reification

Conjurable Float

Defined in Conjure.Conjurable

Methods

conjureArgumentHoles :: Float -> [Expr]

conjureEquality :: Float -> Maybe Expr

conjureTiers :: Float -> Maybe [[Expr]]

conjureSubTypes :: Float -> Reification

Conjurable Int

Defined in Conjure.Conjurable

Methods

conjureArgumentHoles :: Int -> [Expr]

conjureEquality :: Int -> Maybe Expr

conjureTiers :: Int -> Maybe [[Expr]]

conjureSubTypes :: Int -> Reification

Conjurable Int8

Defined in Conjure.Conjurable

Methods

conjureArgumentHoles :: Int8 -> [Expr]

conjureEquality :: Int8 -> Maybe Expr

conjureTiers :: Int8 -> Maybe [[Expr]]

conjureSubTypes :: Int8 -> Reification

Conjurable Int16

Defined in Conjure.Conjurable

Methods

conjureArgumentHoles :: Int16 -> [Expr]

conjureEquality :: Int16 -> Maybe Expr

conjureTiers :: Int16 -> Maybe [[Expr]]

conjureSubTypes :: Int16 -> Reification

Conjurable Int32

Defined in Conjure.Conjurable

Methods

conjureArgumentHoles :: Int32 -> [Expr]

conjureEquality :: Int32 -> Maybe Expr

conjureTiers :: Int32 -> Maybe [[Expr]]

conjureSubTypes :: Int32 -> Reification

Conjurable Int64

Defined in Conjure.Conjurable

Methods

conjureArgumentHoles :: Int64 -> [Expr]

conjureEquality :: Int64 -> Maybe Expr

conjureTiers :: Int64 -> Maybe [[Expr]]

conjureSubTypes :: Int64 -> Reification

Conjurable Integer

Defined in Conjure.Conjurable

Methods

conjureArgumentHoles :: Integer -> [Expr]

conjureEquality :: Integer -> Maybe Expr

conjureTiers :: Integer -> Maybe [[Expr]]

conjureSubTypes :: Integer -> Reification

Conjurable Ordering

Defined in Conjure.Conjurable

Methods

conjureArgumentHoles :: Ordering -> [Expr]

conjureEquality :: Ordering -> Maybe Expr

conjureTiers :: Ordering -> Maybe [[Expr]]

conjureSubTypes :: Ordering -> Reification

Conjurable Word

Defined in Conjure.Conjurable

Methods

conjureArgumentHoles :: Word -> [Expr]

conjureEquality :: Word -> Maybe Expr

conjureTiers :: Word -> Maybe [[Expr]]

conjureSubTypes :: Word -> Reification

Conjurable Word8

Defined in Conjure.Conjurable

Methods

conjureArgumentHoles :: Word8 -> [Expr]

conjureEquality :: Word8 -> Maybe Expr

conjureTiers :: Word8 -> Maybe [[Expr]]

conjureSubTypes :: Word8 -> Reification

Conjurable Word16

Defined in Conjure.Conjurable

Methods

conjureArgumentHoles :: Word16 -> [Expr]

conjureEquality :: Word16 -> Maybe Expr

conjureTiers :: Word16 -> Maybe [[Expr]]

conjureSubTypes :: Word16 -> Reification

Conjurable Word32

Defined in Conjure.Conjurable

Methods

conjureArgumentHoles :: Word32 -> [Expr]

conjureEquality :: Word32 -> Maybe Expr

conjureTiers :: Word32 -> Maybe [[Expr]]

conjureSubTypes :: Word32 -> Reification

Conjurable Word64

Defined in Conjure.Conjurable

Methods

conjureArgumentHoles :: Word64 -> [Expr]

conjureEquality :: Word64 -> Maybe Expr

conjureTiers :: Word64 -> Maybe [[Expr]]

conjureSubTypes :: Word64 -> Reification

Conjurable ()

Defined in Conjure.Conjurable

Methods

conjureArgumentHoles :: () -> [Expr]

conjureEquality :: () -> Maybe Expr

conjureTiers :: () -> Maybe [[Expr]]

conjureSubTypes :: () -> Reification

Conjurable A

Defined in Conjure.Conjurable

Methods

conjureArgumentHoles :: A -> [Expr]

conjureEquality :: A -> Maybe Expr

conjureTiers :: A -> Maybe [[Expr]]

conjureSubTypes :: A -> Reification

Conjurable B

Defined in Conjure.Conjurable

Methods

conjureArgumentHoles :: B -> [Expr]

conjureEquality :: B -> Maybe Expr

conjureTiers :: B -> Maybe [[Expr]]

conjureSubTypes :: B -> Reification

Conjurable C

Defined in Conjure.Conjurable

Methods

conjureArgumentHoles :: C -> [Expr]

conjureEquality :: C -> Maybe Expr

conjureTiers :: C -> Maybe [[Expr]]

conjureSubTypes :: C -> Reification

Conjurable D

Defined in Conjure.Conjurable

Methods

conjureArgumentHoles :: D -> [Expr]

conjureEquality :: D -> Maybe Expr

conjureTiers :: D -> Maybe [[Expr]]

conjureSubTypes :: D -> Reification

Conjurable E

Defined in Conjure.Conjurable

Methods

conjureArgumentHoles :: E -> [Expr]

conjureEquality :: E -> Maybe Expr

conjureTiers :: E -> Maybe [[Expr]]

conjureSubTypes :: E -> Reification

Conjurable F

Defined in Conjure.Conjurable

Methods

conjureArgumentHoles :: F -> [Expr]

conjureEquality :: F -> Maybe Expr

conjureTiers :: F -> Maybe [[Expr]]

conjureSubTypes :: F -> Reification

(Conjurable a, Listable a, Show a) => Conjurable [a]

Defined in Conjure.Conjurable

Methods

conjureArgumentHoles :: [a] -> [Expr]

conjureEquality :: [a] -> Maybe Expr

conjureTiers :: [a] -> Maybe [[Expr]]

conjureSubTypes :: [a] -> Reification

(Conjurable a, Listable a, Show a) => Conjurable (Maybe a)

Defined in Conjure.Conjurable

Methods

conjureArgumentHoles :: Maybe a -> [Expr]

conjureEquality :: Maybe a -> Maybe Expr

conjureTiers :: Maybe a -> Maybe [[Expr]]

conjureSubTypes :: Maybe a -> Reification

(Integral a, Conjurable a, Listable a, Show a, Eq a) => Conjurable (Ratio a)

Defined in Conjure.Conjurable

Methods

conjureArgumentHoles :: Ratio a -> [Expr]

conjureEquality :: Ratio a -> Maybe Expr

conjureTiers :: Ratio a -> Maybe [[Expr]]

conjureSubTypes :: Ratio a -> Reification

(RealFloat a, Conjurable a, Listable a, Show a, Eq a) => Conjurable (Complex a)

Defined in Conjure.Conjurable

Methods

conjureArgumentHoles :: Complex a -> [Expr]

conjureEquality :: Complex a -> Maybe Expr

conjureTiers :: Complex a -> Maybe [[Expr]]

conjureSubTypes :: Complex a -> Reification

(Conjurable a, Conjurable b) => Conjurable (a -> b)

Defined in Conjure.Conjurable

Methods

conjureArgumentHoles :: (a -> b) -> [Expr]

conjureEquality :: (a -> b) -> Maybe Expr

conjureTiers :: (a -> b) -> Maybe [[Expr]]

conjureSubTypes :: (a -> b) -> Reification

(Conjurable a, Listable a, Show a, Conjurable b, Listable b, Show b) => Conjurable (Either a b)

Defined in Conjure.Conjurable

Methods

conjureArgumentHoles :: Either a b -> [Expr]

conjureEquality :: Either a b -> Maybe Expr

conjureTiers :: Either a b -> Maybe [[Expr]]

conjureSubTypes :: Either a b -> Reification

(Conjurable a, Listable a, Show a, Conjurable b, Listable b, Show b) => Conjurable (a, b)

Defined in Conjure.Conjurable

Methods

conjureArgumentHoles :: (a, b) -> [Expr]

conjureEquality :: (a, b) -> Maybe Expr

conjureTiers :: (a, b) -> Maybe [[Expr]]

conjureSubTypes :: (a, b) -> Reification

(Conjurable a, Listable a, Show a, Conjurable b, Listable b, Show b, Conjurable c, Listable c, Show c) => Conjurable (a, b, c)

Defined in Conjure.Conjurable

Methods

conjureArgumentHoles :: (a, b, c) -> [Expr]

conjureEquality :: (a, b, c) -> Maybe Expr

conjureTiers :: (a, b, c) -> Maybe [[Expr]]

conjureSubTypes :: (a, b, c) -> Reification

(Conjurable a, Listable a, Show a, Conjurable b, Listable b, Show b, Conjurable c, Listable c, Show c, Conjurable d, Listable d, Show d) => Conjurable (a, b, c, d)

Defined in Conjure.Conjurable

Methods

conjureArgumentHoles :: (a, b, c, d) -> [Expr]

conjureEquality :: (a, b, c, d) -> Maybe Expr

conjureTiers :: (a, b, c, d) -> Maybe [[Expr]]

conjureSubTypes :: (a, b, c, d) -> Reification

(Conjurable a, Listable a, Show a, Conjurable b, Listable b, Show b, Conjurable c, Listable c, Show c, Conjurable d, Listable d, Show d, Conjurable e, Listable e, Show e) => Conjurable (a, b, c, d, e)

Defined in Conjure.Conjurable

Methods

conjureArgumentHoles :: (a, b, c, d, e) -> [Expr]

conjureEquality :: (a, b, c, d, e) -> Maybe Expr

conjureTiers :: (a, b, c, d, e) -> Maybe [[Expr]]

conjureSubTypes :: (a, b, c, d, e) -> Reification

(Conjurable a, Listable a, Show a, Conjurable b, Listable b, Show b, Conjurable c, Listable c, Show c, Conjurable d, Listable d, Show d, Conjurable e, Listable e, Show e, Conjurable f, Listable f, Show f) => Conjurable (a, b, c, d, e, f)

Defined in Conjure.Conjurable

Methods

conjureArgumentHoles :: (a, b, c, d, e, f) -> [Expr]

conjureEquality :: (a, b, c, d, e, f) -> Maybe Expr

conjureTiers :: (a, b, c, d, e, f) -> Maybe [[Expr]]

conjureSubTypes :: (a, b, c, d, e, f) -> Reification

(Conjurable a, Listable a, Show a, Conjurable b, Listable b, Show b, Conjurable c, Listable c, Show c, Conjurable d, Listable d, Show d, Conjurable e, Listable e, Show e, Conjurable f, Listable f, Show f, Conjurable g, Listable g, Show g) => Conjurable (a, b, c, d, e, f, g)

Defined in Conjure.Conjurable

Methods

conjureArgumentHoles :: (a, b, c, d, e, f, g) -> [Expr]

conjureEquality :: (a, b, c, d, e, f, g) -> Maybe Expr

conjureTiers :: (a, b, c, d, e, f, g) -> Maybe [[Expr]]

conjureSubTypes :: (a, b, c, d, e, f, g) -> Reification

conjureType :: Conjurable a => a -> Reification

reifyTiers :: (Listable a, Show a, Typeable a) => a -> Maybe [[Expr]]

Reifies equality to be used in a conjurable type.

This is to be used in the definition of conjureTiers of Conjurable typeclass instances:

instance ... => Conjurable <Type> where
  ...
  conjureTiers  =  reifyTiers
  ...

reifyEquality :: (Eq a, Typeable a) => a -> Maybe Expr

Reifies equality to be used in a conjurable type.

This is to be used in the definition of conjureEquality of Conjurable typeclass instances:

instance ... => Conjurable <Type> where
  ...
  conjureEquality  =  reifyEquality
  ...

conjureApplication :: Conjurable f => String -> f -> Expr

conjureVarApplication :: Conjurable f => String -> f -> Expr

conjureHoles :: Conjurable f => f -> [Expr]

conjureIfs :: Conjurable f => f -> [Expr]

conjureTiersFor :: Conjurable f => f -> Expr -> [[Expr]]

conjureAreEqual :: Conjurable f => f -> Int -> Expr -> Expr -> Bool

conjureMkEquation :: Conjurable f => f -> Expr -> Expr -> Expr

data A

Generic type A.

Can be used to test polymorphic functions with a type variable such as take or sort:

take :: Int -> [a] -> [a]
sort :: Ord a => [a] -> [a]

by binding them to the following types:

take :: Int -> [A] -> [A]
sort :: [A] -> [A]

This type is homomorphic to Nat6, B, C, D, E and F.

It is instance to several typeclasses so that it can be used to test functions with type contexts.

Instances

Bounded A

Defined in Test.LeanCheck.Utils.Types

Methods

minBound :: A

maxBound :: A

Enum A

Defined in Test.LeanCheck.Utils.Types

Methods

succ :: A -> A

pred :: A -> A

toEnum :: Int -> A

fromEnum :: A -> Int

enumFrom :: A -> [A]

enumFromThen :: A -> A -> [A]

enumFromTo :: A -> A -> [A]

enumFromThenTo :: A -> A -> A -> [A]

Eq A

Defined in Test.LeanCheck.Utils.Types

Methods

(==) :: A -> A -> Bool

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

Integral A

Defined in Test.LeanCheck.Utils.Types

Methods

quot :: A -> A -> A

rem :: A -> A -> A

div :: A -> A -> A

mod :: A -> A -> A

quotRem :: A -> A -> (A, A)

divMod :: A -> A -> (A, A)

toInteger :: A -> Integer

Num A

Defined in Test.LeanCheck.Utils.Types

Methods

(+) :: A -> A -> A

(-) :: A -> A -> A

(*) :: A -> A -> A

negate :: A -> A

abs :: A -> A

signum :: A -> A

fromInteger :: Integer -> A

Ord A

Defined in Test.LeanCheck.Utils.Types

Methods

compare :: A -> A -> Ordering

(<) :: A -> A -> Bool

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

(>) :: A -> A -> Bool

(>=) :: A -> A -> Bool

max :: A -> A -> A

min :: A -> A -> A

Read A

Defined in Test.LeanCheck.Utils.Types

Methods

readsPrec :: Int -> ReadS A

readList :: ReadS [A]

readPrec :: ReadPrec A

readListPrec :: ReadPrec [A]

Real A

Defined in Test.LeanCheck.Utils.Types

Methods

toRational :: A -> Rational

Show A

Defined in Test.LeanCheck.Utils.Types

Methods

showsPrec :: Int -> A -> ShowS

show :: A -> String

showList :: [A] -> ShowS

Ix A

Defined in Test.LeanCheck.Utils.Types

Methods

range :: (A, A) -> [A]

index :: (A, A) -> A -> Int

unsafeIndex :: (A, A) -> A -> Int

inRange :: (A, A) -> A -> Bool

rangeSize :: (A, A) -> Int

unsafeRangeSize :: (A, A) -> Int

Listable A

Defined in Test.LeanCheck.Utils.Types

Methods

tiers :: [[A]]

list :: [A]

Conjurable A

Defined in Conjure.Conjurable

Methods

conjureArgumentHoles :: A -> [Expr]

conjureEquality :: A -> Maybe Expr

conjureTiers :: A -> Maybe [[Expr]]

conjureSubTypes :: A -> Reification

data B

Generic type B.

Can be used to test polymorphic functions with two type variables such as map or foldr:

map :: (a -> b) -> [a] -> [b]
foldr :: (a -> b -> b) -> b -> [a] -> b

by binding them to the following types:

map :: (A -> B) -> [A] -> [B]
foldr :: (A -> B -> B) -> B -> [A] -> B

This type is homomorphic to A, Nat6, C, D, E and F.

Instances

Bounded B

Defined in Test.LeanCheck.Utils.Types

Methods

minBound :: B

maxBound :: B

Enum B

Defined in Test.LeanCheck.Utils.Types

Methods

succ :: B -> B

pred :: B -> B

toEnum :: Int -> B

fromEnum :: B -> Int

enumFrom :: B -> [B]

enumFromThen :: B -> B -> [B]

enumFromTo :: B -> B -> [B]

enumFromThenTo :: B -> B -> B -> [B]

Eq B

Defined in Test.LeanCheck.Utils.Types

Methods

(==) :: B -> B -> Bool

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

Integral B

Defined in Test.LeanCheck.Utils.Types

Methods

quot :: B -> B -> B

rem :: B -> B -> B

div :: B -> B -> B

mod :: B -> B -> B

quotRem :: B -> B -> (B, B)

divMod :: B -> B -> (B, B)

toInteger :: B -> Integer

Num B

Defined in Test.LeanCheck.Utils.Types

Methods

(+) :: B -> B -> B

(-) :: B -> B -> B

(*) :: B -> B -> B

negate :: B -> B

abs :: B -> B

signum :: B -> B

fromInteger :: Integer -> B

Ord B

Defined in Test.LeanCheck.Utils.Types

Methods

compare :: B -> B -> Ordering

(<) :: B -> B -> Bool

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

(>) :: B -> B -> Bool

(>=) :: B -> B -> Bool

max :: B -> B -> B

min :: B -> B -> B

Read B

Defined in Test.LeanCheck.Utils.Types

Methods

readsPrec :: Int -> ReadS B

readList :: ReadS [B]

readPrec :: ReadPrec B

readListPrec :: ReadPrec [B]

Real B

Defined in Test.LeanCheck.Utils.Types

Methods

toRational :: B -> Rational

Show B

Defined in Test.LeanCheck.Utils.Types

Methods

showsPrec :: Int -> B -> ShowS

show :: B -> String

showList :: [B] -> ShowS

Ix B

Defined in Test.LeanCheck.Utils.Types

Methods

range :: (B, B) -> [B]

index :: (B, B) -> B -> Int

unsafeIndex :: (B, B) -> B -> Int

inRange :: (B, B) -> B -> Bool

rangeSize :: (B, B) -> Int

unsafeRangeSize :: (B, B) -> Int

Listable B

Defined in Test.LeanCheck.Utils.Types

Methods

tiers :: [[B]]

list :: [B]

Conjurable B

Defined in Conjure.Conjurable

Methods

conjureArgumentHoles :: B -> [Expr]

conjureEquality :: B -> Maybe Expr

conjureTiers :: B -> Maybe [[Expr]]

conjureSubTypes :: B -> Reification

data C

Generic type C.

Can be used to test polymorphic functions with three type variables such as uncurry or zipWith:

uncurry :: (a -> b -> c) -> (a, b) -> c
zipWith :: (a -> b -> c) -> [a] -> [b] -> [c]

by binding them to the following types:

uncurry :: (A -> B -> C) -> (A, B) -> C
zipWith :: (A -> B -> C) -> [A] -> [B] -> [C]

This type is homomorphic to A, B, Nat6, D, E and F.

Instances

Bounded C

Defined in Test.LeanCheck.Utils.Types

Methods

minBound :: C

maxBound :: C

Enum C

Defined in Test.LeanCheck.Utils.Types

Methods

succ :: C -> C

pred :: C -> C

toEnum :: Int -> C

fromEnum :: C -> Int

enumFrom :: C -> [C]

enumFromThen :: C -> C -> [C]

enumFromTo :: C -> C -> [C]

enumFromThenTo :: C -> C -> C -> [C]

Eq C

Defined in Test.LeanCheck.Utils.Types

Methods

(==) :: C -> C -> Bool

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

Integral C

Defined in Test.LeanCheck.Utils.Types

Methods

quot :: C -> C -> C

rem :: C -> C -> C

div :: C -> C -> C

mod :: C -> C -> C

quotRem :: C -> C -> (C, C)

divMod :: C -> C -> (C, C)

toInteger :: C -> Integer

Num C

Defined in Test.LeanCheck.Utils.Types

Methods

(+) :: C -> C -> C

(-) :: C -> C -> C

(*) :: C -> C -> C

negate :: C -> C

abs :: C -> C

signum :: C -> C

fromInteger :: Integer -> C

Ord C

Defined in Test.LeanCheck.Utils.Types

Methods

compare :: C -> C -> Ordering

(<) :: C -> C -> Bool

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

(>) :: C -> C -> Bool

(>=) :: C -> C -> Bool

max :: C -> C -> C

min :: C -> C -> C

Read C

Defined in Test.LeanCheck.Utils.Types

Methods

readsPrec :: Int -> ReadS C

readList :: ReadS [C]

readPrec :: ReadPrec C

readListPrec :: ReadPrec [C]

Real C

Defined in Test.LeanCheck.Utils.Types

Methods

toRational :: C -> Rational

Show C

Defined in Test.LeanCheck.Utils.Types

Methods

showsPrec :: Int -> C -> ShowS

show :: C -> String

showList :: [C] -> ShowS

Ix C

Defined in Test.LeanCheck.Utils.Types

Methods

range :: (C, C) -> [C]

index :: (C, C) -> C -> Int

unsafeIndex :: (C, C) -> C -> Int

inRange :: (C, C) -> C -> Bool

rangeSize :: (C, C) -> Int

unsafeRangeSize :: (C, C) -> Int

Listable C

Defined in Test.LeanCheck.Utils.Types

Methods

tiers :: [[C]]

list :: [C]

Conjurable C

Defined in Conjure.Conjurable

Methods

conjureArgumentHoles :: C -> [Expr]

conjureEquality :: C -> Maybe Expr

conjureTiers :: C -> Maybe [[Expr]]

conjureSubTypes :: C -> Reification

data D

Generic type D.

Can be used to test polymorphic functions with four type variables.

This type is homomorphic to A, B, C, Nat6, E and F.

Instances

Bounded D

Defined in Test.LeanCheck.Utils.Types

Methods

minBound :: D

maxBound :: D

Enum D

Defined in Test.LeanCheck.Utils.Types

Methods

succ :: D -> D

pred :: D -> D

toEnum :: Int -> D

fromEnum :: D -> Int

enumFrom :: D -> [D]

enumFromThen :: D -> D -> [D]

enumFromTo :: D -> D -> [D]

enumFromThenTo :: D -> D -> D -> [D]

Eq D

Defined in Test.LeanCheck.Utils.Types

Methods

(==) :: D -> D -> Bool

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

Integral D

Defined in Test.LeanCheck.Utils.Types

Methods

quot :: D -> D -> D

rem :: D -> D -> D

div :: D -> D -> D

mod :: D -> D -> D

quotRem :: D -> D -> (D, D)

divMod :: D -> D -> (D, D)

toInteger :: D -> Integer

Num D

Defined in Test.LeanCheck.Utils.Types

Methods

(+) :: D -> D -> D

(-) :: D -> D -> D

(*) :: D -> D -> D

negate :: D -> D

abs :: D -> D

signum :: D -> D

fromInteger :: Integer -> D

Ord D

Defined in Test.LeanCheck.Utils.Types

Methods

compare :: D -> D -> Ordering

(<) :: D -> D -> Bool

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

(>) :: D -> D -> Bool

(>=) :: D -> D -> Bool

max :: D -> D -> D

min :: D -> D -> D

Read D

Defined in Test.LeanCheck.Utils.Types

Methods

readsPrec :: Int -> ReadS D

readList :: ReadS [D]

readPrec :: ReadPrec D

readListPrec :: ReadPrec [D]

Real D

Defined in Test.LeanCheck.Utils.Types

Methods

toRational :: D -> Rational

Show D

Defined in Test.LeanCheck.Utils.Types

Methods

showsPrec :: Int -> D -> ShowS

show :: D -> String

showList :: [D] -> ShowS

Ix D

Defined in Test.LeanCheck.Utils.Types

Methods

range :: (D, D) -> [D]

index :: (D, D) -> D -> Int

unsafeIndex :: (D, D) -> D -> Int

inRange :: (D, D) -> D -> Bool

rangeSize :: (D, D) -> Int

unsafeRangeSize :: (D, D) -> Int

Listable D

Defined in Test.LeanCheck.Utils.Types

Methods

tiers :: [[D]]

list :: [D]

Conjurable D

Defined in Conjure.Conjurable

Methods

conjureArgumentHoles :: D -> [Expr]

conjureEquality :: D -> Maybe Expr

conjureTiers :: D -> Maybe [[Expr]]

conjureSubTypes :: D -> Reification

data E

Generic type E.

Can be used to test polymorphic functions with five type variables.

This type is homomorphic to A, B, C, D, Nat6 and F.

Instances

Bounded E

Defined in Test.LeanCheck.Utils.Types

Methods

minBound :: E

maxBound :: E

Enum E

Defined in Test.LeanCheck.Utils.Types

Methods

succ :: E -> E

pred :: E -> E

toEnum :: Int -> E

fromEnum :: E -> Int

enumFrom :: E -> [E]

enumFromThen :: E -> E -> [E]

enumFromTo :: E -> E -> [E]

enumFromThenTo :: E -> E -> E -> [E]

Eq E

Defined in Test.LeanCheck.Utils.Types

Methods

(==) :: E -> E -> Bool

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

Integral E

Defined in Test.LeanCheck.Utils.Types

Methods

quot :: E -> E -> E

rem :: E -> E -> E

div :: E -> E -> E

mod :: E -> E -> E

quotRem :: E -> E -> (E, E)

divMod :: E -> E -> (E, E)

toInteger :: E -> Integer

Num E

Defined in Test.LeanCheck.Utils.Types

Methods

(+) :: E -> E -> E

(-) :: E -> E -> E

(*) :: E -> E -> E

negate :: E -> E

abs :: E -> E

signum :: E -> E

fromInteger :: Integer -> E

Ord E

Defined in Test.LeanCheck.Utils.Types

Methods

compare :: E -> E -> Ordering

(<) :: E -> E -> Bool

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

(>) :: E -> E -> Bool

(>=) :: E -> E -> Bool

max :: E -> E -> E

min :: E -> E -> E

Read E

Defined in Test.LeanCheck.Utils.Types

Methods

readsPrec :: Int -> ReadS E

readList :: ReadS [E]

readPrec :: ReadPrec E

readListPrec :: ReadPrec [E]

Real E

Defined in Test.LeanCheck.Utils.Types

Methods

toRational :: E -> Rational

Show E

Defined in Test.LeanCheck.Utils.Types

Methods

showsPrec :: Int -> E -> ShowS

show :: E -> String

showList :: [E] -> ShowS

Ix E

Defined in Test.LeanCheck.Utils.Types

Methods

range :: (E, E) -> [E]

index :: (E, E) -> E -> Int

unsafeIndex :: (E, E) -> E -> Int

inRange :: (E, E) -> E -> Bool

rangeSize :: (E, E) -> Int

unsafeRangeSize :: (E, E) -> Int

Listable E

Defined in Test.LeanCheck.Utils.Types

Methods

tiers :: [[E]]

list :: [E]

Conjurable E

Defined in Conjure.Conjurable

Methods

conjureArgumentHoles :: E -> [Expr]

conjureEquality :: E -> Maybe Expr

conjureTiers :: E -> Maybe [[Expr]]

conjureSubTypes :: E -> Reification

data F

Generic type F.

Can be used to test polymorphic functions with five type variables.

This type is homomorphic to A, B, C, D, E and Nat6.

Instances

Bounded F

Defined in Test.LeanCheck.Utils.Types

Methods

minBound :: F

maxBound :: F

Enum F

Defined in Test.LeanCheck.Utils.Types

Methods

succ :: F -> F

pred :: F -> F

toEnum :: Int -> F

fromEnum :: F -> Int

enumFrom :: F -> [F]

enumFromThen :: F -> F -> [F]

enumFromTo :: F -> F -> [F]

enumFromThenTo :: F -> F -> F -> [F]

Eq F

Defined in Test.LeanCheck.Utils.Types

Methods

(==) :: F -> F -> Bool

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

Integral F

Defined in Test.LeanCheck.Utils.Types

Methods

quot :: F -> F -> F

rem :: F -> F -> F

div :: F -> F -> F

mod :: F -> F -> F

quotRem :: F -> F -> (F, F)

divMod :: F -> F -> (F, F)

toInteger :: F -> Integer

Num F

Defined in Test.LeanCheck.Utils.Types

Methods

(+) :: F -> F -> F

(-) :: F -> F -> F

(*) :: F -> F -> F

negate :: F -> F

abs :: F -> F

signum :: F -> F

fromInteger :: Integer -> F

Ord F

Defined in Test.LeanCheck.Utils.Types

Methods

compare :: F -> F -> Ordering

(<) :: F -> F -> Bool

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

(>) :: F -> F -> Bool

(>=) :: F -> F -> Bool

max :: F -> F -> F

min :: F -> F -> F

Read F

Defined in Test.LeanCheck.Utils.Types

Methods

readsPrec :: Int -> ReadS F

readList :: ReadS [F]

readPrec :: ReadPrec F

readListPrec :: ReadPrec [F]

Real F

Defined in Test.LeanCheck.Utils.Types

Methods

toRational :: F -> Rational

Show F

Defined in Test.LeanCheck.Utils.Types

Methods

showsPrec :: Int -> F -> ShowS

show :: F -> String

showList :: [F] -> ShowS

Ix F

Defined in Test.LeanCheck.Utils.Types

Methods

range :: (F, F) -> [F]

index :: (F, F) -> F -> Int

unsafeIndex :: (F, F) -> F -> Int

inRange :: (F, F) -> F -> Bool

rangeSize :: (F, F) -> Int

unsafeRangeSize :: (F, F) -> Int

Listable F

Defined in Test.LeanCheck.Utils.Types

Methods

tiers :: [[F]]

list :: [F]

Conjurable F

Defined in Conjure.Conjurable

Methods

conjureArgumentHoles :: F -> [Expr]

conjureEquality :: F -> Maybe Expr

conjureTiers :: F -> Maybe [[Expr]]

conjureSubTypes :: F -> Reification