Safe Haskell | Safe-Infered |
---|

- class Distinguished t where
- e :: t

- class Distinguished r => Complicated r where
- i :: r

- data ComplexBasis
- data Complex a = Complex a a
- realPart :: (Representable f, Key f ~ ComplexBasis) => f a -> a
- imagPart :: (Representable f, Key f ~ ComplexBasis) => f a -> a
- uncomplicate :: Hamiltonian q => ComplexBasis -> ComplexBasis -> q

# 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

Complicated ComplexBasis | |

Complicated QuaternionBasis | |

Complicated QuaternionBasis' | |

Complicated TrigBasis | |

Rig r => Complicated (Complex r) | |

Rig r => Complicated (Quaternion r) | |

Rig r => Complicated (Quaternion' r) | |

Rig r => Complicated (Trig r) | |

Rig r => Complicated (ComplexBasis -> r) | |

Rig r => Complicated (QuaternionBasis -> r) | |

Rig r => Complicated (QuaternionBasis' -> r) | |

Rig r => Complicated (TrigBasis -> r) | |

Rig r => Complicated (:->: ComplexBasis r) | |

Rig r => Complicated (:->: QuaternionBasis r) | |

Rig r => Complicated (:->: QuaternionBasis' r) | |

Rig r => Complicated (:->: TrigBasis r) | |

Complicated a => Complicated (Covector r a) |

data ComplexBasis Source

Bounded ComplexBasis | |

Enum ComplexBasis | |

Eq ComplexBasis | |

Data ComplexBasis | |

Ord ComplexBasis | |

Read ComplexBasis | |

Show ComplexBasis | |

Ix ComplexBasis | |

Typeable ComplexBasis | |

HasTrie ComplexBasis | |

Distinguished ComplexBasis | |

Complicated ComplexBasis | |

MonadReader ComplexBasis Complex | |

Rng k => Coalgebra k ComplexBasis | |

Rng k => Algebra k ComplexBasis | |

Rng k => Bialgebra k ComplexBasis | |

Rng k => CounitalCoalgebra k ComplexBasis | |

Rng k => UnitalAlgebra k ComplexBasis | |

(InvolutiveSemiring k, Rng k) => HopfAlgebra k ComplexBasis | |

(InvolutiveSemiring k, Rng k) => InvolutiveCoalgebra k ComplexBasis | |

(InvolutiveSemiring k, Rng k) => InvolutiveAlgebra k ComplexBasis | |

Rig r => Distinguished (ComplexBasis -> r) | |

Rig r => Distinguished (:->: ComplexBasis r) | |

Rig r => Complicated (ComplexBasis -> r) | |

Rig r => Complicated (:->: ComplexBasis r) |

Complex a a |

realPart :: (Representable f, Key f ~ ComplexBasis) => f a -> aSource

imagPart :: (Representable f, Key f ~ ComplexBasis) => f a -> aSource

uncomplicate :: Hamiltonian q => ComplexBasis -> ComplexBasis -> qSource

half of the Cayley-Dickson quaternion isomorphism