| Copyright | (c) Martin Kuehl, Uni Bremen 2008 |
|---|---|
| License | GPLv2 or higher, see LICENSE.txt |
| Maintainer | mkhl@informatik.uni-bremen.de |
| Stability | experimental |
| Portability | non-portable (imports Logic.Logic) |
| Safe Haskell | None |
Maude.Logic_Maude
Description
Instance of class Logic for Maude. See http://maude.cs.uiuc.edu/
Documentation
data Maude
Lid for Maude
Constructors
| Maude |
Instances
| Eq Maude | |
| Show Maude | |
| Language Maude | Instance of Language for Maude |
| 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 |