Distinguished TrigBasis Source #  

Distinguished QuaternionBasis' Source #  

Distinguished DualBasis' Source #  

Distinguished QuaternionBasis Source #  

Distinguished DualBasis Source #  

Distinguished ComplexBasis Source #  

Rig r => Distinguished (Trig r) Source #  

Rig r => Distinguished (Quaternion' r) Source #  

Rig r => Distinguished (Dual' r) Source #  

Rig r => Distinguished (Quaternion r) Source #  

Rig r => Distinguished (Dual r) Source #  

Rig r => Distinguished (Complex r) Source #  

Rig r => Distinguished (TrigBasis > r) Source #  

Rig r => Distinguished (QuaternionBasis' > r) Source #  

Rig r => Distinguished (DualBasis' > r) Source #  

Rig r => Distinguished (QuaternionBasis > r) Source #  

Rig r => Distinguished (DualBasis > r) Source #  

Rig r => Distinguished (ComplexBasis > r) Source #  

Distinguished a => Distinguished (Covector r a) Source #  
