hets -- a heterogenous Specification (CASL) tool setContentsIndex
HasCASL.Symbol
Portability portable
Stability experimental
Maintainer hets@tzi.de
Contents
symbol data types
parsers for symbols
Description
HasCASL symbols for structured specs
Synopsis
data SymbItems = SymbItems SymbKind [Symb] [Annotation] [Pos]
data SymbMapItems = SymbMapItems SymbKind [SymbOrMap] [Annotation] [Pos]
data SymbKind
= Implicit
| SK_type
| SK_op
| SK_class
data Symb = Symb Id (Maybe SymbType) [Pos]
data SymbType = SymbType TypeScheme
data SymbOrMap = SymbOrMap Symb (Maybe Symb) [Pos]
symb :: AParser Symb
symbMap :: AParser SymbOrMap
symbKind :: AParser (SymbKind, Token)
symbItems :: AParser SymbItems
symbs :: AParser ([Symb], [Token])
symbMapItems :: AParser SymbMapItems
symbMaps :: AParser ([SymbOrMap], [Token])
printSK :: SymbKind -> Doc
symbol data types
data SymbItems
symbols
Constructors
SymbItems SymbKind [Symb] [Annotation] [Pos]
Instances
Comorphism CASL2HasCASL CASL CASL_Sublogics BASIC_SPEC FORMULA SYMB_ITEMS SYMB_MAP_ITEMS Sign Morphism Symbol RawSymbol () HasCASL HasCASL_Sublogics BasicSpec Term SymbItems SymbMapItems Env Morphism Symbol RawSymbol ()
ATermConvertible SymbItems
Typeable SymbItems
Syntax HasCASL BasicSpec SymbItems SymbMapItems
StaticAnalysis HasCASL BasicSpec Term () SymbItems SymbMapItems Env Morphism Symbol RawSymbol
Logic HasCASL HasCASL_Sublogics BasicSpec Term SymbItems SymbMapItems Env Morphism Symbol RawSymbol ()
PrettyPrint SymbItems
Show SymbItems
Eq SymbItems
data SymbMapItems
mapped symbols
Constructors
SymbMapItems SymbKind [SymbOrMap] [Annotation] [Pos]
Instances
Comorphism CASL2HasCASL CASL CASL_Sublogics BASIC_SPEC FORMULA SYMB_ITEMS SYMB_MAP_ITEMS Sign Morphism Symbol RawSymbol () HasCASL HasCASL_Sublogics BasicSpec Term SymbItems SymbMapItems Env Morphism Symbol RawSymbol ()
ATermConvertible SymbMapItems
Typeable SymbMapItems
Syntax HasCASL BasicSpec SymbItems SymbMapItems
StaticAnalysis HasCASL BasicSpec Term () SymbItems SymbMapItems Env Morphism Symbol RawSymbol
Logic HasCASL HasCASL_Sublogics BasicSpec Term SymbItems SymbMapItems Env Morphism Symbol RawSymbol ()
PrettyPrint SymbMapItems
Show SymbMapItems
Eq SymbMapItems
data SymbKind
kind of symbols
Constructors
Implicit
SK_type
SK_op
SK_class
Instances
ATermConvertible SymbKind
Show SymbKind
Eq SymbKind
Ord SymbKind
data Symb
type annotated symbols
Constructors
Symb Id (Maybe SymbType) [Pos]
Instances
ATermConvertible Symb
PrettyPrint Symb
Show Symb
Eq Symb
data SymbType
type for symbols
Constructors
SymbType TypeScheme
Instances
ATermConvertible SymbType
Show SymbType
Eq SymbType
data SymbOrMap
mapped symbol
Constructors
SymbOrMap Symb (Maybe Symb) [Pos]
Instances
ATermConvertible SymbOrMap
PrettyPrint SymbOrMap
Show SymbOrMap
Eq SymbOrMap
parsers for symbols
symb :: AParser Symb
parse a (typed) symbol
symbMap :: AParser SymbOrMap
parse a mapped symbol
symbKind :: AParser (SymbKind, Token)
parse kind of symbols
symbItems :: AParser SymbItems
parse symbol items
symbs :: AParser ([Symb], [Token])
symbMapItems :: AParser SymbMapItems
parse symbol mappings
symbMaps :: AParser ([SymbOrMap], [Token])
printSK :: SymbKind -> Doc
print symbol kind
Produced by Haddock version 0.6