Hets - the Heterogeneous Tool Set

Copyright(c) DFKI GmbH 2012
LicenseGPLv2 or higher, see LICENSE.txt
MaintainerChristian.Maeder@dfki.de
Stabilityprovisional
Portabilitynon-portable(derive Typeable instances)
Safe HaskellNone

ATC.AS_Library

Contents

Description

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 #