algebra-0.9.0.1: Constructive abstract algebra

Numeric.Quadrance.Class

Documentation

class Additive r => Quadrance r m whereSource

Methods

quadrance :: m -> rSource

Instances

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