Hets - the Heterogeneous Tool Set

Copyright(c) Klaus Luettich and Uni Bremen 2002-2004
LicenseGPLv2 or higher, see LICENSE.txt
MaintainerChristian.Maeder@dfki.de
Stabilityprovisional
Portabilitynon-portable (imports Logic.Grothendieck)
Safe HaskellNone

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

read_sml_ATerm :: FilePath -> IO LIB_DEFN Source #

cats creates latin1 files