Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Synopsis
- data SymbolType symbol where
- MkSymbolType :: KnownSymbol symbol => SymbolType symbol
- data Symbol
- class KnownSymbol (n :: Symbol)
Documentation
data SymbolType symbol where Source #
MkSymbolType :: KnownSymbol symbol => SymbolType symbol |
Instances
(Kind) This is the kind of type-level symbols. Declared here because class IP needs it
Instances
class KnownSymbol (n :: Symbol) #
This class gives the string associated with a type-level symbol. There are instances of the class for every concrete literal: "hello", etc.
Since: base-4.7.0.0
symbolSing