| Safe Haskell | None |
|---|
GTA.Util.GenericSemiringStructureTemplate
Documentation
genAlgebraDecl :: Name -> Q [Dec]Source
genMapFunctionsDecl :: Name -> Q [Dec]Source
genInstanceDecl :: Name -> Q [Dec]Source
genAllDecl :: Name -> Q [Dec]Source
GTALib-0.0.3: A library for GTA programming
| Safe Haskell | None |
|---|
GTA.Util.GenericSemiringStructureTemplate
genAlgebraDecl :: Name -> Q [Dec]Source
genMapFunctionsDecl :: Name -> Q [Dec]Source
genInstanceDecl :: Name -> Q [Dec]Source
genAllDecl :: Name -> Q [Dec]Source