Safe Haskell | None |
---|---|
Language | Haskell2010 |
compatibility module for ghc-7.8 & ghc-7.6.
- data Symbol :: *
- class KnownSymbol n
- symbolVal :: KnownSymbol n => proxy n -> String
- data SProxy a = SProxy
- module Data.Typeable
type level string literal
data Symbol :: *
(Kind) This is the kind of type-level symbols.
class KnownSymbol n
This class gives the integer associated with a type-level symbol. There are instances of the class for every concrete literal: "hello", etc.
Since: 4.7.0.0
symbolSing
symbolVal :: KnownSymbol n => proxy n -> String
Since: 4.7.0.0
Data.Typeables
module Data.Typeable