| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Overloaded.TypeSymbols
Description
Overloaded type-level symbols.
Synopsis
- class FromTypeSymbolC a where
- type FromTypeSymbol (s :: Symbol) :: a
Documentation
class FromTypeSymbolC a Source #
A way to overload type level Symbols.
A symbol type-literal "example" is desugared to
FromTypeSymbol "example"
Enabled with:
{-# OPTIONS -fplugin=Overloaded -fplugin-opt=Overloaded:TypeSymbols #-}
Associated Types
type FromTypeSymbol (s :: Symbol) :: a Source #
Instances
| FromTypeSymbolC Symbol Source # | |
Defined in Overloaded.TypeSymbols Associated Types type FromTypeSymbol s :: a Source # | |