Safe Haskell | None |
---|
- class Distinguished t where
- e :: t
- class Distinguished r => Complicated r where
- i :: r
- class Complicated t => Hamiltonian t where
- data QuaternionBasis
- data Quaternion a = Quaternion a a a a
- complicate :: Complicated c => QuaternionBasis -> (c, c)
- vectorPart :: (Representable f, Key f ~ QuaternionBasis) => f r -> (r, r, r)
- scalarPart :: (Representable f, Key f ~ QuaternionBasis) => f r -> r
Documentation
class Distinguished t whereSource
Distinguished ComplexBasis | |
Distinguished QuaternionBasis | |
Distinguished DualBasis | |
Distinguished DualBasis' | |
Distinguished QuaternionBasis' | |
Distinguished TrigBasis | |
Rig r => Distinguished (Complex r) | |
Rig r => Distinguished (Quaternion r) | |
Rig r => Distinguished (Dual r) | |
Rig r => Distinguished (Dual' r) | |
Rig r => Distinguished (Quaternion' r) | |
Rig r => Distinguished (Trig r) | |
Rig r => Distinguished (ComplexBasis -> r) | |
Rig r => Distinguished (QuaternionBasis -> r) | |
Rig r => Distinguished (DualBasis -> r) | |
Rig r => Distinguished (DualBasis' -> r) | |
Rig r => Distinguished (QuaternionBasis' -> r) | |
Rig r => Distinguished (TrigBasis -> r) | |
Rig r => Distinguished (:->: ComplexBasis r) | |
Rig r => Distinguished (:->: QuaternionBasis r) | |
Rig r => Distinguished (:->: QuaternionBasis' r) | |
Rig r => Distinguished (:->: TrigBasis r) | |
Distinguished a => Distinguished (Covector r a) |
class Distinguished r => Complicated r whereSource
class Complicated t => Hamiltonian t whereSource
Hamiltonian QuaternionBasis | |
Hamiltonian QuaternionBasis' | |
(Complicated (Quaternion r), Rig r) => Hamiltonian (Quaternion r) | |
(Complicated (Quaternion' r), Rig r) => Hamiltonian (Quaternion' r) | |
(Complicated (QuaternionBasis -> r), Rig r) => Hamiltonian (QuaternionBasis -> r) | |
(Complicated (QuaternionBasis' -> r), Rig r) => Hamiltonian (QuaternionBasis' -> r) | |
(Complicated (:->: QuaternionBasis r), Rig r) => Hamiltonian (:->: QuaternionBasis r) | |
(Complicated (:->: QuaternionBasis' r), Rig r) => Hamiltonian (:->: QuaternionBasis' r) | |
(Complicated (Covector r a), Hamiltonian a) => Hamiltonian (Covector r a) |
data QuaternionBasis Source
data Quaternion a Source
Quaternion a a a a |
complicate :: Complicated c => QuaternionBasis -> (c, c)Source
Cayley-Dickson quaternion isomorphism (one way)
vectorPart :: (Representable f, Key f ~ QuaternionBasis) => f r -> (r, r, r)Source
scalarPart :: (Representable f, Key f ~ QuaternionBasis) => f r -> rSource