Change data to newtype

#2 (comment)
iu-parfunc · Oct 7, 2016 · f8c6121 · f8c6121
1 parent d1ba755
commit f8c6121
Show file tree

Hide file tree

Showing 4 changed files with 4 additions and 4 deletions.
diff --git a/src/Data/VerifiedEq.hs b/src/Data/VerifiedEq.hs
@@ -28,7 +28,7 @@ data VerifiedEq a = VerifiedEq {
   }
 
 instance VerifiableConstraint Eq where
-  data Verified Eq a = VEq { veq :: VerifiedEq a }
+  newtype Verified Eq a = VEq { veq :: VerifiedEq a }
   reifiedIns = Sub Dict
 
 instance Reifies s (Verified Eq a) => Eq (Lift Eq a s) where

diff --git a/src/Data/VerifiedMonoid.hs b/src/Data/VerifiedMonoid.hs
@@ -39,7 +39,7 @@ data VerifiedMonoid a = VerifiedMonoid {
 @-}
 
 instance VerifiableConstraint Monoid where
-  data Verified Monoid a = VMonoid { vmonoid :: VerifiedMonoid a }
+  newtype Verified Monoid a = VMonoid { vmonoid :: VerifiedMonoid a }
   reifiedIns = Sub Dict
 
 instance Reifies s (Verified Monoid a) => Semigroup (Lift Monoid a s) where

diff --git a/src/Data/VerifiedOrd.hs b/src/Data/VerifiedOrd.hs
@@ -32,7 +32,7 @@ data VerifiedOrd a = VerifiedOrd {
   }
 
 instance VerifiableConstraint Ord where
-  data Verified Ord a = VOrd { vord :: VerifiedOrd a }
+  newtype Verified Ord a = VOrd { vord :: VerifiedOrd a }
   reifiedIns = Sub Dict
 
 instance Reifies s (Verified Ord a) => Eq (Lift Ord a s) where

diff --git a/src/Data/VerifiedSemigroup.hs b/src/Data/VerifiedSemigroup.hs
@@ -26,7 +26,7 @@ data VerifiedSemigroup a = VerifiedSemigroup {
   }
 
 instance VerifiableConstraint Semigroup where
-  data Verified Semigroup a = VSemigrp { vsemigrp :: VerifiedSemigroup a }
+  newtype Verified Semigroup a = VSemigrp { vsemigrp :: VerifiedSemigroup a }
   reifiedIns = Sub Dict
 
 instance Reifies s (Verified Semigroup a) => Semigroup (Lift Semigroup a s) where