Change NoConstructors to newtype Void (#282)

* Change NoConstructors to newtype Void * Add changelog entry
purescript · Mar 14, 2022 · 2ab0477 · 2ab0477
1 parent 80b91b4
commit 2ab0477
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 1 deletion.
diff --git a/CHANGELOG.md b/CHANGELOG.md
@@ -6,6 +6,7 @@ Notable changes to this project are documented in this file. The format is based
 
 Breaking changes:
 - Migrated FFI to ES Modules (#287 by @kl0tl and @JordanMartinez)
+- Change Generic Rep's `NoConstructors` to newtype `Void` (#282 by @JordanMartinez)
 
 New features:
 

diff --git a/src/Data/Generic/Rep.purs b/src/Data/Generic/Rep.purs
@@ -14,10 +14,11 @@ module Data.Generic.Rep
 import Data.Semigroup ((<>))
 import Data.Show (class Show, show)
 import Data.Symbol (class IsSymbol, reflectSymbol)
+import Data.Void (Void)
 import Type.Proxy (Proxy(..))
 
 -- | A representation for types with no constructors.
-data NoConstructors
+newtype NoConstructors = NoConstructors Void
 
 -- | A representation for constructors with no arguments.
 data NoArguments = NoArguments