Copyright | (c) Ivan Perez and Manuel Bärenz |
---|---|

License | See the LICENSE file in the distribution. |

Maintainer | ivan.perez@keera.co.uk |

Stability | provisional |

Portability | non-portable (GHC extensions) |

Safe Haskell | Safe |

Language | Haskell2010 |

Vector space type relation and basic instances.

# Documentation

class Num (Groundring v) => RModule v where Source #

type Groundring v Source #

zeroVector :: v Source #

(*^) :: Groundring v -> v -> v infixr 6 Source #

(^*) :: v -> Groundring v -> v Source #

negateVector :: v -> v Source #

class (Fractional (Groundring v), RModule v) => VectorSpace v where Source #

(^/) :: v -> Groundfield v -> v infixl 6 Source #

type family Groundfield v :: * Source #

type Groundfield v Source # | |

class RModule v => InnerProductSpace v where Source #

dot :: v -> v -> Groundfield v infix 6 Source #