| 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!
- class ATermConvertibleSML t
- from_sml_ATermString :: ATermConvertibleSML a => String -> a
- read_sml_ATerm :: FilePath -> IO LIB_DEFN
Documentation
class ATermConvertibleSML t
Minimal complete definition
from_sml_ShATerm
Instances
from_sml_ATermString :: ATermConvertibleSML a => String -> a
read_sml_ATerm :: FilePath -> IO LIB_DEFN
cats creates latin1 files