{-# LANGUAGE EmptyDataDecls #-}
-- | Type level characters. Used for representing the variable name in
-- univariate polynomials.
module Algebra.TypeChar.Char where
data A_
instance Show A_ where show _ = "a"
data B_
instance Show B_ where show _ = "b"
data C_
instance Show C_ where show _ = "c"
data D_
instance Show D_ where show _ = "d"
data E_
instance Show E_ where show _ = "e"
data F_
instance Show F_ where show _ = "f"
data G_
instance Show G_ where show _ = "g"
data H_
instance Show H_ where show _ = "h"
data I_
instance Show I_ where show _ = "i"
data J_
instance Show J_ where show _ = "j"
data K_
instance Show K_ where show _ = "k"
data L_
instance Show L_ where show _ = "l"
data M_
instance Show M_ where show _ = "m"
data N_
instance Show N_ where show _ = "n"
data O_
instance Show O_ where show _ = "o"
data P_
instance Show P_ where show _ = "p"
data Q_
instance Show Q_ where show _ = "q"
data R_
instance Show R_ where show _ = "r"
data S_
instance Show S_ where show _ = "s"
data T_
instance Show T_ where show _ = "t"
data U_
instance Show U_ where show _ = "u"
data V_
instance Show V_ where show _ = "v"
data W_
instance Show W_ where show _ = "w"
data X_
instance Show X_ where show _ = "x"
data Y_
instance Show Y_ where show _ = "y"
data Z_
instance Show Z_ where show _ = "z"
data A
instance Show A where show _ = "A"
data B
instance Show B where show _ = "B"
data C
instance Show C where show _ = "C"
data D
instance Show D where show _ = "D"
data E
instance Show E where show _ = "E"
data F
instance Show F where show _ = "F"
data G
instance Show G where show _ = "G"
data H
instance Show H where show _ = "H"
data I
instance Show I where show _ = "I"
data J
instance Show J where show _ = "J"
data K
instance Show K where show _ = "K"
data L
instance Show L where show _ = "L"
data M
instance Show M where show _ = "M"
data N
instance Show N where show _ = "N"
data O
instance Show O where show _ = "O"
data P
instance Show P where show _ = "P"
data Q
instance Show Q where show _ = "Q"
data R
instance Show R where show _ = "R"
data S
instance Show S where show _ = "S"
data T
instance Show T where show _ = "T"
data U
instance Show U where show _ = "U"
data V
instance Show V where show _ = "V"
data W
instance Show W where show _ = "W"
data X
instance Show X where show _ = "X"
data Y
instance Show Y where show _ = "Y"
data Z
instance Show Z where show _ = "Z"