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

class ATermConvertibleSML t
from_sml_ATermString :: ATermConvertibleSML a => String -> a
read_sml_ATerm :: FilePath -> IO LIB_DEFN

Documentation

class ATermConvertibleSML t Source #

Minimal complete definition

from_sml_ShATerm

Instances

Instances details

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