Programatica ToolsProgramatica Tools| Name | Last modified | Size |
|---|---|---|
| Parent Directory | - | |
| SrcLocPretty.hs | 2004-01-28 03:21 | 203 |
| SrcLoc.hs | 2004-01-17 01:42 | 727 |
| SpecialNames.hs | 2003-09-30 19:11 | 784 |
| OldBaseSyntax.hs | 2003-06-05 23:52 | 1.7K |
| HsTypeUtil.hs | 2004-12-06 23:36 | 907 |
| HsTypeStruct.hs | 2004-12-06 23:36 | 291 |
| HsTypePretty.hs | 2005-04-15 01:29 | 1.1K |
| HsTypeMaps.hs | 2004-12-06 23:36 | 2.1K |
| HsType.hs | 2002-03-02 04:39 | 128 |
| HsPatUtil.hs | 2006-06-13 00:15 | 1.9K |
| HsPatStruct.hs | 2005-06-01 21:58 | 927 |
| HsPatPretty.hs | 2005-06-01 21:58 | 1.2K |
| HsPatMaps.hs | 2005-06-01 21:58 | 2.7K |
| HsPat.hs | 2002-03-02 04:39 | 123 |
| HsName.hs | 2004-09-29 06:19 | 3.5K |
| HsModulePretty.hs | 2004-11-06 01:08 | 1.2K |
| HsModuleMaps.hs | 2004-04-02 23:34 | 1.6K |
| HsModule.hs | 2004-12-06 23:36 | 1.9K |
| HsLiteralPretty.hs | 2004-12-18 06:24 | 673 |
| HsLiteral.hs | 2004-12-18 06:24 | 444 |
| HsKindUtil.hs | 2005-05-11 22:52 | 375 |
| HsKindStruct.hs | 2004-12-06 23:36 | 243 |
| HsKindPretty.hs | 2005-05-11 22:52 | 356 |
| HsKindMaps.hs | 2005-05-11 22:52 | 488 |
| HsKind.hs | 2002-03-02 04:39 | 128 |
| HsIdentPretty.hs | 2005-04-15 01:29 | 449 |
| HsIdent.hs | 2002-03-13 02:09 | 861 |
| HsGuardsUtil.hs | 2002-05-10 19:57 | 139 |
| HsGuardsStruct.hs | 2001-07-25 03:15 | 284 |
| HsGuardsPretty.hs | 2002-03-30 00:46 | 616 |
| HsGuardsMaps.hs | 2001-10-17 21:59 | 677 |
| HsGuards.hs | 2002-03-02 04:39 | 138 |
| HsFieldsStruct.hs | 2002-03-02 01:30 | 203 |
| HsFieldsPretty.hs | 2002-09-29 23:44 | 273 |
| HsFieldsMaps.hs | 2002-03-02 01:30 | 517 |
| HsFields.hs | 2002-03-02 01:30 | 164 |
| HsExpUtil.hs | 2006-06-13 00:15 | 3.2K |
| HsExpStruct.hs | 2004-12-16 01:36 | 1.2K |
| HsExpPretty.hs | 2005-04-15 01:29 | 3.8K |
| HsExpMaps.hs | 2004-12-16 01:36 | 5.9K |
| HsExp.hs | 2002-03-02 04:39 | 123 |
| HsDeclUtil.hs | 2003-06-19 21:47 | 2.1K |
| HsDeclStruct.hs | 2005-03-22 23:08 | 1.6K |
| HsDeclPretty.hs | 2004-12-06 23:36 | 3.2K |
| HsDeclMaps.hs | 2004-01-23 01:49 | 7.3K |
| HsDecl.hs | 2002-03-02 04:39 | 128 |
| HsConstants.hs | 2005-04-15 01:29 | 1.8K |
| HsAssocUtil.hs | 2004-01-23 01:49 | 1.3K |
| HsAssocStruct.hs | 2002-03-13 01:58 | 225 |
| HsAssocPretty.hs | 2003-02-04 01:38 | 286 |
| HsAssocInitEnv.hs | 2001-10-11 01:36 | 428 |
| HsAssoc.hs | 2002-03-13 02:09 | 107 |
| HasBaseStruct.hs | 2005-06-01 21:58 | 4.2K |
| HasBaseName.hs | 2004-04-02 23:34 | 467 |
| Flags.ghc | 2006-04-27 03:14 | 47 |
| BaseSyntaxUtil.hs | 2002-03-13 01:58 | 240 |
| BaseSyntaxStruct.hs | 2002-03-13 02:09 | 449 |
| BaseSyntaxPretty.hs | 2002-03-13 01:58 | 402 |
| BaseSyntaxMaps.hs | 2002-03-13 01:58 | 237 |
| BaseSyntax.hs | 2003-06-06 00:40 | 308 |
The modules are factorized according to syntactic category and functionality. This is illustrated in the following table:
| Decl | Exp | Fields | Guards | Kind | Pat | Type | collected | |
|---|---|---|---|---|---|---|---|---|
| Struct | x | x | x | x | x | x | x | BaseSyntaxStruct |
| Maps | x | x | x | x | x | x | x | BaseSyntaxMaps |
| Pretty | x | x | x | x | x | x | x | BaseSyntaxPretty |
| Util | x | x | - | x | x | x | x | BaseSyntaxUtil |
| collected | HsDecl | HsExp | HsFields | HsGuards | HsKind | HsPat | HsType | BaseSyntax |
There is also a small number of auxiliary modules.
The modules in the row and column marked collected just import
and reexport the modules in the respective row or column. The module
BaseSyntax exports everything defined in this directory.
The modules in the first row (Struct) define the data types and are self-contained: they do not depend on any other modules (except some types from the Haskell 98 Prelude).
The modules in the second row (Maps) define the three operations acc, map and seq. These modules depend on the modules in the first row (mostly the ones directly above) and some auxiliary modules (AccList and MUtils, available in ../lib), which in turn depend on some Haskell 98 Standrad Library Modules (List and Monad).
The modules in the third row (Pretty) define instances in a pretty printing class, and some auxiliary pretty printing functions. They depend on a pretty printing library, which is provided in ../pretty, modules on rows above, and in some cases, modules in the Util row.
The modules in the fourth row (Util) are more ad-hoc...
The modules in the last row are not used anymore...