Safe Haskell	Safe
Language	Haskell98

Numeric.Rig.Class

Synopsis

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

Documentation

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

A Ring without (n)egation

Methods

fromNatural :: Natural -> r #

Instances

Rig Bool #
Instance details Defined in Numeric.Rig.Class Methods fromNatural :: Natural -> Bool #
Rig Int #
Instance details Defined in Numeric.Rig.Class Methods fromNatural :: Natural -> Int #
Rig Int8 #
Instance details Defined in Numeric.Rig.Class Methods fromNatural :: Natural -> Int8 #
Rig Int16 #
Instance details Defined in Numeric.Rig.Class Methods fromNatural :: Natural -> Int16 #
Rig Int32 #
Instance details Defined in Numeric.Rig.Class Methods fromNatural :: Natural -> Int32 #
Rig Int64 #
Instance details Defined in Numeric.Rig.Class Methods fromNatural :: Natural -> Int64 #
Rig Integer #
Instance details Defined in Numeric.Rig.Class Methods fromNatural :: Natural -> Integer #
Rig Natural #
Instance details Defined in Numeric.Rig.Class Methods fromNatural :: Natural -> Natural #
Rig Word #
Instance details Defined in Numeric.Rig.Class Methods fromNatural :: Natural -> Word #
Rig Word8 #
Instance details Defined in Numeric.Rig.Class Methods fromNatural :: Natural -> Word8 #
Rig Word16 #
Instance details Defined in Numeric.Rig.Class Methods fromNatural :: Natural -> Word16 #
Rig Word32 #
Instance details Defined in Numeric.Rig.Class Methods fromNatural :: Natural -> Word32 #
Rig Word64 #
Instance details Defined in Numeric.Rig.Class Methods fromNatural :: Natural -> Word64 #
Rig () #
Instance details Defined in Numeric.Rig.Class Methods fromNatural :: Natural -> () #
Rig Euclidean #
Instance details Defined in Numeric.Coalgebra.Geometric Methods fromNatural :: Natural -> Euclidean #
Rng r => Rig (RngRing r) #
Instance details Defined in Numeric.Ring.Rng Methods fromNatural :: Natural -> RngRing r #
Rig r => Rig (Opposite r) #
Instance details Defined in Numeric.Ring.Opposite Methods fromNatural :: Natural -> Opposite r #
(Abelian r, Monoidal r) => Rig (End r) #
Instance details Defined in Numeric.Ring.Endomorphism Methods fromNatural :: Natural -> End r #
(Commutative r, Ring r) => Rig (Trig r) #
Instance details Defined in Numeric.Coalgebra.Trigonometric Methods fromNatural :: Natural -> Trig r #
(TriviallyInvolutive r, Ring r) => Rig (Quaternion' r) #
Instance details Defined in Numeric.Coalgebra.Quaternion Methods fromNatural :: Natural -> Quaternion' r #
(Commutative r, Rig r) => Rig (Hyper r) #
Instance details Defined in Numeric.Coalgebra.Hyperbolic Methods fromNatural :: Natural -> Hyper r #
Rig (BasisCoblade m) #
Instance details Defined in Numeric.Coalgebra.Geometric Methods fromNatural :: Natural -> BasisCoblade m #
(Commutative r, Ring r) => Rig (Dual' r) #
Instance details Defined in Numeric.Coalgebra.Dual Methods fromNatural :: Natural -> Dual' r #
(TriviallyInvolutive r, Ring r) => Rig (Quaternion r) #
Instance details Defined in Numeric.Algebra.Quaternion Methods fromNatural :: Natural -> Quaternion r #
(Commutative r, Rig r) => Rig (Hyper' r) #
Instance details Defined in Numeric.Algebra.Hyperbolic Methods fromNatural :: Natural -> Hyper' r #
(Commutative r, Ring r) => Rig (Dual r) #
Instance details Defined in Numeric.Algebra.Dual Methods fromNatural :: Natural -> Dual r #
(Commutative r, Ring r) => Rig (Complex r) #
Instance details Defined in Numeric.Algebra.Complex Methods fromNatural :: Natural -> Complex r #
GCDDomain d => Rig (Fraction d) #
Instance details Defined in Numeric.Field.Fraction Methods fromNatural :: Natural -> Fraction d #
(Rig a, Rig b) => Rig (a, b) #
Instance details Defined in Numeric.Rig.Class Methods fromNatural :: Natural -> (a, b) #
(Rig r, CounitalCoalgebra r m) => Rig (Covector r m) #
Instance details Defined in Numeric.Covector Methods fromNatural :: Natural -> Covector r m #
(Rig a, Rig b, Rig c) => Rig (a, b, c) #
Instance details Defined in Numeric.Rig.Class Methods fromNatural :: Natural -> (a, b, c) #
(Rig r, CounitalCoalgebra r m) => Rig (Map r b m) #
Instance details Defined in Numeric.Map Methods fromNatural :: Natural -> Map r b m #
(Rig a, Rig b, Rig c, Rig d) => Rig (a, b, c, d) #
Instance details Defined in Numeric.Rig.Class Methods fromNatural :: Natural -> (a, b, c, d) #
(Rig a, Rig b, Rig c, Rig d, Rig e) => Rig (a, b, c, d, e) #
Instance details Defined in Numeric.Rig.Class Methods fromNatural :: Natural -> (a, b, c, d, e) #