Copyright	(c) Klaus Luettich and Uni Bremen 2002-2004
License	GPLv2 or higher, see LICENSE.txt
Maintainer	Christian.Maeder@dfki.de
Stability	provisional
Portability	non-portable (imports Logic.Grothendieck)
Safe Haskell	None

ATC.Sml_cats

Description

This module exports functions, that can convert an sml-CATS ATerm into the Haskell abstract syntax tree. So it contains all the necessary instances of ATermConvertible and a heuristic function that calculates the new lists of Pos out of Region tuples.

the templates for the instances are automatically derived by DrIFT. But there were made many hand written changes.

todo: - p_flag from pos-TERM is not considered jet!

Synopsis

Documentation

class ATermConvertibleSML t Source #

Minimal complete definition

from_sml_ShATerm

Instances

ATermConvertibleSML Bool Source #
Methods from_sml_ShATerm :: ATermTable -> Bool from_sml_ShATermList :: ATermTable -> [Bool]
ATermConvertibleSML Char Source #
Methods from_sml_ShATerm :: ATermTable -> Char from_sml_ShATermList :: ATermTable -> [Char]
ATermConvertibleSML Int Source #
Methods from_sml_ShATerm :: ATermTable -> Int from_sml_ShATermList :: ATermTable -> [Int]
ATermConvertibleSML Integer Source #
Methods from_sml_ShATerm :: ATermTable -> Integer from_sml_ShATermList :: ATermTable -> [Integer]
ATermConvertibleSML Id Source #
Methods from_sml_ShATerm :: ATermTable -> Id from_sml_ShATermList :: ATermTable -> [Id]
ATermConvertibleSML Token Source #
Methods from_sml_ShATerm :: ATermTable -> Token from_sml_ShATermList :: ATermTable -> [Token]
ATermConvertibleSML Annotation Source #
Methods from_sml_ShATerm :: ATermTable -> Annotation from_sml_ShATermList :: ATermTable -> [Annotation]
ATermConvertibleSML VersionNumber Source #
Methods from_sml_ShATerm :: ATermTable -> VersionNumber from_sml_ShATermList :: ATermTable -> [VersionNumber]
ATermConvertibleSML LibName Source #
Methods from_sml_ShATerm :: ATermTable -> LibName from_sml_ShATermList :: ATermTable -> [LibName]
ATermConvertibleSML SYMB_OR_MAP Source #
Methods from_sml_ShATerm :: ATermTable -> SYMB_OR_MAP from_sml_ShATermList :: ATermTable -> [SYMB_OR_MAP]
ATermConvertibleSML TYPE Source #
Methods from_sml_ShATerm :: ATermTable -> TYPE from_sml_ShATermList :: ATermTable -> [TYPE]
ATermConvertibleSML SYMB Source #
Methods from_sml_ShATerm :: ATermTable -> SYMB from_sml_ShATermList :: ATermTable -> [SYMB]
ATermConvertibleSML SYMB_KIND Source #
Methods from_sml_ShATerm :: ATermTable -> SYMB_KIND from_sml_ShATermList :: ATermTable -> [SYMB_KIND]
ATermConvertibleSML SYMB_MAP_ITEMS Source #
Methods from_sml_ShATerm :: ATermTable -> SYMB_MAP_ITEMS from_sml_ShATermList :: ATermTable -> [SYMB_MAP_ITEMS]
ATermConvertibleSML SYMB_ITEMS Source #
Methods from_sml_ShATerm :: ATermTable -> SYMB_ITEMS from_sml_ShATermList :: ATermTable -> [SYMB_ITEMS]
ATermConvertibleSML OP_SYMB Source #
Methods from_sml_ShATerm :: ATermTable -> OP_SYMB from_sml_ShATermList :: ATermTable -> [OP_SYMB]
ATermConvertibleSML PRED_SYMB Source #
Methods from_sml_ShATerm :: ATermTable -> PRED_SYMB from_sml_ShATermList :: ATermTable -> [PRED_SYMB]
ATermConvertibleSML QUANTIFIER Source #
Methods from_sml_ShATerm :: ATermTable -> QUANTIFIER from_sml_ShATermList :: ATermTable -> [QUANTIFIER]
ATermConvertibleSML VAR_DECL Source #
Methods from_sml_ShATerm :: ATermTable -> VAR_DECL from_sml_ShATermList :: ATermTable -> [VAR_DECL]
ATermConvertibleSML COMPONENTS Source #
Methods from_sml_ShATerm :: ATermTable -> COMPONENTS from_sml_ShATermList :: ATermTable -> [COMPONENTS]
ATermConvertibleSML ALTERNATIVE Source #
Methods from_sml_ShATerm :: ATermTable -> ALTERNATIVE from_sml_ShATermList :: ATermTable -> [ALTERNATIVE]
ATermConvertibleSML DATATYPE_DECL Source #
Methods from_sml_ShATerm :: ATermTable -> DATATYPE_DECL from_sml_ShATermList :: ATermTable -> [DATATYPE_DECL]
ATermConvertibleSML PRED_HEAD Source #
Methods from_sml_ShATerm :: ATermTable -> PRED_HEAD from_sml_ShATermList :: ATermTable -> [PRED_HEAD]
ATermConvertibleSML PRED_TYPE Source #
Methods from_sml_ShATerm :: ATermTable -> PRED_TYPE from_sml_ShATermList :: ATermTable -> [PRED_TYPE]
ATermConvertibleSML OP_HEAD Source #
Methods from_sml_ShATerm :: ATermTable -> OP_HEAD from_sml_ShATermList :: ATermTable -> [OP_HEAD]
ATermConvertibleSML OP_TYPE Source #
Methods from_sml_ShATerm :: ATermTable -> OP_TYPE from_sml_ShATermList :: ATermTable -> [OP_TYPE]
ATermConvertibleSML FIT_ARG Source #
Methods from_sml_ShATerm :: ATermTable -> FIT_ARG from_sml_ShATermList :: ATermTable -> [FIT_ARG]
ATermConvertibleSML RESTRICTION Source #
Methods from_sml_ShATerm :: ATermTable -> RESTRICTION from_sml_ShATermList :: ATermTable -> [RESTRICTION]
ATermConvertibleSML RENAMING Source #
Methods from_sml_ShATerm :: ATermTable -> RENAMING from_sml_ShATermList :: ATermTable -> [RENAMING]
ATermConvertibleSML SPEC Source #
Methods from_sml_ShATerm :: ATermTable -> SPEC from_sml_ShATermList :: ATermTable -> [SPEC]
ATermConvertibleSML FIT_ARG_UNIT Source #
Methods from_sml_ShATerm :: ATermTable -> FIT_ARG_UNIT from_sml_ShATermList :: ATermTable -> [FIT_ARG_UNIT]
ATermConvertibleSML UNIT_TERM Source #
Methods from_sml_ShATerm :: ATermTable -> UNIT_TERM from_sml_ShATermList :: ATermTable -> [UNIT_TERM]
ATermConvertibleSML UNIT_BINDING Source #
Methods from_sml_ShATerm :: ATermTable -> UNIT_BINDING from_sml_ShATermList :: ATermTable -> [UNIT_BINDING]
ATermConvertibleSML UNIT_EXPRESSION Source #
Methods from_sml_ShATerm :: ATermTable -> UNIT_EXPRESSION from_sml_ShATermList :: ATermTable -> [UNIT_EXPRESSION]
ATermConvertibleSML UNIT_REF Source #
Methods from_sml_ShATerm :: ATermTable -> UNIT_REF from_sml_ShATermList :: ATermTable -> [UNIT_REF]
ATermConvertibleSML REF_SPEC Source #
Methods from_sml_ShATerm :: ATermTable -> REF_SPEC from_sml_ShATermList :: ATermTable -> [REF_SPEC]
ATermConvertibleSML UNIT_SPEC Source #
Methods from_sml_ShATerm :: ATermTable -> UNIT_SPEC from_sml_ShATermList :: ATermTable -> [UNIT_SPEC]
ATermConvertibleSML UNIT_DECL_DEFN Source #
Methods from_sml_ShATerm :: ATermTable -> UNIT_DECL_DEFN from_sml_ShATermList :: ATermTable -> [UNIT_DECL_DEFN]
ATermConvertibleSML ARCH_SPEC Source #
Methods from_sml_ShATerm :: ATermTable -> ARCH_SPEC from_sml_ShATermList :: ATermTable -> [ARCH_SPEC]
ATermConvertibleSML ItemNameMap Source #
Methods from_sml_ShATerm :: ATermTable -> ItemNameMap from_sml_ShATermList :: ATermTable -> [ItemNameMap]
ATermConvertibleSML VIEW_TYPE Source #
Methods from_sml_ShATerm :: ATermTable -> VIEW_TYPE from_sml_ShATermList :: ATermTable -> [VIEW_TYPE]
ATermConvertibleSML IMPORTED Source #
Methods from_sml_ShATerm :: ATermTable -> IMPORTED from_sml_ShATermList :: ATermTable -> [IMPORTED]
ATermConvertibleSML PARAMS Source #
Methods from_sml_ShATerm :: ATermTable -> PARAMS from_sml_ShATermList :: ATermTable -> [PARAMS]
ATermConvertibleSML GENERICITY Source #
Methods from_sml_ShATerm :: ATermTable -> GENERICITY from_sml_ShATermList :: ATermTable -> [GENERICITY]
ATermConvertibleSML LIB_ITEM Source #
Methods from_sml_ShATerm :: ATermTable -> LIB_ITEM from_sml_ShATermList :: ATermTable -> [LIB_ITEM]
ATermConvertibleSML LIB_DEFN Source #
Methods from_sml_ShATerm :: ATermTable -> LIB_DEFN from_sml_ShATermList :: ATermTable -> [LIB_DEFN]
ATermConvertibleSML a => ATermConvertibleSML [a] Source #
Methods from_sml_ShATerm :: ATermTable -> [a] from_sml_ShATermList :: ATermTable -> [[a]]
ATermConvertibleSML a => ATermConvertibleSML (Annoted a) Source #
Methods from_sml_ShATerm :: ATermTable -> Annoted a from_sml_ShATermList :: ATermTable -> [Annoted a]
ATermConvertibleSML (TERM a) Source #
Methods from_sml_ShATerm :: ATermTable -> TERM a from_sml_ShATermList :: ATermTable -> [TERM a]
ATermConvertibleSML (FORMULA a) Source #
Methods from_sml_ShATerm :: ATermTable -> FORMULA a from_sml_ShATermList :: ATermTable -> [FORMULA a]
ATermConvertibleSML (PRED_ITEM a) Source #
Methods from_sml_ShATerm :: ATermTable -> PRED_ITEM a from_sml_ShATermList :: ATermTable -> [PRED_ITEM a]
ATermConvertibleSML (OP_ATTR a) Source #
Methods from_sml_ShATerm :: ATermTable -> OP_ATTR a from_sml_ShATermList :: ATermTable -> [OP_ATTR a]
ATermConvertibleSML (OP_ITEM a) Source #
Methods from_sml_ShATerm :: ATermTable -> OP_ITEM a from_sml_ShATermList :: ATermTable -> [OP_ITEM a]
ATermConvertibleSML (SORT_ITEM a) Source #
Methods from_sml_ShATerm :: ATermTable -> SORT_ITEM a from_sml_ShATermList :: ATermTable -> [SORT_ITEM a]
(ATermConvertibleSML a, ATermConvertibleSML b) => ATermConvertibleSML (a, b) Source #
Methods from_sml_ShATerm :: ATermTable -> (a, b) from_sml_ShATermList :: ATermTable -> [(a, b)]
(Ord a, ATermConvertibleSML a, ATermConvertibleSML b) => ATermConvertibleSML (Map a b) Source #
Methods from_sml_ShATerm :: ATermTable -> Map a b from_sml_ShATermList :: ATermTable -> [Map a b]
ATermConvertibleSML (SIG_ITEMS a b) Source #
Methods from_sml_ShATerm :: ATermTable -> SIG_ITEMS a b from_sml_ShATermList :: ATermTable -> [SIG_ITEMS a b]
(ATermConvertibleSML a, ATermConvertibleSML b, ATermConvertibleSML c) => ATermConvertibleSML (a, b, c) Source #
Methods from_sml_ShATerm :: ATermTable -> (a, b, c) from_sml_ShATermList :: ATermTable -> [(a, b, c)]
ATermConvertibleSML (BASIC_ITEMS a b c) Source #
Methods from_sml_ShATerm :: ATermTable -> BASIC_ITEMS a b c from_sml_ShATermList :: ATermTable -> [BASIC_ITEMS a b c]
ATermConvertibleSML (BASIC_SPEC a b c) Source #
Methods from_sml_ShATerm :: ATermTable -> BASIC_SPEC a b c from_sml_ShATermList :: ATermTable -> [BASIC_SPEC a b c]
(ATermConvertibleSML a, ATermConvertibleSML b, ATermConvertibleSML c, ATermConvertibleSML d) => ATermConvertibleSML (a, b, c, d) Source #
Methods from_sml_ShATerm :: ATermTable -> (a, b, c, d) from_sml_ShATermList :: ATermTable -> [(a, b, c, d)]

from_sml_ATermString :: ATermConvertibleSML a => String -> a Source #

read_sml_ATerm :: FilePath -> IO LIB_DEFN Source #

cats creates latin1 files