Safe Haskell | None |
---|---|
Language | Haskell2010 |
- data SSymbol s = KnownSymbol s => SSymbol (Proxy s)
- ssymbol :: KnownSymbol s => SSymbol s
- ssymbolToString :: SSymbol s -> String
Documentation
Singleton value for a type-level string s
KnownSymbol s => SSymbol (Proxy s) |
ssymbol :: KnownSymbol s => SSymbol s Source
Create a singleton literal for a type-level natural number
ssymbolToString :: SSymbol s -> String Source