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 |
|
- data SSymbol s where
- SSymbol :: KnownSymbol s => SSymbol s
- ssymbolProxy :: KnownSymbol s => proxy s -> SSymbol s
- ssymbolToString :: SSymbol s -> String
Documentation
Singleton value for a type-level string s
SSymbol :: KnownSymbol s => SSymbol s |
ssymbolProxy :: KnownSymbol s => proxy s -> SSymbol s Source #
Create a singleton symbol literal
from a proxy for
sSSymbol
s