speculate-0.3.2: discovery of properties about Haskell functions

Copyright(c) 2016-2017 Rudy Matela
License3-Clause BSD (see the file LICENSE)
MaintainerRudy Matela <rudy@matela.com.br>
Safe HaskellNone
LanguageHaskell2010

Test.Speculate.Expr.Instance

Contents

Description

This module is part of Speculate.

Typeclass instance information.

Synopsis

Documentation

type Instances = [Instance] #

Type information needed to Speculate expressions.

data Instance #

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

Constructors

Instance String TypeRep [Expr] 

type TypeRep = SomeTypeRep #

A quantified type representation.

Smart constructors

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

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

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

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

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

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

listable :: (Typeable a, Show a, Listable a) => a -> Instances #

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

name :: Typeable a => String -> a -> Instances #

Queries on Instances

Type info for standard Haskell types

Does not belong here?