algebra-2.1.1.2: Constructive abstract algebra

Numeric.Rig.Class

Synopsis

# Documentation

class (Semiring r, Unital r, Monoidal r) => Rig r whereSource

A Ring without (n)egation

Methods

fromNatural :: Natural -> rSource

Instances

 Rig Bool Rig Int Rig Int8 Rig Int16 Rig Int32 Rig Int64 Rig Integer Rig Word Rig Word8 Rig Word16 Rig Word32 Rig Word64 Rig () Rig Natural Rig Euclidean (Commutative r, Ring r) => Rig (Complex r) (TriviallyInvolutive r, Ring r) => Rig (Quaternion r) (Commutative r, Ring r) => Rig (Dual r) (Commutative r, Rig r) => Rig (Hyper' r) (Commutative r, Rig r) => Rig (Hyper r) (Commutative r, Ring r) => Rig (Dual' r) Rig (BasisCoblade m) (TriviallyInvolutive r, Ring r) => Rig (Quaternion' r) (Commutative r, Ring r) => Rig (Trig r) (Abelian r, Monoidal r) => Rig (End r) Rig r => Rig (Opposite r) Rng r => Rig (RngRing r) (Rig a, Rig b) => Rig (a, b) (Rig r, CounitalCoalgebra r m) => Rig (Covector r m) (Rig a, Rig b, Rig c) => Rig (a, b, c) (Rig r, CounitalCoalgebra r m) => Rig (Map r b m) (Rig a, Rig b, Rig c, Rig d) => Rig (a, b, c, d) (Rig a, Rig b, Rig c, Rig d, Rig e) => Rig (a, b, c, d, e)

fromWhole :: (Whole n, Rig r) => n -> rSource