content: {-# LANGUAGE CPP, StandaloneDeriving, DeriveDataTypeable #-}
  {- |
  Module      :  ./Haskell/TiATC.der.hs
  Description :  ShATermConvertible instances
  Copyright   :  (c) Christian Maeder, Uni Bremen 2006
  License     :  GPLv2 or higher, see LICENSE.txt
  
  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 !-}
  