| Copyright | (C) 2013-2016, University of Twente |
|---|---|
| License | BSD2 (see the file LICENSE) |
| Maintainer | Christiaan Baaij <christiaan.baaij@gmail.com> |
| Safe Haskell | Safe |
| Language | Haskell2010 |
| Extensions |
|
CLaSH.Promoted.Symbol
Description
- 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