algebra-3.0.1: Constructive abstract algebra

Safe HaskellNone

Numeric.Quadrance.Class

Documentation

class Additive r => Quadrance r m whereSource

Methods

quadrance :: m -> rSource

Instances

Additive () => Quadrance () a 
(Additive r, Rig r) => Quadrance r Word64 
(Additive r, Rig r) => Quadrance r Word32 
(Additive r, Rig r) => Quadrance r Word16 
(Additive r, Rig r) => Quadrance r Word8 
(Additive r, Rig r) => Quadrance r Int64 
(Additive r, Rig r) => Quadrance r Int32 
(Additive r, Rig r) => Quadrance r Int16 
(Additive r, Rig r) => Quadrance r Int8 
(Additive r, Rig r) => Quadrance r Integer 
(Additive r, Rig r) => Quadrance r Natural 
(Additive r, Rig r) => Quadrance r Word 
(Additive r, Rig r) => Quadrance r Int 
(Additive r, Rig r) => Quadrance r Bool 
(Additive r, Monoidal r) => Quadrance r () 
(Additive r, Commutative r, Rng r, InvolutiveSemiring r) => Quadrance r (Complex r) 
(Additive r, TriviallyInvolutive r, Rng r) => Quadrance r (Quaternion r) 
(Additive r, Commutative r, Rng r, InvolutiveSemiring r) => Quadrance r (Dual r) 
(Additive r, Commutative r, InvolutiveSemiring r, Rng r) => Quadrance r (Hyper' r) 
(Additive r, Commutative r, Rng r, InvolutiveSemiring r) => Quadrance r (Dual' r) 
(Additive r, TriviallyInvolutive r, Rng r) => Quadrance r (Quaternion' r) 
(Additive r, Quadrance r a, Quadrance r b) => Quadrance r (a, b) 
(Additive r, Quadrance r a, Quadrance r b, Quadrance r c) => Quadrance r (a, b, c) 
(Additive r, Quadrance r a, Quadrance r b, Quadrance r c, Quadrance r d) => Quadrance r (a, b, c, d) 
(Additive r, Quadrance r a, Quadrance r b, Quadrance r c, Quadrance r d, Quadrance r e) => Quadrance r (a, b, c, d, e)