dunai-0.1.1.0: Generalised reactive framework supporting classic, arrowized and monadic FRP.

Copyright(c) Ivan Perez and Manuel Bärenz
LicenseSee the LICENSE file in the distribution.
Maintainerivan.perez@keera.co.uk
Stabilityprovisional
Portabilitynon-portable (GHC extensions)
Safe HaskellSafe
LanguageHaskell2010

Data.VectorSpace

Description

Vector space type relation and basic instances.

Documentation

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

Minimal complete definition

zeroVector, (^+^)

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 #

(^+^) :: v -> v -> v infixl 5 Source #

(^-^) :: v -> v -> v infixl 5 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

class RModule v => InnerProductSpace v where Source #

Minimal complete definition

dot

Methods

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

class RModule v => NormedSpace v where Source #

Minimal complete definition

norm

Methods

norm :: v -> Groundfield v Source #