algebra-4.3.1: Constructive abstract algebra

Safe Haskell	Safe
Language	Haskell98

Numeric.Quadrance.Class

Documentation

class Additive r => Quadrance r m where Source #

Minimal complete definition

Methods

quadrance :: m -> r Source #

Instances

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