| Copyright | (c) Ewaryst Schulz, DFKI Bremen 2009 |
|---|---|
| License | GPLv2 or higher, see LICENSE.txt |
| Maintainer | ewaryst.schulz@dfki.de |
| Stability | provisional |
| Portability | portable |
| Safe Haskell | None |
CASL.OMDocExport
Description
CASL implementation of the interface functions export_signToOmdoc, export_morphismToOmdoc, export_senToOmdoc from class Logic. The actual instantiation can be found in module CASL.Logic_CASL.
- exportSymToOmdoc :: Env -> Symbol -> String -> Result TCElement
- exportSenToOmdoc :: (GetRange f, Pretty f) => Env -> FORMULA f -> Result TCorOMElement
- exportTheoryToOmdoc :: (Show f, Pretty e) => SigMap Symbol -> Sign f e -> [Named (FORMULA f)] -> Result [TCElement]
- caslMetaTheory :: OMCD
Documentation
exportSymToOmdoc :: Env -> Symbol -> String -> Result TCElement
exportSenToOmdoc :: (GetRange f, Pretty f) => Env -> FORMULA f -> Result TCorOMElement
exportTheoryToOmdoc :: (Show f, Pretty e) => SigMap Symbol -> Sign f e -> [Named (FORMULA f)] -> Result [TCElement]
We have to export the subsort relation because it's not given in sentences
CASL meta theory content dictionary