src/ATerm/Lib.hs

{- |
Module      :  ./atermlib/src/ATerm/Lib.hs
Description :  reexports modules needed for ATC generation
Copyright   :  (c) Klaus Luettich, Uni Bremen 2002-2004
License     :  GPLv2 or higher, see LICENSE.txt

Maintainer  :  Christian.Maeder@dfki.de
Stability   :  provisional
Portability :  non-portable (via imports)

reexports the names needed for many 'ShATermConvertible'
instances. For converting 'ShATerm's to and from 'String's you'll need
the module "ATerm.ReadWrite".

For more information on ATerms look under
<http://www.asfsdf.org>, <http://www.asfsdf.org/Meta-Environment/ATerms>.
-}

module ATerm.Lib
    ( ShATerm (..)
    , ATermTable
    , addATerm
    , getShATerm
    , ShATermConvertible (toShATermAux, fromShATermAux)
    , toShATerm'
    , fromShATerm'
    , fromShATermError
    ) where

import ATerm.AbstractSyntax
import ATerm.Conversion