Safe Haskell	Safe
Language	Haskell98

Numeric.Coalgebra.Quaternion

Synopsis

class Distinguished t where
class Distinguished r => Complicated r where
class Complicated t => Hamiltonian t where
data QuaternionBasis'
- = E'
- | I'
- | J'
- | K'
data Quaternion' a = Quaternion' a a a a
complicate' :: Complicated c => QuaternionBasis' -> (c, c)
vectorPart' :: (Representable f, Rep f ~ QuaternionBasis') => f r -> (r, r, r)
scalarPart' :: (Representable f, Rep f ~ QuaternionBasis') => f r -> r

Documentation

class Distinguished t where #

Minimal complete definition

e

Methods

e :: t #

Instances

Distinguished TrigBasis #
Instance details Defined in Numeric.Coalgebra.Trigonometric Methods e :: TrigBasis #
Distinguished QuaternionBasis' #
Instance details Defined in Numeric.Coalgebra.Quaternion Methods e :: QuaternionBasis' #
Distinguished DualBasis' #
Instance details Defined in Numeric.Coalgebra.Dual Methods e :: DualBasis' #
Distinguished QuaternionBasis #
Instance details Defined in Numeric.Algebra.Quaternion Methods e :: QuaternionBasis #
Distinguished DualBasis #
Instance details Defined in Numeric.Algebra.Dual Methods e :: DualBasis #
Distinguished ComplexBasis #
Instance details Defined in Numeric.Algebra.Complex Methods e :: ComplexBasis #
Rig r => Distinguished (Trig r) #
Instance details Defined in Numeric.Coalgebra.Trigonometric Methods e :: Trig r #
Rig r => Distinguished (Quaternion' r) #
Instance details Defined in Numeric.Coalgebra.Quaternion Methods e :: Quaternion' r #
Rig r => Distinguished (Dual' r) #
Instance details Defined in Numeric.Coalgebra.Dual Methods e :: Dual' r #
Rig r => Distinguished (Quaternion r) #
Instance details Defined in Numeric.Algebra.Quaternion Methods e :: Quaternion r #
Rig r => Distinguished (Dual r) #
Instance details Defined in Numeric.Algebra.Dual Methods e :: Dual r #
Rig r => Distinguished (Complex r) #
Instance details Defined in Numeric.Algebra.Complex Methods e :: Complex r #
Rig r => Distinguished (TrigBasis -> r) #
Instance details Defined in Numeric.Coalgebra.Trigonometric Methods e :: TrigBasis -> r #
Rig r => Distinguished (QuaternionBasis' -> r) #
Instance details Defined in Numeric.Coalgebra.Quaternion Methods e :: QuaternionBasis' -> r #
Rig r => Distinguished (DualBasis' -> r) #
Instance details Defined in Numeric.Coalgebra.Dual Methods e :: DualBasis' -> r #
Rig r => Distinguished (QuaternionBasis -> r) #
Instance details Defined in Numeric.Algebra.Quaternion Methods e :: QuaternionBasis -> r #
Rig r => Distinguished (DualBasis -> r) #
Instance details Defined in Numeric.Algebra.Dual Methods e :: DualBasis -> r #
Rig r => Distinguished (ComplexBasis -> r) #
Instance details Defined in Numeric.Algebra.Complex Methods e :: ComplexBasis -> r #
Distinguished a => Distinguished (Covector r a) #
Instance details Defined in Numeric.Algebra.Distinguished.Class Methods e :: Covector r a #

class Distinguished r => Complicated r where #

Minimal complete definition

i

Methods

i :: r #

Instances

Complicated TrigBasis #
Instance details Defined in Numeric.Coalgebra.Trigonometric Methods i :: TrigBasis #
Complicated QuaternionBasis' #
Instance details Defined in Numeric.Coalgebra.Quaternion Methods i :: QuaternionBasis' #
Complicated QuaternionBasis #
Instance details Defined in Numeric.Algebra.Quaternion Methods i :: QuaternionBasis #
Complicated ComplexBasis #
Instance details Defined in Numeric.Algebra.Complex Methods i :: ComplexBasis #
Rig r => Complicated (Trig r) #
Instance details Defined in Numeric.Coalgebra.Trigonometric Methods i :: Trig r #
Rig r => Complicated (Quaternion' r) #
Instance details Defined in Numeric.Coalgebra.Quaternion Methods i :: Quaternion' r #
Rig r => Complicated (Quaternion r) #
Instance details Defined in Numeric.Algebra.Quaternion Methods i :: Quaternion r #
Rig r => Complicated (Complex r) #
Instance details Defined in Numeric.Algebra.Complex Methods i :: Complex r #
Rig r => Complicated (TrigBasis -> r) #
Instance details Defined in Numeric.Coalgebra.Trigonometric Methods i :: TrigBasis -> r #
Rig r => Complicated (QuaternionBasis' -> r) #
Instance details Defined in Numeric.Coalgebra.Quaternion Methods i :: QuaternionBasis' -> r #
Rig r => Complicated (QuaternionBasis -> r) #
Instance details Defined in Numeric.Algebra.Quaternion Methods i :: QuaternionBasis -> r #
Rig r => Complicated (ComplexBasis -> r) #
Instance details Defined in Numeric.Algebra.Complex Methods i :: ComplexBasis -> r #
Complicated a => Complicated (Covector r a) #
Instance details Defined in Numeric.Algebra.Complex.Class Methods i :: Covector r a #

class Complicated t => Hamiltonian t where #

Minimal complete definition

j, k

Methods

j :: t #

k :: t #

Instances

Hamiltonian QuaternionBasis' #
Instance details Defined in Numeric.Coalgebra.Quaternion Methods j :: QuaternionBasis' # k :: QuaternionBasis' #
Hamiltonian QuaternionBasis #
Instance details Defined in Numeric.Algebra.Quaternion Methods j :: QuaternionBasis # k :: QuaternionBasis #
Rig r => Hamiltonian (Quaternion' r) #
Instance details Defined in Numeric.Coalgebra.Quaternion Methods j :: Quaternion' r # k :: Quaternion' r #
Rig r => Hamiltonian (Quaternion r) #
Instance details Defined in Numeric.Algebra.Quaternion Methods j :: Quaternion r # k :: Quaternion r #
Rig r => Hamiltonian (QuaternionBasis' -> r) #
Instance details Defined in Numeric.Coalgebra.Quaternion Methods j :: QuaternionBasis' -> r # k :: QuaternionBasis' -> r #
Rig r => Hamiltonian (QuaternionBasis -> r) #
Instance details Defined in Numeric.Algebra.Quaternion Methods j :: QuaternionBasis -> r # k :: QuaternionBasis -> r #
Hamiltonian a => Hamiltonian (Covector r a) #
Instance details Defined in Numeric.Algebra.Quaternion.Class Methods j :: Covector r a # k :: Covector r a #

data QuaternionBasis' #

Constructors

E'
I'
J'
K'

Instances

Bounded QuaternionBasis' #
Instance details Defined in Numeric.Coalgebra.Quaternion Methods minBound :: QuaternionBasis' # maxBound :: QuaternionBasis' #
Enum QuaternionBasis' #
Instance details Defined in Numeric.Coalgebra.Quaternion Methods succ :: QuaternionBasis' -> QuaternionBasis' # pred :: QuaternionBasis' -> QuaternionBasis' # toEnum :: Int -> QuaternionBasis' # fromEnum :: QuaternionBasis' -> Int # enumFrom :: QuaternionBasis' -> [QuaternionBasis'] # enumFromThen :: QuaternionBasis' -> QuaternionBasis' -> [QuaternionBasis'] # enumFromTo :: QuaternionBasis' -> QuaternionBasis' -> [QuaternionBasis'] # enumFromThenTo :: QuaternionBasis' -> QuaternionBasis' -> QuaternionBasis' -> [QuaternionBasis'] #
Eq QuaternionBasis' #
Instance details Defined in Numeric.Coalgebra.Quaternion Methods (==) :: QuaternionBasis' -> QuaternionBasis' -> Bool # (/=) :: QuaternionBasis' -> QuaternionBasis' -> Bool #
Data QuaternionBasis' #
Instance details Defined in Numeric.Coalgebra.Quaternion Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> QuaternionBasis' -> c QuaternionBasis' # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c QuaternionBasis' # toConstr :: QuaternionBasis' -> Constr # dataTypeOf :: QuaternionBasis' -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c QuaternionBasis') # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c QuaternionBasis') # gmapT :: (forall b. Data b => b -> b) -> QuaternionBasis' -> QuaternionBasis' # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> QuaternionBasis' -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> QuaternionBasis' -> r # gmapQ :: (forall d. Data d => d -> u) -> QuaternionBasis' -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> QuaternionBasis' -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> QuaternionBasis' -> m QuaternionBasis' # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> QuaternionBasis' -> m QuaternionBasis' # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> QuaternionBasis' -> m QuaternionBasis' #
Ord QuaternionBasis' #
Instance details Defined in Numeric.Coalgebra.Quaternion Methods compare :: QuaternionBasis' -> QuaternionBasis' -> Ordering # (<) :: QuaternionBasis' -> QuaternionBasis' -> Bool # (<=) :: QuaternionBasis' -> QuaternionBasis' -> Bool # (>) :: QuaternionBasis' -> QuaternionBasis' -> Bool # (>=) :: QuaternionBasis' -> QuaternionBasis' -> Bool # max :: QuaternionBasis' -> QuaternionBasis' -> QuaternionBasis' # min :: QuaternionBasis' -> QuaternionBasis' -> QuaternionBasis' #
Read QuaternionBasis' #
Instance details Defined in Numeric.Coalgebra.Quaternion Methods readsPrec :: Int -> ReadS QuaternionBasis' # readList :: ReadS [QuaternionBasis'] # readPrec :: ReadPrec QuaternionBasis' # readListPrec :: ReadPrec [QuaternionBasis'] #
Show QuaternionBasis' #
Instance details Defined in Numeric.Coalgebra.Quaternion Methods showsPrec :: Int -> QuaternionBasis' -> ShowS # show :: QuaternionBasis' -> String # showList :: [QuaternionBasis'] -> ShowS #
Ix QuaternionBasis' #
Instance details Defined in Numeric.Coalgebra.Quaternion Methods range :: (QuaternionBasis', QuaternionBasis') -> [QuaternionBasis'] # index :: (QuaternionBasis', QuaternionBasis') -> QuaternionBasis' -> Int # unsafeIndex :: (QuaternionBasis', QuaternionBasis') -> QuaternionBasis' -> Int inRange :: (QuaternionBasis', QuaternionBasis') -> QuaternionBasis' -> Bool # rangeSize :: (QuaternionBasis', QuaternionBasis') -> Int # unsafeRangeSize :: (QuaternionBasis', QuaternionBasis') -> Int
Distinguished QuaternionBasis' #
Instance details Defined in Numeric.Coalgebra.Quaternion Methods e :: QuaternionBasis' #
Complicated QuaternionBasis' #
Instance details Defined in Numeric.Coalgebra.Quaternion Methods i :: QuaternionBasis' #
Hamiltonian QuaternionBasis' #
Instance details Defined in Numeric.Coalgebra.Quaternion Methods j :: QuaternionBasis' # k :: QuaternionBasis' #
MonadReader QuaternionBasis' Quaternion' #
Instance details Defined in Numeric.Coalgebra.Quaternion Methods ask :: Quaternion' QuaternionBasis' # local :: (QuaternionBasis' -> QuaternionBasis') -> Quaternion' a -> Quaternion' a # reader :: (QuaternionBasis' -> a) -> Quaternion' a #
(TriviallyInvolutive r, Rng r) => Coalgebra r QuaternionBasis' #	dual quaternion comultiplication
Instance details Defined in Numeric.Coalgebra.Quaternion Methods comult :: (QuaternionBasis' -> r) -> QuaternionBasis' -> QuaternionBasis' -> r #
(TriviallyInvolutive r, Semiring r) => Algebra r QuaternionBasis' #	the trivial diagonal algebra
Instance details Defined in Numeric.Coalgebra.Quaternion Methods mult :: (QuaternionBasis' -> QuaternionBasis' -> r) -> QuaternionBasis' -> r #
(TriviallyInvolutive r, Rng r) => Bialgebra r QuaternionBasis' #
Instance details Defined in Numeric.Coalgebra.Quaternion
(TriviallyInvolutive r, Rng r) => CounitalCoalgebra r QuaternionBasis' #
Instance details Defined in Numeric.Coalgebra.Quaternion Methods counit :: (QuaternionBasis' -> r) -> r #
(TriviallyInvolutive r, Semiring r) => UnitalAlgebra r QuaternionBasis' #
Instance details Defined in Numeric.Coalgebra.Quaternion Methods unit :: r -> QuaternionBasis' -> r #
(TriviallyInvolutive r, InvolutiveSemiring r, Rng r) => HopfAlgebra r QuaternionBasis' #
Instance details Defined in Numeric.Coalgebra.Quaternion Methods antipode :: (QuaternionBasis' -> r) -> QuaternionBasis' -> r #
(TriviallyInvolutive r, InvolutiveSemiring r, Rng r) => InvolutiveCoalgebra r QuaternionBasis' #
Instance details Defined in Numeric.Coalgebra.Quaternion Methods coinv :: (QuaternionBasis' -> r) -> QuaternionBasis' -> r #
(TriviallyInvolutive r, InvolutiveSemiring r, Rng r) => InvolutiveAlgebra r QuaternionBasis' #
Instance details Defined in Numeric.Coalgebra.Quaternion Methods inv :: (QuaternionBasis' -> r) -> QuaternionBasis' -> r #
Rig r => Distinguished (QuaternionBasis' -> r) #
Instance details Defined in Numeric.Coalgebra.Quaternion Methods e :: QuaternionBasis' -> r #
Rig r => Complicated (QuaternionBasis' -> r) #
Instance details Defined in Numeric.Coalgebra.Quaternion Methods i :: QuaternionBasis' -> r #
Rig r => Hamiltonian (QuaternionBasis' -> r) #
Instance details Defined in Numeric.Coalgebra.Quaternion Methods j :: QuaternionBasis' -> r # k :: QuaternionBasis' -> r #

data Quaternion' a #

Constructors

Quaternion' a a a a

Instances

Monad Quaternion' #
Instance details Defined in Numeric.Coalgebra.Quaternion Methods (>>=) :: Quaternion' a -> (a -> Quaternion' b) -> Quaternion' b # (>>) :: Quaternion' a -> Quaternion' b -> Quaternion' b # return :: a -> Quaternion' a # fail :: String -> Quaternion' a #
Functor Quaternion' #
Instance details Defined in Numeric.Coalgebra.Quaternion Methods fmap :: (a -> b) -> Quaternion' a -> Quaternion' b # (<$) :: a -> Quaternion' b -> Quaternion' a #
Applicative Quaternion' #
Instance details Defined in Numeric.Coalgebra.Quaternion Methods pure :: a -> Quaternion' a # (<>) :: Quaternion' (a -> b) -> Quaternion' a -> Quaternion' b # liftA2 :: (a -> b -> c) -> Quaternion' a -> Quaternion' b -> Quaternion' c # (>) :: Quaternion' a -> Quaternion' b -> Quaternion' b # (<*) :: Quaternion' a -> Quaternion' b -> Quaternion' a #
Foldable Quaternion' #
Instance details Defined in Numeric.Coalgebra.Quaternion Methods fold :: Monoid m => Quaternion' m -> m # foldMap :: Monoid m => (a -> m) -> Quaternion' a -> m # foldr :: (a -> b -> b) -> b -> Quaternion' a -> b # foldr' :: (a -> b -> b) -> b -> Quaternion' a -> b # foldl :: (b -> a -> b) -> b -> Quaternion' a -> b # foldl' :: (b -> a -> b) -> b -> Quaternion' a -> b # foldr1 :: (a -> a -> a) -> Quaternion' a -> a # foldl1 :: (a -> a -> a) -> Quaternion' a -> a # toList :: Quaternion' a -> [a] # null :: Quaternion' a -> Bool # length :: Quaternion' a -> Int # elem :: Eq a => a -> Quaternion' a -> Bool # maximum :: Ord a => Quaternion' a -> a # minimum :: Ord a => Quaternion' a -> a # sum :: Num a => Quaternion' a -> a # product :: Num a => Quaternion' a -> a #
Traversable Quaternion' #
Instance details Defined in Numeric.Coalgebra.Quaternion Methods traverse :: Applicative f => (a -> f b) -> Quaternion' a -> f (Quaternion' b) # sequenceA :: Applicative f => Quaternion' (f a) -> f (Quaternion' a) # mapM :: Monad m => (a -> m b) -> Quaternion' a -> m (Quaternion' b) # sequence :: Monad m => Quaternion' (m a) -> m (Quaternion' a) #
Distributive Quaternion' #
Instance details Defined in Numeric.Coalgebra.Quaternion Methods distribute :: Functor f => f (Quaternion' a) -> Quaternion' (f a) # collect :: Functor f => (a -> Quaternion' b) -> f a -> Quaternion' (f b) # distributeM :: Monad m => m (Quaternion' a) -> Quaternion' (m a) # collectM :: Monad m => (a -> Quaternion' b) -> m a -> Quaternion' (m b) #
Representable Quaternion' #
Instance details Defined in Numeric.Coalgebra.Quaternion Associated Types type Rep Quaternion' :: * # Methods tabulate :: (Rep Quaternion' -> a) -> Quaternion' a # index :: Quaternion' a -> Rep Quaternion' -> a #
Traversable1 Quaternion' #
Instance details Defined in Numeric.Coalgebra.Quaternion Methods traverse1 :: Apply f => (a -> f b) -> Quaternion' a -> f (Quaternion' b) # sequence1 :: Apply f => Quaternion' (f b) -> f (Quaternion' b) #
Foldable1 Quaternion' #
Instance details Defined in Numeric.Coalgebra.Quaternion Methods fold1 :: Semigroup m => Quaternion' m -> m # foldMap1 :: Semigroup m => (a -> m) -> Quaternion' a -> m # toNonEmpty :: Quaternion' a -> NonEmpty a #
Apply Quaternion' #
Instance details Defined in Numeric.Coalgebra.Quaternion Methods (<.>) :: Quaternion' (a -> b) -> Quaternion' a -> Quaternion' b # (.>) :: Quaternion' a -> Quaternion' b -> Quaternion' b # (<.) :: Quaternion' a -> Quaternion' b -> Quaternion' a # liftF2 :: (a -> b -> c) -> Quaternion' a -> Quaternion' b -> Quaternion' c #
Bind Quaternion' #
Instance details Defined in Numeric.Coalgebra.Quaternion Methods (>>-) :: Quaternion' a -> (a -> Quaternion' b) -> Quaternion' b # join :: Quaternion' (Quaternion' a) -> Quaternion' a #
MonadReader QuaternionBasis' Quaternion' #
Instance details Defined in Numeric.Coalgebra.Quaternion Methods ask :: Quaternion' QuaternionBasis' # local :: (QuaternionBasis' -> QuaternionBasis') -> Quaternion' a -> Quaternion' a # reader :: (QuaternionBasis' -> a) -> Quaternion' a #
RightModule r s => RightModule r (Quaternion' s) #
Instance details Defined in Numeric.Coalgebra.Quaternion Methods (*.) :: Quaternion' s -> r -> Quaternion' s #
LeftModule r s => LeftModule r (Quaternion' s) #
Instance details Defined in Numeric.Coalgebra.Quaternion Methods (.*) :: r -> Quaternion' s -> Quaternion' s #
(TriviallyInvolutive r, Rng r) => Quadrance r (Quaternion' r) #
Instance details Defined in Numeric.Coalgebra.Quaternion Methods quadrance :: Quaternion' r -> r #
Eq a => Eq (Quaternion' a) #
Instance details Defined in Numeric.Coalgebra.Quaternion Methods (==) :: Quaternion' a -> Quaternion' a -> Bool # (/=) :: Quaternion' a -> Quaternion' a -> Bool #
Data a => Data (Quaternion' a) #
Instance details Defined in Numeric.Coalgebra.Quaternion Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Quaternion' a -> c (Quaternion' a) # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (Quaternion' a) # toConstr :: Quaternion' a -> Constr # dataTypeOf :: Quaternion' a -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (Quaternion' a)) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (Quaternion' a)) # gmapT :: (forall b. Data b => b -> b) -> Quaternion' a -> Quaternion' a # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Quaternion' a -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Quaternion' a -> r # gmapQ :: (forall d. Data d => d -> u) -> Quaternion' a -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Quaternion' a -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Quaternion' a -> m (Quaternion' a) # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Quaternion' a -> m (Quaternion' a) # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Quaternion' a -> m (Quaternion' a) #
Read a => Read (Quaternion' a) #
Instance details Defined in Numeric.Coalgebra.Quaternion Methods readsPrec :: Int -> ReadS (Quaternion' a) # readList :: ReadS [Quaternion' a] # readPrec :: ReadPrec (Quaternion' a) # readListPrec :: ReadPrec [Quaternion' a] #
Show a => Show (Quaternion' a) #
Instance details Defined in Numeric.Coalgebra.Quaternion Methods showsPrec :: Int -> Quaternion' a -> ShowS # show :: Quaternion' a -> String # showList :: [Quaternion' a] -> ShowS #
Idempotent r => Idempotent (Quaternion' r) #
Instance details Defined in Numeric.Coalgebra.Quaternion
Abelian r => Abelian (Quaternion' r) #
Instance details Defined in Numeric.Coalgebra.Quaternion
Partitionable r => Partitionable (Quaternion' r) #
Instance details Defined in Numeric.Coalgebra.Quaternion Methods partitionWith :: (Quaternion' r -> Quaternion' r -> r0) -> Quaternion' r -> NonEmpty r0 #
Additive r => Additive (Quaternion' r) #
Instance details Defined in Numeric.Coalgebra.Quaternion Methods (+) :: Quaternion' r -> Quaternion' r -> Quaternion' r # sinnum1p :: Natural -> Quaternion' r -> Quaternion' r # sumWith1 :: Foldable1 f => (a -> Quaternion' r) -> f a -> Quaternion' r #
Monoidal r => Monoidal (Quaternion' r) #
Instance details Defined in Numeric.Coalgebra.Quaternion Methods zero :: Quaternion' r # sinnum :: Natural -> Quaternion' r -> Quaternion' r # sumWith :: Foldable f => (a -> Quaternion' r) -> f a -> Quaternion' r #
(TriviallyInvolutive r, Semiring r) => Semiring (Quaternion' r) #
Instance details Defined in Numeric.Coalgebra.Quaternion
(TriviallyInvolutive r, Semiring r) => Multiplicative (Quaternion' r) #
Instance details Defined in Numeric.Coalgebra.Quaternion Methods (*) :: Quaternion' r -> Quaternion' r -> Quaternion' r # pow1p :: Quaternion' r -> Natural -> Quaternion' r # productWith1 :: Foldable1 f => (a -> Quaternion' r) -> f a -> Quaternion' r #
Group r => Group (Quaternion' r) #
Instance details Defined in Numeric.Coalgebra.Quaternion Methods (-) :: Quaternion' r -> Quaternion' r -> Quaternion' r # negate :: Quaternion' r -> Quaternion' r # subtract :: Quaternion' r -> Quaternion' r -> Quaternion' r # times :: Integral n => n -> Quaternion' r -> Quaternion' r #
(TriviallyInvolutive r, Ring r) => Unital (Quaternion' r) #
Instance details Defined in Numeric.Coalgebra.Quaternion Methods one :: Quaternion' r # pow :: Quaternion' r -> Natural -> Quaternion' r # productWith :: Foldable f => (a -> Quaternion' r) -> f a -> Quaternion' r #
(TriviallyInvolutive r, Ring r, Division r) => Division (Quaternion' r) #
Instance details Defined in Numeric.Coalgebra.Quaternion Methods recip :: Quaternion' r -> Quaternion' r # (/) :: Quaternion' r -> Quaternion' r -> Quaternion' r # (\\) :: Quaternion' r -> Quaternion' r -> Quaternion' r # (^) :: Integral n => Quaternion' r -> n -> Quaternion' r #
(TriviallyInvolutive r, Rng r) => InvolutiveMultiplication (Quaternion' r) #
Instance details Defined in Numeric.Coalgebra.Quaternion Methods adjoint :: Quaternion' r -> Quaternion' r #
(TriviallyInvolutive r, Ring r) => Rig (Quaternion' r) #
Instance details Defined in Numeric.Coalgebra.Quaternion Methods fromNatural :: Natural -> Quaternion' r #
(TriviallyInvolutive r, Ring r) => Ring (Quaternion' r) #
Instance details Defined in Numeric.Coalgebra.Quaternion Methods fromInteger :: Integer -> Quaternion' r #
Rig r => Distinguished (Quaternion' r) #
Instance details Defined in Numeric.Coalgebra.Quaternion Methods e :: Quaternion' r #
Rig r => Complicated (Quaternion' r) #
Instance details Defined in Numeric.Coalgebra.Quaternion Methods i :: Quaternion' r #
Rig r => Hamiltonian (Quaternion' r) #
Instance details Defined in Numeric.Coalgebra.Quaternion Methods j :: Quaternion' r # k :: Quaternion' r #
(TriviallyInvolutive r, Rng r) => RightModule (Quaternion' r) (Quaternion' r) #
Instance details Defined in Numeric.Coalgebra.Quaternion Methods (*.) :: Quaternion' r -> Quaternion' r -> Quaternion' r #
(TriviallyInvolutive r, Rng r) => LeftModule (Quaternion' r) (Quaternion' r) #
Instance details Defined in Numeric.Coalgebra.Quaternion Methods (.*) :: Quaternion' r -> Quaternion' r -> Quaternion' r #
type Rep Quaternion' #
Instance details Defined in Numeric.Coalgebra.Quaternion type Rep Quaternion' = QuaternionBasis'

complicate' :: Complicated c => QuaternionBasis' -> (c, c) #

Cayley-Dickson quaternion isomorphism (one way)

vectorPart' :: (Representable f, Rep f ~ QuaternionBasis') => f r -> (r, r, r) #

scalarPart' :: (Representable f, Rep f ~ QuaternionBasis') => f r -> r #