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

Contents

Description

ShATermConvertible instances for data types from Logic.Grothendieck

Documentation

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

class Typeable t => ShATermLG t where Source #

Minimal complete definition

toShATermLG, fromShATermLG

Methods

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

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

Instances

(ShATermConvertible a, Typeable * a) => ShATermLG a Source # 

Methods

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

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

ShATermLG GlobalAnnos Source # 

Methods

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

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

ShATermLG AnyLogic Source # 

Methods

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

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

ShATermLG AnyComorphism Source # 

Methods

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

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

ShATermLG GMorphism Source # 

Methods

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

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

ShATermLG G_morphism Source # 

Methods

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

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

ShATermLG G_sublogics Source # 

Methods

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

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

ShATermLG G_symb_map_items_list Source # 

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 # 

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 # 

Methods

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

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

ShATermLG G_sign Source # 

Methods

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

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

ShATermLG G_basic_spec Source # 

Methods

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

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

ShATermLG BasicProof Source # 

Methods

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

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

ShATermLG G_theory Source # 

Methods

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

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

ShATermLG a => ShATermLG [a] Source # 

Methods

toShATermLG :: ATermTable -> [a] -> IO (ATermTable, Int) Source #

fromShATermLG :: LogicGraph -> Int -> ATermTable -> (ATermTable, [a]) Source #

ShATermLG a => ShATermLG (Maybe a) Source # 

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 # 

Methods

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

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

ShATermLG a => ShATermLG (IntMap a) Source # 

Methods

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

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

ShATermLG a => ShATermLG (ElemWOrd a) Source # 

Methods

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

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

ShATermLG a => ShATermLG (SizedList a) Source # 

Methods

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

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

ShATermLG a => ShATermLG (Annoted a) Source # 

Methods

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

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

ShATermLG a => ShATermLG (ThmStatus a) Source # 

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 # 

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 # 

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 # 

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 # 

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 # 

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 # 

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 # 

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 # 

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 # 

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])