| 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 |
ATC.AS_Library
Contents
Description
Automatic derivation of instances via DrIFT-rule ShATermLG
for the type(s):
LIB_DEFN
LIB_ITEM
AlignSem
DownloadItems
GENERICITY
PARAMS
IMPORTED
VIEW_TYPE
EQUIV_TYPE
MODULE_TYPE
ALIGN_ARITIES
ALIGN_ARITY
OmsOrNetwork
ENTAIL_TYPE
ItemNameMap
Orphan instances
| ShATermLG ItemNameMap Source # | |
Methods toShATermLG :: ATermTable -> ItemNameMap -> IO (ATermTable, Int) Source # fromShATermLG :: LogicGraph -> Int -> ATermTable -> (ATermTable, ItemNameMap) Source # | |
| ShATermLG ENTAIL_TYPE Source # | |
Methods toShATermLG :: ATermTable -> ENTAIL_TYPE -> IO (ATermTable, Int) Source # fromShATermLG :: LogicGraph -> Int -> ATermTable -> (ATermTable, ENTAIL_TYPE) Source # | |
| ShATermLG OmsOrNetwork Source # | |
Methods toShATermLG :: ATermTable -> OmsOrNetwork -> IO (ATermTable, Int) Source # fromShATermLG :: LogicGraph -> Int -> ATermTable -> (ATermTable, OmsOrNetwork) Source # | |
| ShATermLG ALIGN_ARITY Source # | |
Methods toShATermLG :: ATermTable -> ALIGN_ARITY -> IO (ATermTable, Int) Source # fromShATermLG :: LogicGraph -> Int -> ATermTable -> (ATermTable, ALIGN_ARITY) Source # | |
| ShATermLG ALIGN_ARITIES Source # | |
Methods toShATermLG :: ATermTable -> ALIGN_ARITIES -> IO (ATermTable, Int) Source # fromShATermLG :: LogicGraph -> Int -> ATermTable -> (ATermTable, ALIGN_ARITIES) Source # | |
| ShATermLG MODULE_TYPE Source # | |
Methods toShATermLG :: ATermTable -> MODULE_TYPE -> IO (ATermTable, Int) Source # fromShATermLG :: LogicGraph -> Int -> ATermTable -> (ATermTable, MODULE_TYPE) Source # | |
| ShATermLG EQUIV_TYPE Source # | |
Methods toShATermLG :: ATermTable -> EQUIV_TYPE -> IO (ATermTable, Int) Source # fromShATermLG :: LogicGraph -> Int -> ATermTable -> (ATermTable, EQUIV_TYPE) Source # | |
| ShATermLG VIEW_TYPE Source # | |
Methods toShATermLG :: ATermTable -> VIEW_TYPE -> IO (ATermTable, Int) Source # fromShATermLG :: LogicGraph -> Int -> ATermTable -> (ATermTable, VIEW_TYPE) Source # | |
| ShATermLG IMPORTED Source # | |
Methods toShATermLG :: ATermTable -> IMPORTED -> IO (ATermTable, Int) Source # fromShATermLG :: LogicGraph -> Int -> ATermTable -> (ATermTable, IMPORTED) Source # | |
| ShATermLG PARAMS Source # | |
Methods toShATermLG :: ATermTable -> PARAMS -> IO (ATermTable, Int) Source # fromShATermLG :: LogicGraph -> Int -> ATermTable -> (ATermTable, PARAMS) Source # | |
| ShATermLG GENERICITY Source # | |
Methods toShATermLG :: ATermTable -> GENERICITY -> IO (ATermTable, Int) Source # fromShATermLG :: LogicGraph -> Int -> ATermTable -> (ATermTable, GENERICITY) Source # | |
| ShATermLG DownloadItems Source # | |
Methods toShATermLG :: ATermTable -> DownloadItems -> IO (ATermTable, Int) Source # fromShATermLG :: LogicGraph -> Int -> ATermTable -> (ATermTable, DownloadItems) Source # | |
| ShATermLG AlignSem Source # | |
Methods toShATermLG :: ATermTable -> AlignSem -> IO (ATermTable, Int) Source # fromShATermLG :: LogicGraph -> Int -> ATermTable -> (ATermTable, AlignSem) Source # | |
| ShATermLG LIB_ITEM Source # | |
Methods toShATermLG :: ATermTable -> LIB_ITEM -> IO (ATermTable, Int) Source # fromShATermLG :: LogicGraph -> Int -> ATermTable -> (ATermTable, LIB_ITEM) Source # | |
| ShATermLG LIB_DEFN Source # | |
Methods toShATermLG :: ATermTable -> LIB_DEFN -> IO (ATermTable, Int) Source # fromShATermLG :: LogicGraph -> Int -> ATermTable -> (ATermTable, LIB_DEFN) Source # | |