{- |

Module : $Header$

Description : ShATermConvertible instances

Copyright : (c) Christian Maeder, Uni Bremen 2006

License : GPLv2 or higher

Maintainer : Christian.Maeder@dfki.de

Stability : provisional

Portability : portable

some 'ShATermConvertible' instances based on

the generated instances in "Haskell.ATC_Haskell".

-}

module Haskell.TiATC() where

import ATerm.Lib

import TiTypes

import TiKinds

import TiInstanceDB

import PropSyntaxRec

import Haskell.HatParser(HsDecls(..))

import Haskell.HatAna(Sign(..))

import Haskell.ATC_Haskell()

import Data.Typeable

{-! 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 !-}