Copyright | (c) Martin Kuehl Uni Bremen 2008-2009 |
---|---|
License | GPLv2 or higher, see LICENSE.txt |
Maintainer | mkhl@informatik.uni-bremen.de |
Stability | experimental |
Portability | portable |
Safe Haskell | Safe |
Maude.Symbol
Description
Definition of symbols for Maude.
- data Symbol
- type Symbols = [Symbol]
- type SymbolSet = Set Symbol
- type SymbolMap = Map Symbol Symbol
- type SymbolRel = Rel Symbol
- data SymbolKind
- sym_kind :: Symbol -> SymbolKind
- kindSym2sortSym :: Symbol -> Symbol
- toId :: Symbol -> Id
- qualify :: Qid -> Symbol -> Symbol
- asSort :: Symbol -> Symbol
- asKind :: Symbol -> Symbol
- toType :: Symbol -> Type
- toOperator :: Symbol -> Operator
- mkOpTotal :: Qid -> [Qid] -> Qid -> Symbol
- mkOpPartial :: Qid -> [Qid] -> Qid -> Symbol
- sameKind :: SymbolRel -> Symbol -> Symbol -> Bool
Types The Symbol type
Constructors
Sort Qid | A |
Kind Qid | A |
Labl Qid | A |
Operator Qid Symbols Symbol | A qualified |
OpWildcard Qid | A wildcard |
Instances
Eq Symbol Source # | |
Ord Symbol Source # | |
Read Symbol Source # | |
Show Symbol Source # | |
GetRange Symbol Source # | |
Pretty Symbol Source # | |
HasName Symbol Source # | |
AsSymbol Symbol Source # | |
HasOps Symbol Source # | |
HasSorts Symbol Source # | |
Sentences Maude Sentence Sign Morphism Symbol Source # | Instance of Sentences for Maude |
Syntax Maude MaudeText Symbol () () Source # | Instance of Syntax for Maude |
StaticAnalysis Maude MaudeText Sentence () () Sign Morphism Symbol Symbol Source # | Instance of StaticAnalysis for Maude |
LogicalFramework Maude () MaudeText Sentence () () Sign Morphism Symbol Symbol () Source # | |
Logic Maude () MaudeText Sentence () () Sign Morphism Symbol Symbol () Source # | Instance of Logic for Maude |
Comorphism Maude2CASL Maude () MaudeText Sentence () () Sign Morphism Symbol Symbol () CASL CASL_Sublogics CASLBasicSpec CASLFORMULA SYMB_ITEMS SYMB_MAP_ITEMS CASLSign CASLMor Symbol RawSymbol ProofTree Source # | |
Auxiliary types
data SymbolKind Source #
Instances
Eq SymbolKind Source # | |
Ord SymbolKind Source # | |
Read SymbolKind Source # | |
Show SymbolKind Source # | |
Pretty SymbolKind Source # | |
sym_kind :: Symbol -> SymbolKind Source #
the kind of a symbol
kindSym2sortSym :: Symbol -> Symbol Source #