{- |

Module : $Header$

Copyright : (c) Christian Maeder, Uni Bremen 2005

License : similar to LGPL, see HetCATS/LICENSE.txt or LIZENZ.txt

Maintainer : maeder@tzi.de

Stability : provisional

Portability : portable

remaining 'ShATermConvertible' instances for "Haskell.Logic_Haskell" based on

the generated instances in "Haskell.ATC_Haskell".

-}

module Haskell.TiATC() where

import Common.ATerm.Lib

import TiTypes

import TiKinds

import TiInstanceDB

import PropSyntaxRec

import Haskell.HatParser(HsDecls(..))

import Haskell.HatAna(Sign(..))

import Haskell.ATC_Haskell()

import ATC.Set()

import Common.DynamicUtils

{-! for Qual derive : Typeable !-}

{-! for Scheme derive : Typeable !-}

{-! for Typing derive : Typeable !-}

{-! for TypeInfo derive : Typeable !-}

{-! for Subst derive : Typeable !-}

{-! for Kind derive : Typeable !-}

{-! for KVar derive : Typeable !-}

{-! for KindConstraint derive : Typeable !-}

{-! for InstEntry derive : Typeable !-}

{-! for HsDeclI derive : Typeable !-}

{-! for AssertionI derive : Typeable !-}

{-! for PredicateI derive : Typeable !-}

{-! for HsExpI derive : Typeable !-}

{-! for HsDecls derive : Typeable !-}

{-! for Sign derive : Typeable !-}

{-! for Qual derive : ShATermConvertible !-}

{-! for Scheme derive : ShATermConvertible !-}

{-! for Typing derive : ShATermConvertible !-}

{-! for TypeInfo derive : ShATermConvertible !-}

{-! for Subst derive : ShATermConvertible !-}

{-! for Kind derive : ShATermConvertible !-}

{-! for KVar derive : ShATermConvertible !-}

{-! for KindConstraint derive : ShATermConvertible !-}

{-! for InstEntry derive : ShATermConvertible !-}

{-! for HsDeclI derive : ShATermConvertible !-}

{-! for AssertionI derive : ShATermConvertible !-}

{-! for PredicateI derive : ShATermConvertible !-}

{-! for HsExpI derive : ShATermConvertible !-}

{-! for HsDecls derive : ShATermConvertible !-}

{-! for Sign derive : ShATermConvertible !-}