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 |
TopHybrid.ATC_TopHybrid
Contents
Description
Automatic derivation of instances via DrIFT-rule ShATermConvertible
for the type(s):
TH_BSPEC
TH_BASIC_ITEM
TH_FORMULA
Mor
THybridSign
Orphan instances
ShATermConvertible Mor Source # | |
ShATermConvertible TH_BASIC_ITEM Source # | |
ShATermConvertible f => ShATermConvertible (TH_FORMULA f) Source # | |
ShATermConvertible s => ShATermConvertible (TH_BSPEC s) Source # | |
ShATermConvertible s => ShATermConvertible (THybridSign s) Source # | |