From d4e8c43940d068b1f60524cc004cbe5e5142bb2b Mon Sep 17 00:00:00 2001
From: triallax <triallax@tutanota.com>
Date: Mon, 7 Aug 2023 10:24:38 +0100
Subject: [PATCH] Derive `newtype` instances where possible

---
 CHANGELOG.md                    | 1 +
 src/Data/String/CodePoints.purs | 4 ++--
 src/Data/String/Pattern.purs    | 8 ++++----
 3 files changed, 7 insertions(+), 6 deletions(-)

diff --git a/CHANGELOG.md b/CHANGELOG.md
index f36a713..ba97788 100644
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -11,6 +11,7 @@ New features:
 Bugfixes:
 
 Other improvements:
+- Derive `newtype` instances where possible (#166 by @mhmdanas)
 
 ## [v6.0.1](https://github.com/purescript/purescript-strings/releases/tag/v6.0.1) - 2022-08-16
 
diff --git a/src/Data/String/CodePoints.purs b/src/Data/String/CodePoints.purs
index 65e0b55..d8b5baf 100644
--- a/src/Data/String/CodePoints.purs
+++ b/src/Data/String/CodePoints.purs
@@ -46,8 +46,8 @@ import Data.Unfoldable (unfoldr)
 -- | Unicode code points.
 newtype CodePoint = CodePoint Int
 
-derive instance eqCodePoint :: Eq CodePoint
-derive instance ordCodePoint :: Ord CodePoint
+derive newtype instance eqCodePoint :: Eq CodePoint
+derive newtype instance ordCodePoint :: Ord CodePoint
 
 instance showCodePoint :: Show CodePoint where
   show (CodePoint i) = "(CodePoint 0x" <> toUpper (toStringAs hexadecimal i) <> ")"
diff --git a/src/Data/String/Pattern.purs b/src/Data/String/Pattern.purs
index e0aea96..da21f33 100644
--- a/src/Data/String/Pattern.purs
+++ b/src/Data/String/Pattern.purs
@@ -15,8 +15,8 @@ import Data.Newtype (class Newtype)
 -- |
 newtype Pattern = Pattern String
 
-derive instance eqPattern :: Eq Pattern
-derive instance ordPattern :: Ord Pattern
+derive newtype instance eqPattern :: Eq Pattern
+derive newtype instance ordPattern :: Ord Pattern
 derive instance newtypePattern :: Newtype Pattern _
 
 instance showPattern :: Show Pattern where
@@ -25,8 +25,8 @@ instance showPattern :: Show Pattern where
 -- | A newtype used in cases to specify a replacement for a pattern.
 newtype Replacement = Replacement String
 
-derive instance eqReplacement :: Eq Replacement
-derive instance ordReplacement :: Ord Replacement
+derive newtype instance eqReplacement :: Eq Replacement
+derive newtype instance ordReplacement :: Ord Replacement
 derive instance newtypeReplacement :: Newtype Replacement _
 
 instance showReplacement :: Show Replacement where