Module

Data.Symbol

Package
prelude
Repository
purerl/purescript-prelude

#IsSymbol Source

class IsSymbol :: Symbol -> Constraintclass IsSymbol (sym :: Symbol)  where

A class for known symbols

Members

#reifySymbol Source

reifySymbol :: forall proxy r. String -> (forall sym. IsSymbol sym => proxy sym -> r) -> r

#SProxy Source

data SProxy :: Symbol -> Typedata SProxy sym

A value-level proxy for a type-level symbol. Deprecated as of v0.14.0 PureScript release: use Type.Proxy instead.

Constructors