1 {-# LANGUAGE StandaloneDeriving,FlexibleInstances, UndecidableInstances, OverlappingInstances #-}
2 module CLasH.Utils.Core.CoreShow where
4 -- This module derives Show instances for CoreSyn types.
6 import qualified BasicTypes
8 import qualified CoreSyn
9 import qualified TypeRep
10 import qualified TyCon
12 import qualified HsTypes
13 import qualified HsExpr
14 import qualified HsBinds
15 import qualified SrcLoc
16 import qualified RdrName
18 import Outputable ( Outputable, OutputableBndr, showSDoc, ppr)
21 -- Derive Show for core expressions and binders, so we can see the actual
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
36 -- Implement dummy shows, since deriving them will need loads of other shows
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
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
56 instance Show (HsExpr.GRHSs id) where
60 instance (Outputable x) => Show x where
61 show x = "__" ++ (showSDoc $ ppr x) ++ "__"