Hets - the Heterogeneous Tool Set

Copyright	(c) Kristina Sojakova, DFKI Bremen 2010
License	GPLv2 or higher, see LICENSE.txt
Maintainer	k.sojakova@jacobs-university.de
Stability	experimental
Portability	portable
Safe Haskell	Safe-Inferred

Framework.AS

Description

Documentation

type NAME = IRI

type SIG_NAME = IRI

type MORPH_NAME = IRI

type PATTERN_NAME = Token

data FRAM

Constructors

LF
Isabelle
Maude

Instances

Eq FRAM
Data FRAM
Ord FRAM
Show FRAM
ShATermConvertible FRAM
Pretty FRAM
Typeable * FRAM

Constructors

LogicDef
Fields newlogicName :: NAME meta :: FRAM syntax :: MORPH_NAME models :: MORPH_NAME foundation :: SIG_NAME proofs :: MORPH_NAME patterns :: PATTERN_NAME

Instances

Eq LogicDef
Data LogicDef
Ord LogicDef
Show LogicDef
ShATermConvertible LogicDef
Monoid LogicDef
GetRange LogicDef
Pretty LogicDef
Typeable * LogicDef
Sentences Framework () LogicDef Morphism ()
Syntax Framework LogicDef () () ()
StaticAnalysis Framework LogicDef () () () LogicDef Morphism () ()
Logic Framework () LogicDef () () () LogicDef Morphism () () ()

data ComorphismDef

Constructors

ComorphismDef
Fields newcomorphismName :: NAME metaC :: FRAM source :: SIG_NAME target :: SIG_NAME syntaxC :: MORPH_NAME modelC :: MORPH_NAME proofC :: MORPH_NAME

Instances

printLogicDef :: LogicDef -> Doc

printComorphismDef :: ComorphismDef -> Doc

printFram :: FRAM -> Doc