Safe Haskell	None
Language	Haskell2010

Numeric.Algebra.Space.MSpace

Description

Provides the MSpace typeclass.

Since: 0.1

Synopsis

class (MGroup k, MSemiSpace v k) => MSpace v k | v -> k where
- (.%) :: v -> k -> v
(%.) :: MSpace v k => k -> v -> v

Documentation

class (MGroup k, MSemiSpace v k) => MSpace v k | v -> k where Source #

Defines a "multiplicative space" over an MGroup. This generalizes the notion of a Semivectorspace \(V\) over a Semifield \(K\) in that we assume no additive structure on the space itself.

Since: 0.1

Methods

(.%) :: v -> k -> v infixl 7 Source #

Since: 0.1

Instances

Instances details

MGroup k => MSpace (k, k) k Source #	Since: 0.1
Instance details Defined in Numeric.Algebra.Space.MSpace Methods (.%) :: (k, k) -> k -> (k, k) Source #
MGroup k => MSpace (k, k, k) k Source #	Since: 0.1
Instance details Defined in Numeric.Algebra.Space.MSpace Methods (.%) :: (k, k, k) -> k -> (k, k, k) Source #
MGroup k => MSpace (k, k, k, k) k Source #	Since: 0.1
Instance details Defined in Numeric.Algebra.Space.MSpace Methods (.%) :: (k, k, k, k) -> k -> (k, k, k, k) Source #
MGroup k => MSpace (k, k, k, k, k) k Source #	Since: 0.1
Instance details Defined in Numeric.Algebra.Space.MSpace Methods (.%) :: (k, k, k, k, k) -> k -> (k, k, k, k, k) Source #
MGroup k => MSpace (k, k, k, k, k, k) k Source #	Since: 0.1
Instance details Defined in Numeric.Algebra.Space.MSpace Methods (.%) :: (k, k, k, k, k, k) -> k -> (k, k, k, k, k, k) Source #
MGroup k => MSpace (k, k, k, k, k, k, k) k Source #	Since: 0.1
Instance details Defined in Numeric.Algebra.Space.MSpace Methods (.%) :: (k, k, k, k, k, k, k) -> k -> (k, k, k, k, k, k, k) Source #
MGroup k => MSpace (k, k, k, k, k, k, k, k) k Source #	Since: 0.1
Instance details Defined in Numeric.Algebra.Space.MSpace Methods (.%) :: (k, k, k, k, k, k, k, k) -> k -> (k, k, k, k, k, k, k, k) Source #
MGroup k => MSpace (k, k, k, k, k, k, k, k, k) k Source #	Since: 0.1
Instance details Defined in Numeric.Algebra.Space.MSpace Methods (.%) :: (k, k, k, k, k, k, k, k, k) -> k -> (k, k, k, k, k, k, k, k, k) Source #

(%.) :: MSpace v k => k -> v -> v infixl 7 Source #

Since: 0.1