GhcApiAstTraversals: Instances0.hs

{-# LANGUAGE CPP #-}
{-# LANGUAGE TypeSynonymInstances #-}
{-# LANGUAGE StandaloneDeriving #-}
{-# LANGUAGE DeriveDataTypeable #-}

module Instances0 where

import GHC hiding(TyCon)
import SrcLoc
import RdrName
import OccName
import FastString
import Bag
import Module
import BasicTypes
import Var
import ForeignCall

import Data.Generics
import NameSet
import TypeRep
import qualified TyCon

#include "Typeable.h"

-- TODO: good for generalized show, but is this sound in general?
abstractConstr   n = mkConstr (abstractDataType n) ("{abstract:"++n++"}") [] Prefix
abstractDataType n = mkDataType n [abstractConstr n]

-- Typeable

INSTANCE_TYPEABLE0(SrcSpan,srcSpanTc,"SrcSpan")
instance Data SrcSpan where
  -- don't traverse?
  toConstr _   = abstractConstr "SrcSpan"
  gunfold _ _  = error "gunfold"
  dataTypeOf _ = mkNorepType "SrcSpan"

INSTANCE_TYPEABLE0(Module,moduleTc,"Module")
instance Data Module where
  -- don't traverse?
  toConstr _   = abstractConstr "Module"
  gunfold _ _  = error "gunfold"
  dataTypeOf _ = mkNorepType "Module"

INSTANCE_TYPEABLE0(ModuleName,moduleNameTc,"ModuleName")
instance Data ModuleName where
  -- don't traverse?
  toConstr _   = abstractConstr "ModuleName"
  gunfold _ _  = error "gunfold"
  dataTypeOf _ = mkNorepType "ModuleName"

deriving instance Typeable RdrName
deriving instance Data RdrName

INSTANCE_TYPEABLE0(OccName,occNameTc,"OccName")
instance Data OccName where
  -- don't traverse?
  toConstr _   = abstractConstr "OccName"
  gunfold _ _  = error "gunfold"
  dataTypeOf _ = mkNorepType "OccName"

INSTANCE_TYPEABLE0(Name,nameTc,"Name")
instance Data Name where
  -- don't traverse?
  toConstr _   = abstractConstr "Name"
  gunfold _ _  = error "gunfold"
  dataTypeOf _ = mkNorepType "Name"

deriving instance Typeable FastString
instance Data FastString where
  -- don't traverse?
  toConstr _   = abstractConstr "FastString"
  gunfold _ _  = error "gunfold"
  dataTypeOf _ = mkNorepType "FastString"

deriving instance Typeable HsExplicitForAll
deriving instance Data HsExplicitForAll

deriving instance Typeable HsBang
deriving instance Data HsBang

deriving instance Typeable Boxity
deriving instance Data Boxity

deriving instance Typeable OverLitVal
deriving instance Data OverLitVal

deriving instance Typeable RecFlag
deriving instance Data RecFlag

deriving instance Typeable BasicTypes.Fixity
deriving instance Data BasicTypes.Fixity

deriving instance Typeable HsArrAppType
deriving instance Data HsArrAppType

deriving instance Typeable FixityDirection
deriving instance Data FixityDirection

INSTANCE_TYPEABLE0(DataCon,dataConTc,"DataCon")
instance Data DataCon where
  -- don't traverse?
  toConstr _   = abstractConstr "DataCon"
  gunfold _ _  = error "gunfold"
  dataTypeOf _ = mkNorepType "DataCon"

INSTANCE_TYPEABLE0(Var,varTc,"Var")
instance Data Var where
  -- don't traverse?
  toConstr _   = abstractConstr "Var"
  gunfold _ _  = error "gunfold"
  dataTypeOf _ = mkNorepType "Var"

deriving instance Typeable InlineSpec
deriving instance Data InlineSpec

deriving instance Typeable ForeignImport
deriving instance Data ForeignImport

deriving instance Typeable ForeignExport
deriving instance Data ForeignExport

deriving instance Typeable CImportSpec
deriving instance Data CImportSpec

deriving instance Typeable CExportSpec
deriving instance Data CExportSpec

deriving instance Typeable DNCallSpec
deriving instance Data DNCallSpec

deriving instance Typeable Safety
deriving instance Data Safety

deriving instance Typeable CCallConv
deriving instance Data CCallConv

deriving instance Typeable DNKind
deriving instance Data DNKind

deriving instance Typeable DNType
deriving instance Data DNType

deriving instance Typeable CCallTarget
deriving instance Data CCallTarget

deriving instance Typeable Activation
deriving instance Data Activation

INSTANCE_TYPEABLE0(NameSet,nameSetTc,"NameSet")
instance Data NameSet where
  gfoldl k z s = z mkNameSet `k` nameSetToList s -- traverse abstractly
  toConstr _   = abstractConstr "NameSet"
  gunfold _ _  = error "gunfold"
  dataTypeOf _ = mkNorepType "NameSet"

deriving instance Typeable FoType
deriving instance Data FoType

deriving instance Typeable FamilyFlavour
deriving instance Data FamilyFlavour

deriving instance Typeable NewOrData
deriving instance Data NewOrData

INSTANCE_TYPEABLE0(TyCon.TyCon,tyConTc,"TyCon")
instance Data TyCon.TyCon where
  toConstr _   = abstractConstr "TyCon.TyCon"
  gunfold _ _  = error "gunfold"
  dataTypeOf _ = mkNorepType "TyCon.TyCon"

INSTANCE_TYPEABLE0(Class,classTc,"Class")
instance Data Class where
  toConstr _   = abstractConstr "Class"
  gunfold _ _  = error "gunfold"
  dataTypeOf _ = mkNorepType "Class"