@@ -8,7 +8,7 @@ module CoreFn.Names
8
8
import Prelude
9
9
10
10
import Data.Maybe (Maybe )
11
- import Data.Newtype (class Newtype )
11
+ import Data.Newtype (class Newtype , unwrap )
12
12
13
13
-- |
14
14
-- Module names
@@ -18,7 +18,9 @@ newtype ModuleName = ModuleName (Array ProperName)
18
18
derive instance eqModuleName :: Eq ModuleName
19
19
derive instance newtypeModuleName :: Newtype ModuleName _
20
20
derive instance ordModuleName :: Ord ModuleName
21
- derive newtype instance showModuleName :: Show ModuleName
21
+
22
+ instance showModuleName :: Show ModuleName where
23
+ show x = " (ModuleName " <> show (unwrap x) <> " )"
22
24
23
25
24
26
-- |
@@ -29,7 +31,9 @@ newtype OpName = OpName String
29
31
derive instance eqOpName :: Eq OpName
30
32
derive instance newtypeOpName :: Newtype OpName _
31
33
derive instance ordOpName :: Ord OpName
32
- derive newtype instance showOpName :: Show OpName
34
+
35
+ instance showOpName :: Show OpName where
36
+ show x = " (OpName " <> unwrap x <> " )"
33
37
34
38
35
39
-- |
@@ -41,7 +45,9 @@ newtype ProperName = ProperName String
41
45
derive instance eqProperName :: Eq ProperName
42
46
derive instance newtypeProperName :: Newtype ProperName _
43
47
derive instance ordProperName :: Ord ProperName
44
- derive newtype instance showProperName :: Show ProperName
48
+
49
+ instance showProperName :: Show ProperName where
50
+ show x = " (ProperName " <> unwrap x <> " )"
45
51
46
52
47
53
-- |
0 commit comments