Hets - the Heterogeneous Tool Set

Copyright(c) Felix Reckers, C. Maeder, Uni Bremen 2002-2006
LicenseGPLv2 or higher, see LICENSE.txt
MaintainerChristian.Maeder@dfki.de
Stabilityprovisional
Portabilitynon-portable (existential types)
Safe HaskellNone

ATC.Grothendieck

Description

ShATermConvertible instances for data types from Logic.Grothendieck

Documentation

class Typeable t => ShATermLG t where

Instances

ShATermConvertible a => ShATermLG a 
ShATermLG GlobalAnnos 
ShATermLG RTLeaves 
ShATermLG RTPointer 
ShATermLG ThmTypes 
ShATermLG DGEdgeTypeModInc 
ShATermLG DGEdgeType 
ShATermLG ConsStatus 
ShATermLG FreeOrCofree 
ShATermLG LinkKind 
ShATermLG Scope 
ShATermLG ThmLinkStatus 
ShATermLG DGRule 
ShATermLG ProofBasis 
ShATermLG EdgeId 
ShATermLG NodeMod 
ShATermLG DGNodeType 
ShATermLG NodeName 
ShATermLG XPathPart 
ShATermLG AnyLogic 
ShATermLG AnyComorphism 
ShATermLG GMorphism 
ShATermLG G_morphism 
ShATermLG G_sublogics 
ShATermLG G_symb_map_items_list 
ShATermLG G_symb_items_list 
ShATermLG G_symbol 
ShATermLG G_sign 
ShATermLG G_basic_spec 
ShATermLG BasicProof 
ShATermLG G_theory 
ShATermLG RELATION_REF 
ShATermLG TERM_OR_ENTITY_REF 
ShATermLG CORRESPONDENCE 
ShATermLG LABELED_ONTO_OR_INTPR_REF 
ShATermLG Logic_name 
ShATermLG Logic_code 
ShATermLG LogicDescr 
ShATermLG FIT_ARG 
ShATermLG G_hiding 
ShATermLG G_mapping 
ShATermLG MINIMIZATION 
ShATermLG APPROXIMATION 
ShATermLG RESTRICTION 
ShATermLG RENAMING 
ShATermLG SPEC 
ShATermLG FIT_ARG_UNIT 
ShATermLG UNIT_TERM 
ShATermLG UNIT_BINDING 
ShATermLG UNIT_EXPRESSION 
ShATermLG UNIT_REF 
ShATermLG REF_SPEC 
ShATermLG UNIT_SPEC 
ShATermLG UNIT_DECL_DEFN 
ShATermLG ARCH_SPEC 
ShATermLG ItemNameMap 
ShATermLG ALIGN_ARITY 
ShATermLG ALIGN_ARITIES 
ShATermLG MODULE_TYPE 
ShATermLG EQUIV_TYPE 
ShATermLG VIEW_TYPE 
ShATermLG IMPORTED 
ShATermLG PARAMS 
ShATermLG GENERICITY 
ShATermLG DownloadItems 
ShATermLG LIB_ITEM 
ShATermLG LIB_DEFN 
ShATermLG XLink 
ShATermLG XNode 
ShATermLG XGraph 
ShATermLG DGraph 
ShATermLG Diag 
ShATermLG DiagLinkLab 
ShATermLG DiagNodeLab 
ShATermLG RTLinkLab 
ShATermLG RTLinkType 
ShATermLG RTNodeLab 
ShATermLG RTNodeType 
ShATermLG HistElem 
ShATermLG DGChange 
ShATermLG AlignSig 
ShATermLG GlobalEntry 
ShATermLG BranchSig 
ShATermLG RefSig 
ShATermLG ImpUnitSigOrSig 
ShATermLG UnitSig 
ShATermLG ExtViewSig 
ShATermLG ExtGenSig 
ShATermLG GenSig 
ShATermLG DGLinkLab 
ShATermLG DGLinkType 
ShATermLG DGLinkOrigin 
ShATermLG Fitted 
ShATermLG DGNodeLab 
ShATermLG DGNodeInfo 
ShATermLG DGOrigin 
ShATermLG MaybeRestricted 
ShATermLG Renamed 
ShATermLG MaybeNode 
ShATermLG NodeSig 
ShATermLG a => ShATermLG [a] 
ShATermLG a => ShATermLG (Maybe a) 
ShATermLG a => ShATermLG (IntMap a) 
(Ord a, ShATermLG a) => ShATermLG (Set a) 
ShATermLG a => ShATermLG (SizedList a) 
ShATermLG a => ShATermLG (ElemWOrd a) 
ShATermLG a => ShATermLG (Annoted a) 
ShATermLG a => ShATermLG (ThmStatus a) 
ShATermLG a => ShATermLG (LinkPath a) 
(Ord a, ShATermLG a) => ShATermLG (G_mapofsymbol a) 
(Ord a, ShATermLG a) => ShATermLG (G_symbolmap a) 
(ShATermLG a, ShATermLG b) => ShATermLG (a, b) 
(Ord a, ShATermLG a, ShATermLG b) => ShATermLG (Map a b) 
(ShATermLG a, ShATermLG b) => ShATermLG (GrContext a b) 
(ShATermLG a, ShATermLG b) => ShATermLG (Gr a b) 
(ShATermLG s, ShATermLG a) => ShATermLG (SenAttr s a) 
(ShATermLG a, ShATermLG b, ShATermLG c) => ShATermLG (a, b, c)