Safe Haskell | Safe-Inferred |
---|---|

Language | Haskell98 |

# Documentation

class Hyperbolic r where Source

Hyperbolic HyperBasis' | |

Hyperbolic HyperBasis | |

Rig r => Hyperbolic (Hyper' r) | |

Rig r => Hyperbolic (Hyper r) | |

Rig r => Hyperbolic (HyperBasis' -> r) | |

Rig r => Hyperbolic (HyperBasis -> r) | |

Hyperbolic a => Hyperbolic (Covector r a) |