Safe Haskell	Safe-Inferred
Language	Haskell2010

Numeric.Algebra.Space.MSemiSpace

Description

Provides the MSemiSpace typeclass.

Since: 0.1

Synopsis

class MSemigroup r => MSemiSpace m r | m -> r where
- (.*) :: m -> r -> m
(*.) :: MSemiSpace m r => r -> m -> m

Documentation

class MSemigroup r => MSemiSpace m r | m -> r where Source #

Defines a "multiplicative semi space" over an MSemigroup. This generalizes the notion of a Semimodule \(M\) over a Ring \(R\) in that we assume no additive structure on the space itself.

Since: 0.1

Methods

(.*) :: m -> r -> m infixl 7 Source #

Since: 0.1

Instances

Instances details

MSemigroup r => MSemiSpace (r, r) r Source #	Since: 0.1
Instance details Defined in Numeric.Algebra.Space.MSemiSpace Methods (.*) :: (r, r) -> r -> (r, r) Source #
MSemigroup r => MSemiSpace (r, r, r) r Source #	Since: 0.1
Instance details Defined in Numeric.Algebra.Space.MSemiSpace Methods (.*) :: (r, r, r) -> r -> (r, r, r) Source #
MSemigroup r => MSemiSpace (r, r, r, r) r Source #	Since: 0.1
Instance details Defined in Numeric.Algebra.Space.MSemiSpace Methods (.*) :: (r, r, r, r) -> r -> (r, r, r, r) Source #
MSemigroup r => MSemiSpace (r, r, r, r, r) r Source #	Since: 0.1
Instance details Defined in Numeric.Algebra.Space.MSemiSpace Methods (.*) :: (r, r, r, r, r) -> r -> (r, r, r, r, r) Source #
MSemigroup r => MSemiSpace (r, r, r, r, r, r) r Source #	Since: 0.1
Instance details Defined in Numeric.Algebra.Space.MSemiSpace Methods (.*) :: (r, r, r, r, r, r) -> r -> (r, r, r, r, r, r) Source #
MSemigroup r => MSemiSpace (r, r, r, r, r, r, r) r Source #	Since: 0.1
Instance details Defined in Numeric.Algebra.Space.MSemiSpace Methods (.*) :: (r, r, r, r, r, r, r) -> r -> (r, r, r, r, r, r, r) Source #
MSemigroup r => MSemiSpace (r, r, r, r, r, r, r, r) r Source #	Since: 0.1
Instance details Defined in Numeric.Algebra.Space.MSemiSpace Methods (.*) :: (r, r, r, r, r, r, r, r) -> r -> (r, r, r, r, r, r, r, r) Source #
MSemigroup r => MSemiSpace (r, r, r, r, r, r, r, r, r) r Source #	Since: 0.1
Instance details Defined in Numeric.Algebra.Space.MSemiSpace Methods (.*) :: (r, r, r, r, r, r, r, r, r) -> r -> (r, r, r, r, r, r, r, r, r) Source #

(*.) :: MSemiSpace m r => r -> m -> m infixl 7 Source #

Since: 0.1