Copyright | (c) DFKI GmbH 2012 |
---|---|
License | GPLv2 or higher, see LICENSE.txt |
Maintainer | Christian.Maeder@dfki.de |
Stability | provisional |
Portability | non-portable(derive Typeable instances) |
Safe Haskell | None |
Maude.ATC_Maude
Contents
Description
Automatic derivation of instances via DrIFT-rule ShATermConvertible
for the type(s):
Sign
Morphism
Sentence
Symbol
SymbolKind
MaudeText
Spec
Module
View
Parameter
ModExp
Renaming
ToPartRenaming
Statement
Import
SubsortDecl
Operator
Membership
Equation
Rule
Condition
Attr
StmntAttr
Hook
Term
Type
Sort
Kind
ParamId
ViewId
ModId
LabelId
OpId
Orphan instances
ShATermConvertible OpId Source # | |
ShATermConvertible LabelId Source # | |
ShATermConvertible ModId Source # | |
ShATermConvertible ViewId Source # | |
ShATermConvertible ParamId Source # | |
ShATermConvertible Kind Source # | |
ShATermConvertible Sort Source # | |
ShATermConvertible Type Source # | |
ShATermConvertible Term Source # | |
ShATermConvertible Hook Source # | |
ShATermConvertible StmntAttr Source # | |
ShATermConvertible Attr Source # | |
ShATermConvertible Condition Source # | |
ShATermConvertible Rule Source # | |
ShATermConvertible Equation Source # | |
ShATermConvertible Membership Source # | |
ShATermConvertible Operator Source # | |
ShATermConvertible SubsortDecl Source # | |
ShATermConvertible Import Source # | |
ShATermConvertible Statement Source # | |
ShATermConvertible ToPartRenaming Source # | |
ShATermConvertible Renaming Source # | |
ShATermConvertible ModExp Source # | |
ShATermConvertible Parameter Source # | |
ShATermConvertible View Source # | |
ShATermConvertible Module Source # | |
ShATermConvertible Spec Source # | |
ShATermConvertible MaudeText Source # | |
ShATermConvertible SymbolKind Source # | |
ShATermConvertible Symbol Source # | |
ShATermConvertible Sentence Source # | |
ShATermConvertible Sign Source # | |
ShATermConvertible Morphism Source # | |