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