hets -- a heterogenous Specification (CASL) tool set Contents Index

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