UMinho Haskell Libraries (2004.07.02) Contents Index

Data.Relation.TypeInferenceTest Portability portable Stability experimental Maintainer joost.visser@di.uminho.pt

Contents Test Reusable

Description

Tests for Data.Relation.TypeInferenceTest.

Synopsis

testVariableGraph :: VariableGraph String String testDot :: IO () toDot :: TypeGraph String -> IO () typesOf :: Ord a => a -> [Set a] -> [Set a] typeOf :: Ord a => a -> [Set a] -> Set a typeRepOf :: String -> [Set String] -> String qsort :: Ord a => [a] -> [a]

Test

testVariableGraph :: VariableGraph String String

Test data.

testDot :: IO ()

Test run.

Reusable

toDot :: TypeGraph String -> IO ()

Print a type graph in the dot format.

typesOf :: Ord a => a -> [Set a] -> [Set a]

Obtain the types (groups of variables) of which a given variable is an element.

typeOf :: Ord a => a -> [Set a] -> Set a

Obtain a type (group of variables) of which the given variable is an element.

typeRepOf :: String -> [Set String] -> String

Obtain a canonical representation for a type.

qsort :: Ord a => [a] -> [a]

Quick sort (used to create canonical representations of groups of variables in the dot format).

Produced by Haddock version 0.6