Hets - the Heterogeneous Tool Set

Copyright(c) Hendrik Iben, Uni Bremen 2005-2007
LicenseGPLv2 or higher, see LICENSE.txt
Maintainerhiben@informatik.uni-bremen.de
Stabilityprovisional
Portabilitynon-portable
Safe HaskellSafe-Inferred

OMDoc.OMDocInterface

Description

Model of a handpicked subset from OMDoc

Synopsis

Documentation

type OMDocRef = IRI

OMDocRef is anyIRI

type OMDocRefs = [OMDocRef]

OMDocRefs modelled as a list

type XmlId = String

used for ids

type XmlString = String

used for names, pcdata

data Use

Use for Presentation

Constructors

Use 

data Constitutive

OMDoc Theory constitutive elements + convenience additions (ADT)

data Axiom

Axiom

Constructors

Axiom 

Fields

axiomName :: XmlId
 
axiomCMPs :: [CMP]
 
axiomFMPs :: [FMP]
 

mkAxiom :: XmlId -> [CMP] -> [FMP] -> Axiom

data CMP

CMP

Constructors

CMP 

Fields

cmpContent :: MText
 

data Assumption

Assumption (incomplete)

Constructors

Assumption 

data ADT

ADT

Constructors

ADT 

mkADT :: [SortDef] -> ADT

data Insort

Insort

Constructors

Insort 

Fields

insortFor :: OMDocRef
 

data OMBase64

OMB is actually just a bytearray for storing data. [Char] representation is forced by export from Codec.Base64

Constructors

OMB 

Fields

ombContent :: [Word8]
 

mkOMComment :: String -> OMElement

insert a comment into an open-math structure (use with caution...)