hets/Haskell/BaseATC.hs

{-# LANGUAGE StandaloneDeriving, DeriveDataTypeable #-}
{- |
Module      :  ./Haskell/BaseATC.hs
Description :  basic ShATermConvertible instances
Copyright   :  (c) Christian Maeder, Uni Bremen 2005-2006
License     :  GPLv2 or higher, see LICENSE.txt

Maintainer  :  Christian.Maeder@dfki.de
Stability   :  provisional
Portability :  portable

a few basic 'ShATermConvertible' instances needed by "Haskell.ATC_Haskell"
-}

module Haskell.BaseATC () where

import ATerm.Lib
import Data.Typeable
import SrcLoc

deriving instance Typeable SrcLoc

instance ShATermConvertible SrcLoc where
  toShATermAux att0 xv = case xv of
    SrcLoc a b c d -> do
      (att1, a') <- toShATerm' att0 a
      (att2, b') <- toShATerm' att1 b
      (att3, c') <- toShATerm' att2 c
      (att4, d') <- toShATerm' att3 d
      return $ addATerm (ShAAppl "SrcLoc" [a', b', c', d'] []) att4
  fromShATermAux ix att0 = case getShATerm ix att0 of
    ShAAppl "SrcLoc" [a, b, c, d] _ ->
      case fromShATerm' a att0 of { (att1, a') ->
      case fromShATerm' b att1 of { (att2, b') ->
      case fromShATerm' c att2 of { (att3, c') ->
      case fromShATerm' d att3 of { (att4, d') ->
      (att4, SrcLoc a' b' c' d') }}}}
    u -> fromShATermError "SrcLoc" u