Data.Apiary.Compat

compatibility module for ghc-7.8 & ghc-7.6.

type level string literal

data Symbol :: *

(Kind) This is the kind of type-level symbols.

Instances

HasDesc (Proxy Symbol)

type (==) Symbol a b = EqSymbol a b

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

Minimal complete definition

symbolSing

symbolVal :: KnownSymbol n => proxy n -> String

Since: 4.7.0.0

data SProxy a

Symbol Proxy for ghc-7.6 Template Haskell.

Constructors

SProxy

Instances

HasDesc SProxy

Data.Typeables

module Data.Typeable