Complicated ComplexBasis | |
Complicated QuaternionBasis | |
Complicated QuaternionBasis' | |
Complicated TrigBasis | |
(Distinguished (Complex r), Rig r) => Complicated (Complex r) | |
(Distinguished (Quaternion r), Rig r) => Complicated (Quaternion r) | |
(Distinguished (Quaternion' r), Rig r) => Complicated (Quaternion' r) | |
(Distinguished (Trig r), Rig r) => Complicated (Trig r) | |
(Distinguished (ComplexBasis -> r), Rig r) => Complicated (ComplexBasis -> r) | |
(Distinguished (QuaternionBasis -> r), Rig r) => Complicated (QuaternionBasis -> r) | |
(Distinguished (QuaternionBasis' -> r), Rig r) => Complicated (QuaternionBasis' -> r) | |
(Distinguished (TrigBasis -> r), Rig r) => Complicated (TrigBasis -> r) | |
(Distinguished (:->: ComplexBasis r), Rig r) => Complicated (:->: ComplexBasis r) | |
(Distinguished (:->: QuaternionBasis r), Rig r) => Complicated (:->: QuaternionBasis r) | |
(Distinguished (:->: QuaternionBasis' r), Rig r) => Complicated (:->: QuaternionBasis' r) | |
(Distinguished (:->: TrigBasis r), Rig r) => Complicated (:->: TrigBasis r) | |
(Distinguished (Covector r a), Complicated a) => Complicated (Covector r a) | |