Numeric.Algebra.Quaternion.Class

Documentation

class Complicated t => Hamiltonian t where

Methods

j :: t

k :: t

Instances

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)