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) | |