| 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-Inferred |
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
- 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
data Symbol
Constructors
| Sort Qid | A |
| Kind Qid | A |
| Labl Qid | A |
| Operator Qid Symbols Symbol | A qualified |
| OpWildcard Qid | A wildcard |
Instances
| Eq Symbol | |
| Ord Symbol | |
| Read Symbol | |
| Show Symbol | |
| ShATermConvertible Symbol | |
| GetRange Symbol | |
| Pretty Symbol | |
| HasName Symbol | |
| AsSymbol Symbol | |
| HasSorts Symbol | |
| HasSorts KindRel | |
| HasOps Symbol | |
| Typeable * Symbol | |
| Sentences Maude Sentence Sign Morphism Symbol | Instance of Sentences for Maude |
| Syntax Maude MaudeText Symbol () () | Instance of Syntax for Maude |
| StaticAnalysis Maude MaudeText Sentence () () Sign Morphism Symbol Symbol | Instance of StaticAnalysis for Maude |
| LogicalFramework Maude () MaudeText Sentence () () Sign Morphism Symbol Symbol () | |
| Logic Maude () MaudeText Sentence () () Sign Morphism Symbol Symbol () | 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 |
Auxiliary types
kindSym2sortSym :: Symbol -> Symbol
Conversion
toOperator :: Symbol -> Operator
Construction
mkOpPartial :: Qid -> [Qid] -> Qid -> Symbol