| 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 | None |
Maude.Sentence
Description
Definition of sentences for Maude.
The Sentence type
data Sentence
A Membership, Equation or Rule.
Constructors
| Membership Membership | |
| Equation Equation | |
| Rule Rule |
Instances
| Eq Sentence | |
| Data Sentence | |
| Ord Sentence | |
| Read Sentence | |
| Show Sentence | |
| ShATermConvertible Sentence | |
| GetRange Sentence | |
| Pretty Sentence | |
| HasSorts Sentence | |
| HasOps Sentence | |
| HasLabels Sentence | |
| Typeable * Sentence | |
| Sentences Maude Sentence Sign Morphism Symbol | Instance of Sentences 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 |
Contruction
fromStatements :: [Statement] -> [Sentence]