Safe Haskell	Safe
Language	Haskell98

Numeric.Rig.Class

Synopsis

Documentation

class (Semiring r, Unital r, Monoidal r) => Rig r where Source #

A Ring without (n)egation

Methods

fromNatural :: Natural -> r Source #

Instances

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