We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 5a31dfd commit 9a08737Copy full SHA for 9a08737
src/Data/Symbol.purs
@@ -8,6 +8,7 @@ module Data.Symbol
8
import Type.Proxy (Proxy(..))
9
10
-- | A value-level proxy for a type-level symbol.
11
+-- | **Deprecated as of v0.14.0 PureScript release**: use `Type.Proxy` instead.
12
data SProxy (sym :: Symbol) = SProxy
13
14
-- | A class for known symbols
0 commit comments