Module

Data.Symbol

Package: purescript-symbolsDEPRECATED
Repository: purescript/purescript-symbols

#SProxy Source

data SProxy (sym :: Symbol)

A value-level proxy for a type-level symbol.

Constructors

SProxy

#IsSymbol Source

class IsSymbol (sym :: Symbol)  where

A class for known symbols

Members

reflectSymbol :: SProxy sym -> String

Instances

(IsSymbol left, IsSymbol right) => IsSymbol (TypeConcat left right)

#reifySymbol Source

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

Modules: Data.Symbol