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.DevGraph

Contents

Orphan instances

Description

Automatic derivation of instances via DrIFT-rule ShATermLG for the type(s): NodeSig MaybeNode Renamed MaybeRestricted DGOrigin DGNodeInfo DGNodeLab Fitted DGLinkOrigin DGLinkType DGLinkLab GenSig ExtGenSig ExtViewSig UnitSig ImpUnitSigOrSig RefSig BranchSig GlobalEntry AlignSig DGChange HistElem RTNodeType RTNodeLab RTLinkType RTLinkLab DiagNodeLab DiagLinkLab Diag DGraph

Orphan instances

ShATermLG DGraph Source #
Instance details Methods toShATermLG :: ATermTable -> DGraph -> IO (ATermTable, Int) Source # fromShATermLG :: LogicGraph -> Int -> ATermTable -> (ATermTable, DGraph) Source #
ShATermLG Diag Source #
Instance details Methods toShATermLG :: ATermTable -> Diag -> IO (ATermTable, Int) Source # fromShATermLG :: LogicGraph -> Int -> ATermTable -> (ATermTable, Diag) Source #
ShATermLG DiagLinkLab Source #
Instance details Methods toShATermLG :: ATermTable -> DiagLinkLab -> IO (ATermTable, Int) Source # fromShATermLG :: LogicGraph -> Int -> ATermTable -> (ATermTable, DiagLinkLab) Source #
ShATermLG DiagNodeLab Source #
Instance details Methods toShATermLG :: ATermTable -> DiagNodeLab -> IO (ATermTable, Int) Source # fromShATermLG :: LogicGraph -> Int -> ATermTable -> (ATermTable, DiagNodeLab) Source #
ShATermLG RTLinkLab Source #
Instance details Methods toShATermLG :: ATermTable -> RTLinkLab -> IO (ATermTable, Int) Source # fromShATermLG :: LogicGraph -> Int -> ATermTable -> (ATermTable, RTLinkLab) Source #
ShATermLG RTLinkType Source #
Instance details Methods toShATermLG :: ATermTable -> RTLinkType -> IO (ATermTable, Int) Source # fromShATermLG :: LogicGraph -> Int -> ATermTable -> (ATermTable, RTLinkType) Source #
ShATermLG RTNodeLab Source #
Instance details Methods toShATermLG :: ATermTable -> RTNodeLab -> IO (ATermTable, Int) Source # fromShATermLG :: LogicGraph -> Int -> ATermTable -> (ATermTable, RTNodeLab) Source #
ShATermLG RTNodeType Source #
Instance details Methods toShATermLG :: ATermTable -> RTNodeType -> IO (ATermTable, Int) Source # fromShATermLG :: LogicGraph -> Int -> ATermTable -> (ATermTable, RTNodeType) Source #
ShATermLG HistElem Source #
Instance details Methods toShATermLG :: ATermTable -> HistElem -> IO (ATermTable, Int) Source # fromShATermLG :: LogicGraph -> Int -> ATermTable -> (ATermTable, HistElem) Source #
ShATermLG DGChange Source #
Instance details Methods toShATermLG :: ATermTable -> DGChange -> IO (ATermTable, Int) Source # fromShATermLG :: LogicGraph -> Int -> ATermTable -> (ATermTable, DGChange) Source #
ShATermLG AlignSig Source #
Instance details Methods toShATermLG :: ATermTable -> AlignSig -> IO (ATermTable, Int) Source # fromShATermLG :: LogicGraph -> Int -> ATermTable -> (ATermTable, AlignSig) Source #
ShATermLG GlobalEntry Source #
Instance details Methods toShATermLG :: ATermTable -> GlobalEntry -> IO (ATermTable, Int) Source # fromShATermLG :: LogicGraph -> Int -> ATermTable -> (ATermTable, GlobalEntry) Source #
ShATermLG BranchSig Source #
Instance details Methods toShATermLG :: ATermTable -> BranchSig -> IO (ATermTable, Int) Source # fromShATermLG :: LogicGraph -> Int -> ATermTable -> (ATermTable, BranchSig) Source #
ShATermLG RefSig Source #
Instance details Methods toShATermLG :: ATermTable -> RefSig -> IO (ATermTable, Int) Source # fromShATermLG :: LogicGraph -> Int -> ATermTable -> (ATermTable, RefSig) Source #
ShATermLG ImpUnitSigOrSig Source #
Instance details Methods toShATermLG :: ATermTable -> ImpUnitSigOrSig -> IO (ATermTable, Int) Source # fromShATermLG :: LogicGraph -> Int -> ATermTable -> (ATermTable, ImpUnitSigOrSig) Source #
ShATermLG UnitSig Source #
Instance details Methods toShATermLG :: ATermTable -> UnitSig -> IO (ATermTable, Int) Source # fromShATermLG :: LogicGraph -> Int -> ATermTable -> (ATermTable, UnitSig) Source #
ShATermLG ExtViewSig Source #
Instance details Methods toShATermLG :: ATermTable -> ExtViewSig -> IO (ATermTable, Int) Source # fromShATermLG :: LogicGraph -> Int -> ATermTable -> (ATermTable, ExtViewSig) Source #
ShATermLG ExtGenSig Source #
Instance details Methods toShATermLG :: ATermTable -> ExtGenSig -> IO (ATermTable, Int) Source # fromShATermLG :: LogicGraph -> Int -> ATermTable -> (ATermTable, ExtGenSig) Source #
ShATermLG GenSig Source #
Instance details Methods toShATermLG :: ATermTable -> GenSig -> IO (ATermTable, Int) Source # fromShATermLG :: LogicGraph -> Int -> ATermTable -> (ATermTable, GenSig) Source #
ShATermLG DGLinkLab Source #
Instance details Methods toShATermLG :: ATermTable -> DGLinkLab -> IO (ATermTable, Int) Source # fromShATermLG :: LogicGraph -> Int -> ATermTable -> (ATermTable, DGLinkLab) Source #
ShATermLG DGLinkType Source #
Instance details Methods toShATermLG :: ATermTable -> DGLinkType -> IO (ATermTable, Int) Source # fromShATermLG :: LogicGraph -> Int -> ATermTable -> (ATermTable, DGLinkType) Source #
ShATermLG DGLinkOrigin Source #
Instance details Methods toShATermLG :: ATermTable -> DGLinkOrigin -> IO (ATermTable, Int) Source # fromShATermLG :: LogicGraph -> Int -> ATermTable -> (ATermTable, DGLinkOrigin) Source #
ShATermLG Fitted Source #
Instance details Methods toShATermLG :: ATermTable -> Fitted -> IO (ATermTable, Int) Source # fromShATermLG :: LogicGraph -> Int -> ATermTable -> (ATermTable, Fitted) Source #
ShATermLG DGNodeLab Source #
Instance details Methods toShATermLG :: ATermTable -> DGNodeLab -> IO (ATermTable, Int) Source # fromShATermLG :: LogicGraph -> Int -> ATermTable -> (ATermTable, DGNodeLab) Source #
ShATermLG DGNodeInfo Source #
Instance details Methods toShATermLG :: ATermTable -> DGNodeInfo -> IO (ATermTable, Int) Source # fromShATermLG :: LogicGraph -> Int -> ATermTable -> (ATermTable, DGNodeInfo) Source #
ShATermLG DGOrigin Source #
Instance details Methods toShATermLG :: ATermTable -> DGOrigin -> IO (ATermTable, Int) Source # fromShATermLG :: LogicGraph -> Int -> ATermTable -> (ATermTable, DGOrigin) Source #
ShATermLG MaybeRestricted Source #
Instance details Methods toShATermLG :: ATermTable -> MaybeRestricted -> IO (ATermTable, Int) Source # fromShATermLG :: LogicGraph -> Int -> ATermTable -> (ATermTable, MaybeRestricted) Source #
ShATermLG Renamed Source #
Instance details Methods toShATermLG :: ATermTable -> Renamed -> IO (ATermTable, Int) Source # fromShATermLG :: LogicGraph -> Int -> ATermTable -> (ATermTable, Renamed) Source #
ShATermLG MaybeNode Source #
Instance details Methods toShATermLG :: ATermTable -> MaybeNode -> IO (ATermTable, Int) Source # fromShATermLG :: LogicGraph -> Int -> ATermTable -> (ATermTable, MaybeNode) Source #
ShATermLG NodeSig Source #
Instance details Methods toShATermLG :: ATermTable -> NodeSig -> IO (ATermTable, Int) Source # fromShATermLG :: LogicGraph -> Int -> ATermTable -> (ATermTable, NodeSig) Source #