speculate-0.2.3: discovery of properties about Haskell functions

Safe HaskellNone
LanguageHaskell2010

Test.Speculate.Expr.TypeInfo

Contents

Synopsis

Documentation

type Instances = [Instance] Source #

Type information needed to Speculate expressions.

data Instance Source #

Type information needed to Speculate expressions (single type / single class).

data TypeRep :: * #

A concrete representation of a (monomorphic) type. TypeRep supports reasonably efficient equality.

Smart constructors

ins :: (Typeable a, Listable a, Show a, Eq a, Ord a) => String -> a -> Instances Source #

eq :: (Typeable a, Eq a) => a -> Instances Source #

eqWith :: (Typeable a, Eq a) => (a -> a -> Bool) -> Instances Source #

ord :: (Typeable a, Ord a) => a -> Instances Source #

ordWith :: (Typeable a, Ord a) => (a -> a -> Bool) -> Instances Source #

eqOrd :: (Typeable a, Eq a, Ord a) => a -> Instances Source #

listableWith :: (Typeable a, Show a) => [[a]] -> Instances Source #

Queries on Instances

Type info for standard Haskell types

Does not belong here?