Copyright	(c) Felix Reckers C. Maeder Uni Bremen 2002-2006
License	GPLv2 or higher, see LICENSE.txt
Maintainer	Christian.Maeder@dfki.de
Stability	provisional
Portability	non-portable (existential types)
Safe Haskell	None

ATC.Grothendieck

Contents

Orphan instances

Description

ShATermConvertible instances for data types from Logic.Grothendieck

Documentation

atcLogicLookup :: LogicGraph -> String -> String -> AnyLogic Source #

class Typeable t => ShATermLG t where Source #

Methods

toShATermLG :: ATermTable -> t -> IO (ATermTable, Int) Source #

fromShATermLG :: LogicGraph -> Int -> ATermTable -> (ATermTable, t) Source #

Instances

Instances details

(ShATermConvertible a, Typeable a) => ShATermLG a Source #
Instance details Defined in ATC.Grothendieck Methods toShATermLG :: ATermTable -> a -> IO (ATermTable, Int) Source # fromShATermLG :: LogicGraph -> Int -> ATermTable -> (ATermTable, a) Source #
ShATermLG GlobalAnnos Source #
Instance details Defined in ATC.Grothendieck Methods toShATermLG :: ATermTable -> GlobalAnnos -> IO (ATermTable, Int) Source # fromShATermLG :: LogicGraph -> Int -> ATermTable -> (ATermTable, GlobalAnnos) Source #
ShATermLG RTLeaves Source #
Instance details Defined in ATC.DgUtils Methods toShATermLG :: ATermTable -> RTLeaves -> IO (ATermTable, Int) Source # fromShATermLG :: LogicGraph -> Int -> ATermTable -> (ATermTable, RTLeaves) Source #
ShATermLG RTPointer Source #
Instance details Defined in ATC.DgUtils Methods toShATermLG :: ATermTable -> RTPointer -> IO (ATermTable, Int) Source # fromShATermLG :: LogicGraph -> Int -> ATermTable -> (ATermTable, RTPointer) Source #
ShATermLG ThmTypes Source #
Instance details Defined in ATC.DgUtils Methods toShATermLG :: ATermTable -> ThmTypes -> IO (ATermTable, Int) Source # fromShATermLG :: LogicGraph -> Int -> ATermTable -> (ATermTable, ThmTypes) Source #
ShATermLG DGEdgeTypeModInc Source #
Instance details Defined in ATC.DgUtils Methods toShATermLG :: ATermTable -> DGEdgeTypeModInc -> IO (ATermTable, Int) Source # fromShATermLG :: LogicGraph -> Int -> ATermTable -> (ATermTable, DGEdgeTypeModInc) Source #
ShATermLG DGEdgeType Source #
Instance details Defined in ATC.DgUtils Methods toShATermLG :: ATermTable -> DGEdgeType -> IO (ATermTable, Int) Source # fromShATermLG :: LogicGraph -> Int -> ATermTable -> (ATermTable, DGEdgeType) Source #
ShATermLG ConsStatus Source #
Instance details Defined in ATC.DgUtils Methods toShATermLG :: ATermTable -> ConsStatus -> IO (ATermTable, Int) Source # fromShATermLG :: LogicGraph -> Int -> ATermTable -> (ATermTable, ConsStatus) Source #
ShATermLG FreeOrCofree Source #
Instance details Defined in ATC.DgUtils Methods toShATermLG :: ATermTable -> FreeOrCofree -> IO (ATermTable, Int) Source # fromShATermLG :: LogicGraph -> Int -> ATermTable -> (ATermTable, FreeOrCofree) Source #
ShATermLG LinkKind Source #
Instance details Defined in ATC.DgUtils Methods toShATermLG :: ATermTable -> LinkKind -> IO (ATermTable, Int) Source # fromShATermLG :: LogicGraph -> Int -> ATermTable -> (ATermTable, LinkKind) Source #
ShATermLG Scope Source #
Instance details Defined in ATC.DgUtils Methods toShATermLG :: ATermTable -> Scope -> IO (ATermTable, Int) Source # fromShATermLG :: LogicGraph -> Int -> ATermTable -> (ATermTable, Scope) Source #
ShATermLG ThmLinkStatus Source #
Instance details Defined in ATC.DgUtils Methods toShATermLG :: ATermTable -> ThmLinkStatus -> IO (ATermTable, Int) Source # fromShATermLG :: LogicGraph -> Int -> ATermTable -> (ATermTable, ThmLinkStatus) Source #
ShATermLG DGRule Source #
Instance details Defined in ATC.DgUtils Methods toShATermLG :: ATermTable -> DGRule -> IO (ATermTable, Int) Source # fromShATermLG :: LogicGraph -> Int -> ATermTable -> (ATermTable, DGRule) Source #
ShATermLG ProofBasis Source #
Instance details Defined in ATC.DgUtils Methods toShATermLG :: ATermTable -> ProofBasis -> IO (ATermTable, Int) Source # fromShATermLG :: LogicGraph -> Int -> ATermTable -> (ATermTable, ProofBasis) Source #
ShATermLG EdgeId Source #
Instance details Defined in ATC.DgUtils Methods toShATermLG :: ATermTable -> EdgeId -> IO (ATermTable, Int) Source # fromShATermLG :: LogicGraph -> Int -> ATermTable -> (ATermTable, EdgeId) Source #
ShATermLG NodeMod Source #
Instance details Defined in ATC.DgUtils Methods toShATermLG :: ATermTable -> NodeMod -> IO (ATermTable, Int) Source # fromShATermLG :: LogicGraph -> Int -> ATermTable -> (ATermTable, NodeMod) Source #
ShATermLG DGNodeType Source #
Instance details Defined in ATC.DgUtils Methods toShATermLG :: ATermTable -> DGNodeType -> IO (ATermTable, Int) Source # fromShATermLG :: LogicGraph -> Int -> ATermTable -> (ATermTable, DGNodeType) Source #
ShATermLG NodeName Source #
Instance details Defined in ATC.DgUtils Methods toShATermLG :: ATermTable -> NodeName -> IO (ATermTable, Int) Source # fromShATermLG :: LogicGraph -> Int -> ATermTable -> (ATermTable, NodeName) Source #
ShATermLG XPathPart Source #
Instance details Defined in ATC.DgUtils Methods toShATermLG :: ATermTable -> XPathPart -> IO (ATermTable, Int) Source # fromShATermLG :: LogicGraph -> Int -> ATermTable -> (ATermTable, XPathPart) Source #
ShATermLG XLink Source #
Instance details Defined in ATC.XGraph Methods toShATermLG :: ATermTable -> XLink -> IO (ATermTable, Int) Source # fromShATermLG :: LogicGraph -> Int -> ATermTable -> (ATermTable, XLink) Source #
ShATermLG XNode Source #
Instance details Defined in ATC.XGraph Methods toShATermLG :: ATermTable -> XNode -> IO (ATermTable, Int) Source # fromShATermLG :: LogicGraph -> Int -> ATermTable -> (ATermTable, XNode) Source #
ShATermLG XGraph Source #
Instance details Defined in ATC.XGraph Methods toShATermLG :: ATermTable -> XGraph -> IO (ATermTable, Int) Source # fromShATermLG :: LogicGraph -> Int -> ATermTable -> (ATermTable, XGraph) Source #
ShATermLG AnyLogic Source #
Instance details Defined in ATC.Grothendieck Methods toShATermLG :: ATermTable -> AnyLogic -> IO (ATermTable, Int) Source # fromShATermLG :: LogicGraph -> Int -> ATermTable -> (ATermTable, AnyLogic) Source #
ShATermLG AnyComorphism Source #
Instance details Defined in ATC.Grothendieck Methods toShATermLG :: ATermTable -> AnyComorphism -> IO (ATermTable, Int) Source # fromShATermLG :: LogicGraph -> Int -> ATermTable -> (ATermTable, AnyComorphism) Source #
ShATermLG GMorphism Source #
Instance details Defined in ATC.Grothendieck Methods toShATermLG :: ATermTable -> GMorphism -> IO (ATermTable, Int) Source # fromShATermLG :: LogicGraph -> Int -> ATermTable -> (ATermTable, GMorphism) Source #
ShATermLG G_morphism Source #
Instance details Defined in ATC.Grothendieck Methods toShATermLG :: ATermTable -> G_morphism -> IO (ATermTable, Int) Source # fromShATermLG :: LogicGraph -> Int -> ATermTable -> (ATermTable, G_morphism) Source #
ShATermLG G_sublogics Source #
Instance details Defined in ATC.Grothendieck Methods toShATermLG :: ATermTable -> G_sublogics -> IO (ATermTable, Int) Source # fromShATermLG :: LogicGraph -> Int -> ATermTable -> (ATermTable, G_sublogics) Source #
ShATermLG G_symb_map_items_list Source #
Instance details Defined in ATC.Grothendieck Methods toShATermLG :: ATermTable -> G_symb_map_items_list -> IO (ATermTable, Int) Source # fromShATermLG :: LogicGraph -> Int -> ATermTable -> (ATermTable, G_symb_map_items_list) Source #
ShATermLG G_symb_items_list Source #
Instance details Defined in ATC.Grothendieck Methods toShATermLG :: ATermTable -> G_symb_items_list -> IO (ATermTable, Int) Source # fromShATermLG :: LogicGraph -> Int -> ATermTable -> (ATermTable, G_symb_items_list) Source #
ShATermLG G_symbol Source #
Instance details Defined in ATC.Grothendieck Methods toShATermLG :: ATermTable -> G_symbol -> IO (ATermTable, Int) Source # fromShATermLG :: LogicGraph -> Int -> ATermTable -> (ATermTable, G_symbol) Source #
ShATermLG G_sign Source #
Instance details Defined in ATC.Grothendieck Methods toShATermLG :: ATermTable -> G_sign -> IO (ATermTable, Int) Source # fromShATermLG :: LogicGraph -> Int -> ATermTable -> (ATermTable, G_sign) Source #
ShATermLG G_basic_spec Source #
Instance details Defined in ATC.Grothendieck Methods toShATermLG :: ATermTable -> G_basic_spec -> IO (ATermTable, Int) Source # fromShATermLG :: LogicGraph -> Int -> ATermTable -> (ATermTable, G_basic_spec) Source #
ShATermLG RELATION_REF Source #
Instance details Defined in ATC.AS_Structured Methods toShATermLG :: ATermTable -> RELATION_REF -> IO (ATermTable, Int) Source # fromShATermLG :: LogicGraph -> Int -> ATermTable -> (ATermTable, RELATION_REF) Source #
ShATermLG CORRESPONDENCE Source #
Instance details Defined in ATC.AS_Structured Methods toShATermLG :: ATermTable -> CORRESPONDENCE -> IO (ATermTable, Int) Source # fromShATermLG :: LogicGraph -> Int -> ATermTable -> (ATermTable, CORRESPONDENCE) Source #
ShATermLG LABELED_ONTO_OR_INTPR_REF Source #
Instance details Defined in ATC.AS_Structured Methods toShATermLG :: ATermTable -> LABELED_ONTO_OR_INTPR_REF -> IO (ATermTable, Int) Source # fromShATermLG :: LogicGraph -> Int -> ATermTable -> (ATermTable, LABELED_ONTO_OR_INTPR_REF) Source #
ShATermLG Logic_name Source #
Instance details Defined in ATC.AS_Structured Methods toShATermLG :: ATermTable -> Logic_name -> IO (ATermTable, Int) Source # fromShATermLG :: LogicGraph -> Int -> ATermTable -> (ATermTable, Logic_name) Source #
ShATermLG Logic_code Source #
Instance details Defined in ATC.AS_Structured Methods toShATermLG :: ATermTable -> Logic_code -> IO (ATermTable, Int) Source # fromShATermLG :: LogicGraph -> Int -> ATermTable -> (ATermTable, Logic_code) Source #
ShATermLG LogicDescr Source #
Instance details Defined in ATC.AS_Structured Methods toShATermLG :: ATermTable -> LogicDescr -> IO (ATermTable, Int) Source # fromShATermLG :: LogicGraph -> Int -> ATermTable -> (ATermTable, LogicDescr) Source #
ShATermLG FIT_ARG Source #
Instance details Defined in ATC.AS_Structured Methods toShATermLG :: ATermTable -> FIT_ARG -> IO (ATermTable, Int) Source # fromShATermLG :: LogicGraph -> Int -> ATermTable -> (ATermTable, FIT_ARG) Source #
ShATermLG G_hiding Source #
Instance details Defined in ATC.AS_Structured Methods toShATermLG :: ATermTable -> G_hiding -> IO (ATermTable, Int) Source # fromShATermLG :: LogicGraph -> Int -> ATermTable -> (ATermTable, G_hiding) Source #
ShATermLG G_mapping Source #
Instance details Defined in ATC.AS_Structured Methods toShATermLG :: ATermTable -> G_mapping -> IO (ATermTable, Int) Source # fromShATermLG :: LogicGraph -> Int -> ATermTable -> (ATermTable, G_mapping) Source #
ShATermLG RESTRICTION Source #
Instance details Defined in ATC.AS_Structured Methods toShATermLG :: ATermTable -> RESTRICTION -> IO (ATermTable, Int) Source # fromShATermLG :: LogicGraph -> Int -> ATermTable -> (ATermTable, RESTRICTION) Source #
ShATermLG RENAMING Source #
Instance details Defined in ATC.AS_Structured Methods toShATermLG :: ATermTable -> RENAMING -> IO (ATermTable, Int) Source # fromShATermLG :: LogicGraph -> Int -> ATermTable -> (ATermTable, RENAMING) Source #
ShATermLG MINIMIZATION Source #
Instance details Defined in ATC.AS_Structured Methods toShATermLG :: ATermTable -> MINIMIZATION -> IO (ATermTable, Int) Source # fromShATermLG :: LogicGraph -> Int -> ATermTable -> (ATermTable, MINIMIZATION) Source #
ShATermLG APPROXIMATION Source #
Instance details Defined in ATC.AS_Structured Methods toShATermLG :: ATermTable -> APPROXIMATION -> IO (ATermTable, Int) Source # fromShATermLG :: LogicGraph -> Int -> ATermTable -> (ATermTable, APPROXIMATION) Source #
ShATermLG EXTRACTION Source #
Instance details Defined in ATC.AS_Structured Methods toShATermLG :: ATermTable -> EXTRACTION -> IO (ATermTable, Int) Source # fromShATermLG :: LogicGraph -> Int -> ATermTable -> (ATermTable, EXTRACTION) Source #
ShATermLG FILTERING Source #
Instance details Defined in ATC.AS_Structured Methods toShATermLG :: ATermTable -> FILTERING -> IO (ATermTable, Int) Source # fromShATermLG :: LogicGraph -> Int -> ATermTable -> (ATermTable, FILTERING) Source #
ShATermLG Network Source #
Instance details Defined in ATC.AS_Structured Methods toShATermLG :: ATermTable -> Network -> IO (ATermTable, Int) Source # fromShATermLG :: LogicGraph -> Int -> ATermTable -> (ATermTable, Network) Source #
ShATermLG SPEC Source #
Instance details Defined in ATC.AS_Structured Methods toShATermLG :: ATermTable -> SPEC -> IO (ATermTable, Int) Source # fromShATermLG :: LogicGraph -> Int -> ATermTable -> (ATermTable, SPEC) Source #
ShATermLG FIT_ARG_UNIT Source #
Instance details Defined in ATC.AS_Architecture Methods toShATermLG :: ATermTable -> FIT_ARG_UNIT -> IO (ATermTable, Int) Source # fromShATermLG :: LogicGraph -> Int -> ATermTable -> (ATermTable, FIT_ARG_UNIT) Source #
ShATermLG UNIT_TERM Source #
Instance details Defined in ATC.AS_Architecture Methods toShATermLG :: ATermTable -> UNIT_TERM -> IO (ATermTable, Int) Source # fromShATermLG :: LogicGraph -> Int -> ATermTable -> (ATermTable, UNIT_TERM) Source #
ShATermLG UNIT_BINDING Source #
Instance details Defined in ATC.AS_Architecture Methods toShATermLG :: ATermTable -> UNIT_BINDING -> IO (ATermTable, Int) Source # fromShATermLG :: LogicGraph -> Int -> ATermTable -> (ATermTable, UNIT_BINDING) Source #
ShATermLG UNIT_EXPRESSION Source #
Instance details Defined in ATC.AS_Architecture Methods toShATermLG :: ATermTable -> UNIT_EXPRESSION -> IO (ATermTable, Int) Source # fromShATermLG :: LogicGraph -> Int -> ATermTable -> (ATermTable, UNIT_EXPRESSION) Source #
ShATermLG UNIT_REF Source #
Instance details Defined in ATC.AS_Architecture Methods toShATermLG :: ATermTable -> UNIT_REF -> IO (ATermTable, Int) Source # fromShATermLG :: LogicGraph -> Int -> ATermTable -> (ATermTable, UNIT_REF) Source #
ShATermLG REF_SPEC Source #
Instance details Defined in ATC.AS_Architecture Methods toShATermLG :: ATermTable -> REF_SPEC -> IO (ATermTable, Int) Source # fromShATermLG :: LogicGraph -> Int -> ATermTable -> (ATermTable, REF_SPEC) Source #
ShATermLG UNIT_SPEC Source #
Instance details Defined in ATC.AS_Architecture Methods toShATermLG :: ATermTable -> UNIT_SPEC -> IO (ATermTable, Int) Source # fromShATermLG :: LogicGraph -> Int -> ATermTable -> (ATermTable, UNIT_SPEC) Source #
ShATermLG UNIT_DECL_DEFN Source #
Instance details Defined in ATC.AS_Architecture Methods toShATermLG :: ATermTable -> UNIT_DECL_DEFN -> IO (ATermTable, Int) Source # fromShATermLG :: LogicGraph -> Int -> ATermTable -> (ATermTable, UNIT_DECL_DEFN) Source #
ShATermLG ARCH_SPEC Source #
Instance details Defined in ATC.AS_Architecture Methods toShATermLG :: ATermTable -> ARCH_SPEC -> IO (ATermTable, Int) Source # fromShATermLG :: LogicGraph -> Int -> ATermTable -> (ATermTable, ARCH_SPEC) Source #
ShATermLG ItemNameMap Source #
Instance details Defined in ATC.AS_Library Methods toShATermLG :: ATermTable -> ItemNameMap -> IO (ATermTable, Int) Source # fromShATermLG :: LogicGraph -> Int -> ATermTable -> (ATermTable, ItemNameMap) Source #
ShATermLG ENTAIL_TYPE Source #
Instance details Defined in ATC.AS_Library Methods toShATermLG :: ATermTable -> ENTAIL_TYPE -> IO (ATermTable, Int) Source # fromShATermLG :: LogicGraph -> Int -> ATermTable -> (ATermTable, ENTAIL_TYPE) Source #
ShATermLG OmsOrNetwork Source #
Instance details Defined in ATC.AS_Library Methods toShATermLG :: ATermTable -> OmsOrNetwork -> IO (ATermTable, Int) Source # fromShATermLG :: LogicGraph -> Int -> ATermTable -> (ATermTable, OmsOrNetwork) Source #
ShATermLG ALIGN_ARITY Source #
Instance details Defined in ATC.AS_Library Methods toShATermLG :: ATermTable -> ALIGN_ARITY -> IO (ATermTable, Int) Source # fromShATermLG :: LogicGraph -> Int -> ATermTable -> (ATermTable, ALIGN_ARITY) Source #
ShATermLG ALIGN_ARITIES Source #
Instance details Defined in ATC.AS_Library Methods toShATermLG :: ATermTable -> ALIGN_ARITIES -> IO (ATermTable, Int) Source # fromShATermLG :: LogicGraph -> Int -> ATermTable -> (ATermTable, ALIGN_ARITIES) Source #
ShATermLG MODULE_TYPE Source #
Instance details Defined in ATC.AS_Library Methods toShATermLG :: ATermTable -> MODULE_TYPE -> IO (ATermTable, Int) Source # fromShATermLG :: LogicGraph -> Int -> ATermTable -> (ATermTable, MODULE_TYPE) Source #
ShATermLG EQUIV_TYPE Source #
Instance details Defined in ATC.AS_Library Methods toShATermLG :: ATermTable -> EQUIV_TYPE -> IO (ATermTable, Int) Source # fromShATermLG :: LogicGraph -> Int -> ATermTable -> (ATermTable, EQUIV_TYPE) Source #
ShATermLG VIEW_TYPE Source #
Instance details Defined in ATC.AS_Library Methods toShATermLG :: ATermTable -> VIEW_TYPE -> IO (ATermTable, Int) Source # fromShATermLG :: LogicGraph -> Int -> ATermTable -> (ATermTable, VIEW_TYPE) Source #
ShATermLG IMPORTED Source #
Instance details Defined in ATC.AS_Library Methods toShATermLG :: ATermTable -> IMPORTED -> IO (ATermTable, Int) Source # fromShATermLG :: LogicGraph -> Int -> ATermTable -> (ATermTable, IMPORTED) Source #
ShATermLG PARAMS Source #
Instance details Defined in ATC.AS_Library Methods toShATermLG :: ATermTable -> PARAMS -> IO (ATermTable, Int) Source # fromShATermLG :: LogicGraph -> Int -> ATermTable -> (ATermTable, PARAMS) Source #
ShATermLG GENERICITY Source #
Instance details Defined in ATC.AS_Library Methods toShATermLG :: ATermTable -> GENERICITY -> IO (ATermTable, Int) Source # fromShATermLG :: LogicGraph -> Int -> ATermTable -> (ATermTable, GENERICITY) Source #
ShATermLG DownloadItems Source #
Instance details Defined in ATC.AS_Library Methods toShATermLG :: ATermTable -> DownloadItems -> IO (ATermTable, Int) Source # fromShATermLG :: LogicGraph -> Int -> ATermTable -> (ATermTable, DownloadItems) Source #
ShATermLG AlignSem Source #
Instance details Defined in ATC.AS_Library Methods toShATermLG :: ATermTable -> AlignSem -> IO (ATermTable, Int) Source # fromShATermLG :: LogicGraph -> Int -> ATermTable -> (ATermTable, AlignSem) Source #
ShATermLG LIB_ITEM Source #
Instance details Defined in ATC.AS_Library Methods toShATermLG :: ATermTable -> LIB_ITEM -> IO (ATermTable, Int) Source # fromShATermLG :: LogicGraph -> Int -> ATermTable -> (ATermTable, LIB_ITEM) Source #
ShATermLG LIB_DEFN Source #
Instance details Defined in ATC.AS_Library Methods toShATermLG :: ATermTable -> LIB_DEFN -> IO (ATermTable, Int) Source # fromShATermLG :: LogicGraph -> Int -> ATermTable -> (ATermTable, LIB_DEFN) Source #
ShATermLG BasicProof Source #
Instance details Defined in ATC.Grothendieck Methods toShATermLG :: ATermTable -> BasicProof -> IO (ATermTable, Int) Source # fromShATermLG :: LogicGraph -> Int -> ATermTable -> (ATermTable, BasicProof) Source #
ShATermLG G_theory Source #
Instance details Defined in ATC.Grothendieck Methods toShATermLG :: ATermTable -> G_theory -> IO (ATermTable, Int) Source # fromShATermLG :: LogicGraph -> Int -> ATermTable -> (ATermTable, G_theory) Source #
ShATermLG DGraph Source #
Instance details Defined in ATC.DevGraph Methods toShATermLG :: ATermTable -> DGraph -> IO (ATermTable, Int) Source # fromShATermLG :: LogicGraph -> Int -> ATermTable -> (ATermTable, DGraph) Source #
ShATermLG Diag Source #
Instance details Defined in ATC.DevGraph Methods toShATermLG :: ATermTable -> Diag -> IO (ATermTable, Int) Source # fromShATermLG :: LogicGraph -> Int -> ATermTable -> (ATermTable, Diag) Source #
ShATermLG DiagLinkLab Source #
Instance details Defined in ATC.DevGraph Methods toShATermLG :: ATermTable -> DiagLinkLab -> IO (ATermTable, Int) Source # fromShATermLG :: LogicGraph -> Int -> ATermTable -> (ATermTable, DiagLinkLab) Source #
ShATermLG DiagNodeLab Source #
Instance details Defined in ATC.DevGraph Methods toShATermLG :: ATermTable -> DiagNodeLab -> IO (ATermTable, Int) Source # fromShATermLG :: LogicGraph -> Int -> ATermTable -> (ATermTable, DiagNodeLab) Source #
ShATermLG RTLinkLab Source #
Instance details Defined in ATC.DevGraph Methods toShATermLG :: ATermTable -> RTLinkLab -> IO (ATermTable, Int) Source # fromShATermLG :: LogicGraph -> Int -> ATermTable -> (ATermTable, RTLinkLab) Source #
ShATermLG RTLinkType Source #
Instance details Defined in ATC.DevGraph Methods toShATermLG :: ATermTable -> RTLinkType -> IO (ATermTable, Int) Source # fromShATermLG :: LogicGraph -> Int -> ATermTable -> (ATermTable, RTLinkType) Source #
ShATermLG RTNodeLab Source #
Instance details Defined in ATC.DevGraph Methods toShATermLG :: ATermTable -> RTNodeLab -> IO (ATermTable, Int) Source # fromShATermLG :: LogicGraph -> Int -> ATermTable -> (ATermTable, RTNodeLab) Source #
ShATermLG RTNodeType Source #
Instance details Defined in ATC.DevGraph Methods toShATermLG :: ATermTable -> RTNodeType -> IO (ATermTable, Int) Source # fromShATermLG :: LogicGraph -> Int -> ATermTable -> (ATermTable, RTNodeType) Source #
ShATermLG HistElem Source #
Instance details Defined in ATC.DevGraph Methods toShATermLG :: ATermTable -> HistElem -> IO (ATermTable, Int) Source # fromShATermLG :: LogicGraph -> Int -> ATermTable -> (ATermTable, HistElem) Source #
ShATermLG DGChange Source #
Instance details Defined in ATC.DevGraph Methods toShATermLG :: ATermTable -> DGChange -> IO (ATermTable, Int) Source # fromShATermLG :: LogicGraph -> Int -> ATermTable -> (ATermTable, DGChange) Source #
ShATermLG AlignSig Source #
Instance details Defined in ATC.DevGraph Methods toShATermLG :: ATermTable -> AlignSig -> IO (ATermTable, Int) Source # fromShATermLG :: LogicGraph -> Int -> ATermTable -> (ATermTable, AlignSig) Source #
ShATermLG GlobalEntry Source #
Instance details Defined in ATC.DevGraph Methods toShATermLG :: ATermTable -> GlobalEntry -> IO (ATermTable, Int) Source # fromShATermLG :: LogicGraph -> Int -> ATermTable -> (ATermTable, GlobalEntry) Source #
ShATermLG BranchSig Source #
Instance details Defined in ATC.DevGraph Methods toShATermLG :: ATermTable -> BranchSig -> IO (ATermTable, Int) Source # fromShATermLG :: LogicGraph -> Int -> ATermTable -> (ATermTable, BranchSig) Source #
ShATermLG RefSig Source #
Instance details Defined in ATC.DevGraph Methods toShATermLG :: ATermTable -> RefSig -> IO (ATermTable, Int) Source # fromShATermLG :: LogicGraph -> Int -> ATermTable -> (ATermTable, RefSig) Source #
ShATermLG ImpUnitSigOrSig Source #
Instance details Defined in ATC.DevGraph Methods toShATermLG :: ATermTable -> ImpUnitSigOrSig -> IO (ATermTable, Int) Source # fromShATermLG :: LogicGraph -> Int -> ATermTable -> (ATermTable, ImpUnitSigOrSig) Source #
ShATermLG UnitSig Source #
Instance details Defined in ATC.DevGraph Methods toShATermLG :: ATermTable -> UnitSig -> IO (ATermTable, Int) Source # fromShATermLG :: LogicGraph -> Int -> ATermTable -> (ATermTable, UnitSig) Source #
ShATermLG ExtViewSig Source #
Instance details Defined in ATC.DevGraph Methods toShATermLG :: ATermTable -> ExtViewSig -> IO (ATermTable, Int) Source # fromShATermLG :: LogicGraph -> Int -> ATermTable -> (ATermTable, ExtViewSig) Source #
ShATermLG ExtGenSig Source #
Instance details Defined in ATC.DevGraph Methods toShATermLG :: ATermTable -> ExtGenSig -> IO (ATermTable, Int) Source # fromShATermLG :: LogicGraph -> Int -> ATermTable -> (ATermTable, ExtGenSig) Source #
ShATermLG GenSig Source #
Instance details Defined in ATC.DevGraph Methods toShATermLG :: ATermTable -> GenSig -> IO (ATermTable, Int) Source # fromShATermLG :: LogicGraph -> Int -> ATermTable -> (ATermTable, GenSig) Source #
ShATermLG DGLinkLab Source #
Instance details Defined in ATC.DevGraph Methods toShATermLG :: ATermTable -> DGLinkLab -> IO (ATermTable, Int) Source # fromShATermLG :: LogicGraph -> Int -> ATermTable -> (ATermTable, DGLinkLab) Source #
ShATermLG DGLinkType Source #
Instance details Defined in ATC.DevGraph Methods toShATermLG :: ATermTable -> DGLinkType -> IO (ATermTable, Int) Source # fromShATermLG :: LogicGraph -> Int -> ATermTable -> (ATermTable, DGLinkType) Source #
ShATermLG DGLinkOrigin Source #
Instance details Defined in ATC.DevGraph Methods toShATermLG :: ATermTable -> DGLinkOrigin -> IO (ATermTable, Int) Source # fromShATermLG :: LogicGraph -> Int -> ATermTable -> (ATermTable, DGLinkOrigin) Source #
ShATermLG Fitted Source #
Instance details Defined in ATC.DevGraph Methods toShATermLG :: ATermTable -> Fitted -> IO (ATermTable, Int) Source # fromShATermLG :: LogicGraph -> Int -> ATermTable -> (ATermTable, Fitted) Source #
ShATermLG DGNodeLab Source #
Instance details Defined in ATC.DevGraph Methods toShATermLG :: ATermTable -> DGNodeLab -> IO (ATermTable, Int) Source # fromShATermLG :: LogicGraph -> Int -> ATermTable -> (ATermTable, DGNodeLab) Source #
ShATermLG DGNodeInfo Source #
Instance details Defined in ATC.DevGraph Methods toShATermLG :: ATermTable -> DGNodeInfo -> IO (ATermTable, Int) Source # fromShATermLG :: LogicGraph -> Int -> ATermTable -> (ATermTable, DGNodeInfo) Source #
ShATermLG DGOrigin Source #
Instance details Defined in ATC.DevGraph Methods toShATermLG :: ATermTable -> DGOrigin -> IO (ATermTable, Int) Source # fromShATermLG :: LogicGraph -> Int -> ATermTable -> (ATermTable, DGOrigin) Source #
ShATermLG MaybeRestricted Source #
Instance details Defined in ATC.DevGraph Methods toShATermLG :: ATermTable -> MaybeRestricted -> IO (ATermTable, Int) Source # fromShATermLG :: LogicGraph -> Int -> ATermTable -> (ATermTable, MaybeRestricted) Source #
ShATermLG Renamed Source #
Instance details Defined in ATC.DevGraph Methods toShATermLG :: ATermTable -> Renamed -> IO (ATermTable, Int) Source # fromShATermLG :: LogicGraph -> Int -> ATermTable -> (ATermTable, Renamed) Source #
ShATermLG MaybeNode Source #
Instance details Defined in ATC.DevGraph Methods toShATermLG :: ATermTable -> MaybeNode -> IO (ATermTable, Int) Source # fromShATermLG :: LogicGraph -> Int -> ATermTable -> (ATermTable, MaybeNode) Source #
ShATermLG NodeSig Source #
Instance details Defined in ATC.DevGraph Methods toShATermLG :: ATermTable -> NodeSig -> IO (ATermTable, Int) Source # fromShATermLG :: LogicGraph -> Int -> ATermTable -> (ATermTable, NodeSig) Source #
ShATermLG a => ShATermLG [a] Source #
Instance details Defined in ATC.Grothendieck Methods toShATermLG :: ATermTable -> [a] -> IO (ATermTable, Int) Source # fromShATermLG :: LogicGraph -> Int -> ATermTable -> (ATermTable, [a]) Source #
ShATermLG a => ShATermLG (Maybe a) Source #
Instance details Defined in ATC.Grothendieck Methods toShATermLG :: ATermTable -> Maybe a -> IO (ATermTable, Int) Source # fromShATermLG :: LogicGraph -> Int -> ATermTable -> (ATermTable, Maybe a) Source #
(Ord a, ShATermLG a) => ShATermLG (Set a) Source #
Instance details Defined in ATC.Grothendieck Methods toShATermLG :: ATermTable -> Set a -> IO (ATermTable, Int) Source # fromShATermLG :: LogicGraph -> Int -> ATermTable -> (ATermTable, Set a) Source #
ShATermLG a => ShATermLG (IntMap a) Source #
Instance details Defined in ATC.Grothendieck Methods toShATermLG :: ATermTable -> IntMap a -> IO (ATermTable, Int) Source # fromShATermLG :: LogicGraph -> Int -> ATermTable -> (ATermTable, IntMap a) Source #
ShATermLG a => ShATermLG (SizedList a) Source #
Instance details Defined in ATC.Grothendieck Methods toShATermLG :: ATermTable -> SizedList a -> IO (ATermTable, Int) Source # fromShATermLG :: LogicGraph -> Int -> ATermTable -> (ATermTable, SizedList a) Source #
ShATermLG a => ShATermLG (ElemWOrd a) Source #
Instance details Defined in ATC.Grothendieck Methods toShATermLG :: ATermTable -> ElemWOrd a -> IO (ATermTable, Int) Source # fromShATermLG :: LogicGraph -> Int -> ATermTable -> (ATermTable, ElemWOrd a) Source #
ShATermLG a => ShATermLG (Annoted a) Source #
Instance details Defined in ATC.Grothendieck Methods toShATermLG :: ATermTable -> Annoted a -> IO (ATermTable, Int) Source # fromShATermLG :: LogicGraph -> Int -> ATermTable -> (ATermTable, Annoted a) Source #
ShATermLG a => ShATermLG (ThmStatus a) Source #
Instance details Defined in ATC.Grothendieck Methods toShATermLG :: ATermTable -> ThmStatus a -> IO (ATermTable, Int) Source # fromShATermLG :: LogicGraph -> Int -> ATermTable -> (ATermTable, ThmStatus a) Source #
(Ord a, ShATermLG a) => ShATermLG (G_mapofsymbol a) Source #
Instance details Defined in ATC.Grothendieck Methods toShATermLG :: ATermTable -> G_mapofsymbol a -> IO (ATermTable, Int) Source # fromShATermLG :: LogicGraph -> Int -> ATermTable -> (ATermTable, G_mapofsymbol a) Source #
(Ord a, ShATermLG a) => ShATermLG (G_symbolmap a) Source #
Instance details Defined in ATC.Grothendieck Methods toShATermLG :: ATermTable -> G_symbolmap a -> IO (ATermTable, Int) Source # fromShATermLG :: LogicGraph -> Int -> ATermTable -> (ATermTable, G_symbolmap a) Source #
(ShATermLG a, ShATermLG b) => ShATermLG (a, b) Source #
Instance details Defined in ATC.Grothendieck Methods toShATermLG :: ATermTable -> (a, b) -> IO (ATermTable, Int) Source # fromShATermLG :: LogicGraph -> Int -> ATermTable -> (ATermTable, (a, b)) Source #
(Ord a, ShATermLG a, ShATermLG b) => ShATermLG (Map a b) Source #
Instance details Defined in ATC.Grothendieck Methods toShATermLG :: ATermTable -> Map a b -> IO (ATermTable, Int) Source # fromShATermLG :: LogicGraph -> Int -> ATermTable -> (ATermTable, Map a b) Source #
(ShATermLG a, ShATermLG b) => ShATermLG (GrContext a b) Source #
Instance details Defined in ATC.Grothendieck Methods toShATermLG :: ATermTable -> GrContext a b -> IO (ATermTable, Int) Source # fromShATermLG :: LogicGraph -> Int -> ATermTable -> (ATermTable, GrContext a b) Source #
(ShATermLG a, ShATermLG b) => ShATermLG (Gr a b) Source #
Instance details Defined in ATC.Grothendieck Methods toShATermLG :: ATermTable -> Gr a b -> IO (ATermTable, Int) Source # fromShATermLG :: LogicGraph -> Int -> ATermTable -> (ATermTable, Gr a b) Source #
(ShATermLG s, ShATermLG a) => ShATermLG (SenAttr s a) Source #
Instance details Defined in ATC.Grothendieck Methods toShATermLG :: ATermTable -> SenAttr s a -> IO (ATermTable, Int) Source # fromShATermLG :: LogicGraph -> Int -> ATermTable -> (ATermTable, SenAttr s a) Source #
(ShATermLG a, ShATermLG b, ShATermLG c) => ShATermLG (a, b, c) Source #
Instance details Defined in ATC.Grothendieck Methods toShATermLG :: ATermTable -> (a, b, c) -> IO (ATermTable, Int) Source # fromShATermLG :: LogicGraph -> Int -> ATermTable -> (ATermTable, (a, b, c)) Source #

toShATermLG' :: ShATermLG t => ATermTable -> t -> IO (ATermTable, Int) Source #

fromShATermLG' :: ShATermLG t => LogicGraph -> Int -> ATermTable -> (ATermTable, t) Source #

Orphan instances

Typeable a => ShATermConvertible (MVar a) Source #
Instance details Methods toShATermAux :: ATermTable -> MVar a -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [MVar a] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, MVar a) fromShATermList' :: Int -> ATermTable -> (ATermTable, [MVar a])