algebra-3.1: Constructive abstract algebra

Safe Haskell | None

Numeric.Quadrance.Class

# Documentation

class Additive r => Quadrance r m where Source

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) |