| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
CLaSH.Promoted.Symbol
- 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
Constructors
| 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