overloaded-0.1.3: Overloaded pragmas as a plugin

Safe HaskellSafe
LanguageHaskell2010

Overloaded.TypeSymbols

Description

Overloaded type-level symbols.

Synopsis

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 # 
Instance details

Defined in Overloaded.TypeSymbols

Associated Types

type FromTypeSymbol s :: a Source #