| 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.DgUtils
Contents
Description
Automatic derivation of instances via DrIFT-rule ShATermLG
for the type(s):
XPathPart
NodeName
DGNodeType
NodeMod
EdgeId
ProofBasis
DGRule
ThmLinkStatus
Scope
LinkKind
FreeOrCofree
ConsStatus
DGEdgeType
DGEdgeTypeModInc
ThmTypes
RTPointer
RTLeaves
Orphan instances
| ShATermLG RTLeaves Source # | |
Methods toShATermLG :: ATermTable -> RTLeaves -> IO (ATermTable, Int) Source # fromShATermLG :: LogicGraph -> Int -> ATermTable -> (ATermTable, RTLeaves) Source # | |
| ShATermLG RTPointer Source # | |
Methods toShATermLG :: ATermTable -> RTPointer -> IO (ATermTable, Int) Source # fromShATermLG :: LogicGraph -> Int -> ATermTable -> (ATermTable, RTPointer) Source # | |
| ShATermLG ThmTypes Source # | |
Methods toShATermLG :: ATermTable -> ThmTypes -> IO (ATermTable, Int) Source # fromShATermLG :: LogicGraph -> Int -> ATermTable -> (ATermTable, ThmTypes) Source # | |
| ShATermLG DGEdgeTypeModInc Source # | |
Methods toShATermLG :: ATermTable -> DGEdgeTypeModInc -> IO (ATermTable, Int) Source # fromShATermLG :: LogicGraph -> Int -> ATermTable -> (ATermTable, DGEdgeTypeModInc) Source # | |
| ShATermLG DGEdgeType Source # | |
Methods toShATermLG :: ATermTable -> DGEdgeType -> IO (ATermTable, Int) Source # fromShATermLG :: LogicGraph -> Int -> ATermTable -> (ATermTable, DGEdgeType) Source # | |
| ShATermLG ConsStatus Source # | |
Methods toShATermLG :: ATermTable -> ConsStatus -> IO (ATermTable, Int) Source # fromShATermLG :: LogicGraph -> Int -> ATermTable -> (ATermTable, ConsStatus) Source # | |
| ShATermLG FreeOrCofree Source # | |
Methods toShATermLG :: ATermTable -> FreeOrCofree -> IO (ATermTable, Int) Source # fromShATermLG :: LogicGraph -> Int -> ATermTable -> (ATermTable, FreeOrCofree) Source # | |
| ShATermLG LinkKind Source # | |
Methods toShATermLG :: ATermTable -> LinkKind -> IO (ATermTable, Int) Source # fromShATermLG :: LogicGraph -> Int -> ATermTable -> (ATermTable, LinkKind) Source # | |
| ShATermLG Scope Source # | |
Methods toShATermLG :: ATermTable -> Scope -> IO (ATermTable, Int) Source # fromShATermLG :: LogicGraph -> Int -> ATermTable -> (ATermTable, Scope) Source # | |
| ShATermLG ThmLinkStatus Source # | |
Methods toShATermLG :: ATermTable -> ThmLinkStatus -> IO (ATermTable, Int) Source # fromShATermLG :: LogicGraph -> Int -> ATermTable -> (ATermTable, ThmLinkStatus) Source # | |
| ShATermLG DGRule Source # | |
Methods toShATermLG :: ATermTable -> DGRule -> IO (ATermTable, Int) Source # fromShATermLG :: LogicGraph -> Int -> ATermTable -> (ATermTable, DGRule) Source # | |
| ShATermLG ProofBasis Source # | |
Methods toShATermLG :: ATermTable -> ProofBasis -> IO (ATermTable, Int) Source # fromShATermLG :: LogicGraph -> Int -> ATermTable -> (ATermTable, ProofBasis) Source # | |
| ShATermLG EdgeId Source # | |
Methods toShATermLG :: ATermTable -> EdgeId -> IO (ATermTable, Int) Source # fromShATermLG :: LogicGraph -> Int -> ATermTable -> (ATermTable, EdgeId) Source # | |
| ShATermLG NodeMod Source # | |
Methods toShATermLG :: ATermTable -> NodeMod -> IO (ATermTable, Int) Source # fromShATermLG :: LogicGraph -> Int -> ATermTable -> (ATermTable, NodeMod) Source # | |
| ShATermLG DGNodeType Source # | |
Methods toShATermLG :: ATermTable -> DGNodeType -> IO (ATermTable, Int) Source # fromShATermLG :: LogicGraph -> Int -> ATermTable -> (ATermTable, DGNodeType) Source # | |
| ShATermLG NodeName Source # | |
Methods toShATermLG :: ATermTable -> NodeName -> IO (ATermTable, Int) Source # fromShATermLG :: LogicGraph -> Int -> ATermTable -> (ATermTable, NodeName) Source # | |
| ShATermLG XPathPart Source # | |
Methods toShATermLG :: ATermTable -> XPathPart -> IO (ATermTable, Int) Source # fromShATermLG :: LogicGraph -> Int -> ATermTable -> (ATermTable, XPathPart) Source # | |