|
| Language.Gnumeric.TypeInference | | Portability | portable | | Stability | experimental | | Maintainer | Joost Visser |
|
|
|
|
|
| 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 |
|
|
|
|
| Representation |
|
| type Type = CellRef |
| The types being infered are (groups of) cell references. |
|
| type ArrayType = CellBlock |
| Cell block plays the role of array types (not used currently). |
|
| Extraction of variable graph |
|
| infer :: Type -> Formula -> Gph Type |
| Infer type relationships from a formula, given the type of the cell
in which it appears. |
|
| Produced by Haddock version 0.6 |
