algebra-4.3.1: Constructive abstract algebra

Safe HaskellSafe
LanguageHaskell98

Numeric.Quadrance.Class

Documentation

class Additive r => Quadrance r m where #

Minimal complete definition

quadrance

Methods

quadrance :: m -> r #

Instances

Quadrance () a # 

Methods

quadrance :: a -> () #

Rig r => Quadrance r Word64 # 

Methods

quadrance :: Word64 -> r #

Rig r => Quadrance r Word32 # 

Methods

quadrance :: Word32 -> r #

Rig r => Quadrance r Word16 # 

Methods

quadrance :: Word16 -> r #

Rig r => Quadrance r Word8 # 

Methods

quadrance :: Word8 -> r #

Rig r => Quadrance r Int64 # 

Methods

quadrance :: Int64 -> r #

Rig r => Quadrance r Int32 # 

Methods

quadrance :: Int32 -> r #

Rig r => Quadrance r Int16 # 

Methods

quadrance :: Int16 -> r #

Rig r => Quadrance r Int8 # 

Methods

quadrance :: Int8 -> r #

Rig r => Quadrance r Integer # 

Methods

quadrance :: Integer -> r #

Rig r => Quadrance r Natural # 

Methods

quadrance :: Natural -> r #

Rig r => Quadrance r Word # 

Methods

quadrance :: Word -> r #

Rig r => Quadrance r Int # 

Methods

quadrance :: Int -> r #

Rig r => Quadrance r Bool # 

Methods

quadrance :: Bool -> r #

(Additive r, Monoidal r) => Quadrance r () # 

Methods

quadrance :: () -> r #

(TriviallyInvolutive r, Rng r) => Quadrance r (Quaternion' r) # 

Methods

quadrance :: Quaternion' r -> r #

(Commutative r, Rng r, InvolutiveSemiring r) => Quadrance r (Dual' r) # 

Methods

quadrance :: Dual' r -> r #

(TriviallyInvolutive r, Rng r) => Quadrance r (Quaternion r) # 

Methods

quadrance :: Quaternion r -> r #

(Commutative r, InvolutiveSemiring r, Rng r) => Quadrance r (Hyper' r) # 

Methods

quadrance :: Hyper' r -> r #

(Commutative r, Rng r, InvolutiveSemiring r) => Quadrance r (Dual r) # 

Methods

quadrance :: Dual r -> r #

(Commutative r, Rng r, InvolutiveSemiring r) => Quadrance r (Complex r) # 

Methods

quadrance :: Complex r -> r #

(Quadrance r a, Quadrance r b) => Quadrance r (a, b) # 

Methods

quadrance :: (a, b) -> r #

(Quadrance r a, Quadrance r b, Quadrance r c) => Quadrance r (a, b, c) # 

Methods

quadrance :: (a, b, c) -> r #

(Quadrance r a, Quadrance r b, Quadrance r c, Quadrance r d) => Quadrance r (a, b, c, d) # 

Methods

quadrance :: (a, b, c, d) -> r #

(Quadrance r a, Quadrance r b, Quadrance r c, Quadrance r d, Quadrance r e) => Quadrance r (a, b, c, d, e) # 

Methods

quadrance :: (a, b, c, d, e) -> r #