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 |
CSL.ATC_CSL
Contents
Description
Automatic derivation of instances via DrIFT-rule ShATermConvertible
for the type(s):
OpType
Sign
Morphism
OP_ITEM
VAR_ITEM
BASIC_SPEC
GroundConstant
AssDefinition
InstantiatedConstant
BASIC_ITEM
EXTPARAM
EPDecl
EPVal
OPNAME
OPID
ConstantName
EXPRESSION
VarDecl
OpDecl
CMD
SYMB_ITEMS
SYMB
SYMB_MAP_ITEMS
SYMB_OR_MAP
BindInfo
OpInfo
Symbol
Incomparable
SetOrdering
InfDev
CIType
SetOrInterval
ClosedInterval
InfInt
Orphan instances
ShATermConvertible InfInt Source # | |
ShATermConvertible InfDev Source # | |
ShATermConvertible SetOrdering Source # | |
ShATermConvertible Incomparable Source # | |
ShATermConvertible OpInfo Source # | |
ShATermConvertible BindInfo Source # | |
ShATermConvertible SYMB_OR_MAP Source # | |
ShATermConvertible SYMB_MAP_ITEMS Source # | |
ShATermConvertible SYMB Source # | |
ShATermConvertible SYMB_ITEMS Source # | |
ShATermConvertible CMD Source # | |
ShATermConvertible OpDecl Source # | |
ShATermConvertible VarDecl Source # | |
ShATermConvertible EXPRESSION Source # | |
ShATermConvertible ConstantName Source # | |
ShATermConvertible OPID Source # | |
ShATermConvertible OPNAME Source # | |
ShATermConvertible EPVal Source # | |
ShATermConvertible EPDecl Source # | |
ShATermConvertible EXTPARAM Source # | |
ShATermConvertible BASIC_ITEM Source # | |
ShATermConvertible InstantiatedConstant Source # | |
ShATermConvertible AssDefinition Source # | |
ShATermConvertible GroundConstant Source # | |
ShATermConvertible BASIC_SPEC Source # | |
ShATermConvertible VAR_ITEM Source # | |
ShATermConvertible OP_ITEM Source # | |
ShATermConvertible Sign Source # | |
ShATermConvertible OpType Source # | |
ShATermConvertible Morphism Source # | |
ShATermConvertible Symbol Source # | |
ShATermConvertible a => ShATermConvertible (ClosedInterval a) Source # | |
(Ord a, ShATermConvertible a) => ShATermConvertible (SetOrInterval a) Source # | |
ShATermConvertible a => ShATermConvertible (CIType a) Source # | |