Remove proxy types (#288)

* Drop deprecated SProxy, RProxy, RLProxy, Proxy2, and Proxy3 * Remove other forall proxy workarounds missed previously * Remove forall proxy workaround comment * Drop Proxy2/Proxy3 instances for various type classes * Update changelog entry
purescript · Mar 14, 2022 · 3042bcb · 3042bcb
1 parent b3e64dd
commit 3042bcb
Show file tree

Hide file tree

Showing 4 changed files with 1 addition and 38 deletions.
diff --git a/CHANGELOG.md b/CHANGELOG.md
@@ -7,8 +7,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)
-- Replace `forall proxy. proxy k` workaound with `Proxy k` (#281 by @JordanMartinez)
-- Drop all kind-specific Proxy types (e.g. `Proxy2`, `Proxy3`) (#281 by @JordanMartinez)
+- Replaced polymorphic proxies with monomorphic `Proxy` (#281, #288 by @JordanMartinez)
 
 New features:
 

diff --git a/src/Data/Symbol.purs b/src/Data/Symbol.purs
@@ -2,16 +2,10 @@ module Data.Symbol
   ( class IsSymbol
   , reflectSymbol
   , reifySymbol
-  , SProxy(..)
   ) where
 
 import Type.Proxy (Proxy(..))
 
--- | A value-level proxy for a type-level symbol.
--- | **Deprecated as of v0.14.0 PureScript release**: use `Type.Proxy` instead.
-data SProxy :: Symbol -> Type
-data SProxy sym = SProxy
-
 -- | A class for known symbols
 class IsSymbol (sym :: Symbol) where
   reflectSymbol :: Proxy sym -> String

diff --git a/src/Type/Data/Row.purs b/src/Type/Data/Row.purs
diff --git a/src/Type/Data/RowList.purs b/src/Type/Data/RowList.purs