Overloaded.Symbols

Another way to desugar overloaded string literals. See FromSymbol.

Documentation

class FromSymbol (s :: Symbol) a where

Another way to desugar overloaded string literals using this class.

A string literal "example" is desugared to

fromSymbol @"example"

Enabled with:

{-# OPTIONS -fplugin=Overloaded -fplugin-opt=Overloaded:Symbols #-}

Methods

fromSymbol :: a

Instances

(KnownNat y, KnownNat m, KnownNat d, ParseDay s ~ '(y, m, d)) => FromSymbol s Day

Defined in Overloaded.Symbols

Methods

fromSymbol :: Day

(KnownSymbol s, SeqList (ToList s)) => FromSymbol s ByteString

Defined in Overloaded.Symbols

Methods

fromSymbol :: ByteString

(KnownSymbol s, SeqList (ToList s)) => FromSymbol s ByteString

Defined in Overloaded.Symbols

Methods

fromSymbol :: ByteString

KnownSymbol s => FromSymbol s Text

Defined in Overloaded.Symbols

Methods

fromSymbol :: Text

KnownSymbol s => FromSymbol s Text

Defined in Overloaded.Symbols

Methods

fromSymbol :: Text

(KnownSymbol s, a ~ Char) => FromSymbol s [a]

Defined in Overloaded.Symbols

Methods

fromSymbol :: [a]