diff --git a/CHANGELOG.md b/CHANGELOG.md index 42e937eb..13d62ca2 100644 --- 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 index 0d6a9f06..c3de434a 100644 --- 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