constructive-algebra-0.1.4: A library of constructive algebra.
Algebra.TypeChar.Char
Description
Type level characters. Used for representing the variable name in univariate polynomials.
data A_ Source
Instances
data B_ Source
data C_ Source
data D_ Source
data E_ Source
data F_ Source
data G_ Source
data H_ Source
data I_ Source
data J_ Source
data K_ Source
data L_ Source
data M_ Source
data N_ Source
data O_ Source
data P_ Source
data Q_ Source
data R_ Source
data S_ Source
data T_ Source
data U_ Source
data V_ Source
data W_ Source
data X_ Source
data Y_ Source
data Z_ Source
data A Source
data B Source
data C Source
data D Source
data E Source
data F Source
data G Source
data H Source
data I Source
data J Source
data K Source
data L Source
data M Source
data N Source
data O Source
data P Source
data Q Source
data R Source
data S Source
data T Source
data U Source
data V Source
data W Source
data X Source
data Y Source
data Z Source