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

LF.AS

Description

Documentation

Constructors

Decl String
Form String

Instances

Show BASIC_ITEM
ShATermConvertible BASIC_ITEM
Pretty BASIC_ITEM
Typeable * BASIC_ITEM

Constructors

Symb String
Symb_map String String

Instances

Eq SYMB_OR_MAP
Show SYMB_OR_MAP
ShATermConvertible SYMB_OR_MAP
Pretty SYMB_OR_MAP
Typeable * SYMB_OR_MAP

Show BASIC_SPEC
ShATermConvertible BASIC_SPEC
Monoid BASIC_SPEC
GetRange BASIC_SPEC
Pretty BASIC_SPEC
Typeable * BASIC_SPEC
Syntax LF BASIC_SPEC Symbol SYMB_ITEMS SYMB_MAP_ITEMS
StaticAnalysis LF BASIC_SPEC Sentence SYMB_ITEMS SYMB_MAP_ITEMS Sign Morphism Symbol RAW_SYM
LogicalFramework LF () BASIC_SPEC Sentence SYMB_ITEMS SYMB_MAP_ITEMS Sign Morphism Symbol RAW_SYM ()
Logic LF () BASIC_SPEC Sentence SYMB_ITEMS SYMB_MAP_ITEMS Sign Morphism Symbol RAW_SYM ()

Eq SYMB_ITEMS
Show SYMB_ITEMS
ShATermConvertible SYMB_ITEMS
Pretty SYMB_ITEMS
Typeable * SYMB_ITEMS
Syntax LF BASIC_SPEC Symbol SYMB_ITEMS SYMB_MAP_ITEMS
StaticAnalysis LF BASIC_SPEC Sentence SYMB_ITEMS SYMB_MAP_ITEMS Sign Morphism Symbol RAW_SYM
LogicalFramework LF () BASIC_SPEC Sentence SYMB_ITEMS SYMB_MAP_ITEMS Sign Morphism Symbol RAW_SYM ()
Logic LF () BASIC_SPEC Sentence SYMB_ITEMS SYMB_MAP_ITEMS Sign Morphism Symbol RAW_SYM ()

Eq SYMB_MAP_ITEMS
Show SYMB_MAP_ITEMS
ShATermConvertible SYMB_MAP_ITEMS
Pretty SYMB_MAP_ITEMS
Typeable * SYMB_MAP_ITEMS
Syntax LF BASIC_SPEC Symbol SYMB_ITEMS SYMB_MAP_ITEMS
StaticAnalysis LF BASIC_SPEC Sentence SYMB_ITEMS SYMB_MAP_ITEMS Sign Morphism Symbol RAW_SYM
LogicalFramework LF () BASIC_SPEC Sentence SYMB_ITEMS SYMB_MAP_ITEMS Sign Morphism Symbol RAW_SYM ()
Logic LF () BASIC_SPEC Sentence SYMB_ITEMS SYMB_MAP_ITEMS Sign Morphism Symbol RAW_SYM ()