algebra-2.0: Constructive abstract algebra

Numeric.Rig.Characteristic

Documentation

charInt :: (Integral s, Bounded s) => proxy s -> NaturalSource

charWord :: (Whole s, Bounded s) => proxy s -> NaturalSource