constructive-algebra-0.3.0: A library of constructive algebra.

Algebra.TypeChar.Char

Description

Type level characters. Used for representing the variable name in univariate polynomials.

Documentation

data A_ Source

Instances

Show A_ 

data B_ Source

Instances

Show B_ 

data C_ Source

Instances

Show C_ 

data D_ Source

Instances

Show D_ 

data E_ Source

Instances

Show E_ 

data F_ Source

Instances

Show F_ 

data G_ Source

Instances

Show G_ 

data H_ Source

Instances

Show H_ 

data I_ Source

Instances

Show I_ 

data J_ Source

Instances

Show J_ 

data K_ Source

Instances

Show K_ 

data L_ Source

Instances

Show L_ 

data M_ Source

Instances

Show M_ 

data N_ Source

Instances

Show N_ 

data O_ Source

Instances

Show O_ 

data P_ Source

Instances

Show P_ 

data Q_ Source

Instances

Show Q_ 

data R_ Source

Instances

Show R_ 

data S_ Source

Instances

Show S_ 

data T_ Source

Instances

Show T_ 

data U_ Source

Instances

Show U_ 

data V_ Source

Instances

Show V_ 

data W_ Source

Instances

Show W_ 

data X_ Source

Instances

Show X_ 

data Y_ Source

Instances

Show Y_ 

data Z_ Source

Instances

Show Z_ 

data A Source

Instances

data B Source

Instances

data C Source

Instances

data D Source

Instances

data E Source

Instances

data F Source

Instances

data G Source

Instances

data H Source

Instances

data I Source

Instances

data J Source

Instances

data K Source

Instances

data L Source

Instances

data M Source

Instances

data N Source

Instances

data O Source

Instances

data P Source

Instances

data Q Source

Instances

data R Source

Instances

data S Source

Instances

data T Source

Instances

data U Source

Instances

data V Source

Instances

data W Source

Instances

data X Source

Instances

data Y Source

Instances

data Z Source

Instances