 | UMinho Haskell Libraries (1.0) | Contents | Index |
| Language.Gnumeric.TypeInferenceHUnit |
|
| ||||||||
| ||||||||
| Description | ||||||||
| This module implements a form of type inference on spread sheets. The idea is to to group spreadsheet variables that are related through formulas into a type graph, where nodes are sets of variables, and edges represent subtype relations. A generic engine is used for type inference, see Data.Relation.TypeInference. This engine is fed with simple relations between variables computed in this module. | ||||||||
| Synopsis | ||||||||
| Produced by Haddock version 0.6 |