|
Data.Relation.TypeInferenceTest | Portability | portable | Stability | experimental | Maintainer | joost.visser@di.uminho.pt |
|
|
|
|
|
Description |
Tests for Data.Relation.TypeInferenceTest.
|
|
Synopsis |
|
|
|
|
Test |
|
testVariableGraph :: VariableGraph String String |
Test data. |
|
testDot :: IO () |
Test run. |
|
Reusable |
|
toDot :: TypeGraph String -> IO () |
Print a type graph in the dot format. |
|
toDotString :: TypeGraph String -> String |
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 |