speculate-0.3.5: 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] Source #

Type information needed to Speculate expressions.

data Instance Source #

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