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.

Synopsis

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 Source #

exportSenToOmdoc :: (GetRange f, Pretty f) => Env -> FORMULA f -> Result TCorOMElement Source #

exportTheoryToOmdoc :: (Show f, Pretty e) => SigMap Symbol -> Sign f e -> [Named (FORMULA f)] -> Result [TCElement] Source #

We have to export the subsort relation because it's not given in sentences

caslMetaTheory :: OMCD Source #

CASL meta theory content dictionary