| 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 |
Data.VectorSpace
Description
Vector space type relation and basic instances.
Documentation
class Num (Groundring v) => RModule v where Source #
Minimal complete definition
Associated Types
type Groundring v Source #
Methods
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 #
Methods
(^/) :: v -> Groundfield v -> v infixl 6 Source #
type family Groundfield v :: * Source #
Instances
| type Groundfield v Source # | |
class RModule v => InnerProductSpace v where Source #
Minimal complete definition
Methods
dot :: v -> v -> Groundfield v infix 6 Source #
class RModule v => NormedSpace v where Source #
Minimal complete definition
Methods
norm :: v -> Groundfield v Source #