constructive-algebra-0.1.6: 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

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

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