CoreShow.hs

   1 {-# LANGUAGE StandaloneDeriving,FlexibleInstances, UndecidableInstances, OverlappingInstances #-}
   2 module CoreShow where
   3
   4 -- This module derives Show instances for CoreSyn types.
   5
   6 import qualified BasicTypes
   7
   8 import qualified CoreSyn
   9 import qualified TypeRep
  10 import qualified TyCon
  11
  12 import qualified HsTypes
  13 import qualified HsExpr
  14 import qualified HsBinds
  15 import qualified SrcLoc
  16 import qualified RdrName
  17
  18 import Outputable ( Outputable, OutputableBndr, showSDoc, ppr)
  19
  20
  21 -- Derive Show for core expressions and binders, so we can see the actual
  22 -- structure.
  23 deriving instance (Show b) => Show (CoreSyn.Expr b)
  24 deriving instance (Show b) => Show (CoreSyn.Bind b)
  25 deriving instance Show TypeRep.Type
  26 deriving instance (Show n, OutputableBndr n) => Show (HsTypes.HsType n)
  27 deriving instance (Show n, OutputableBndr n) => Show (HsTypes.ConDeclField n)
  28 deriving instance (Show x) => Show (SrcLoc.Located x)
  29 deriving instance (Show x, OutputableBndr x) => Show (HsExpr.StmtLR x x)
  30 deriving instance (Show x, OutputableBndr x) => Show (HsExpr.HsExpr x)
  31 deriving instance Show (RdrName.RdrName)
  32 deriving instance (Show idL, Show idR, OutputableBndr idL, OutputableBndr idR) => Show (HsBinds.HsBindLR idL idR)
  33 deriving instance Show CoreSyn.Note
  34
  35
  36 -- Implement dummy shows, since deriving them will need loads of other shows
  37 -- as well.
  38 instance Show TypeRep.PredType where
  39   show t = "_PredType:(" ++ (showSDoc $ ppr t) ++ ")"
  40 instance Show TyCon.TyCon where
  41   show t = "_TyCon:(" ++ (showSDoc $ ppr t) ++ ")"
  42 instance Show BasicTypes.Boxity where
  43   show b = "_Boxity"
  44 instance Show HsTypes.HsExplicitForAll where
  45   show b = "_HsExplicitForAll"
  46 instance Show HsExpr.HsArrAppType where
  47   show b = "_HsArrAppType"
  48 instance Show (HsExpr.MatchGroup x) where
  49   show b = "_HsMatchGroup"
  50 instance Show (HsExpr.GroupByClause x) where
  51   show b = "_GroupByClause"
  52 instance Show (HsExpr.HsStmtContext x) where
  53   show b = "_HsStmtContext"
  54 instance Show (HsBinds.Prag) where
  55   show b = "_Prag"
  56 instance Show (HsExpr.GRHSs id) where
  57   show b = "_GRHSs"
  58
  59
  60 instance (Outputable x) => Show x where
  61   show x = "__" ++  (showSDoc $ ppr x) ++ "__"