Module

Data.Symbol

#IsSymbol

class IsSymbol (sym :: Symbol)  where

A class for known symbols

Members

#reifySymbol

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

#SProxy

data SProxy sym

Constructors

Modules