monoids-0.1.17: Monoids, specialized containers and a general map/reduce frameworkSource codeContentsIndex
Data.Ring.Module
Portabilitynon-portable (MPTCs)
Stabilityexperimental
Maintainerekmett@gmail.com
Description
Left- and right- modules over rings, semirings, and Seminearrings. To avoid a proliferation of classes. These only require that there be an addition and multiplication operation for the Ring
Synopsis
module Data.Ring
class (Monoid r, Multiplicative r, Monoid m) => LeftModule r m where
(*.) :: r -> m -> m
(*.) :: LeftModule r m => r -> m -> m
class (Monoid r, Multiplicative r, Monoid m) => RightModule r m where
(.*) :: m -> r -> m
(.*) :: RightModule r m => m -> r -> m
class (LeftModule r m, RightModule r m) => Module r m
Documentation
module Data.Ring
class (Monoid r, Multiplicative r, Monoid m) => LeftModule r m whereSource
 (x * y) *. m = x * (y *. m)
Methods
(*.) :: r -> m -> mSource
show/hide Instances
(LeftModule r m, Applicative f) => LeftModule r (App f m)
(LeftModule r m, Monad f) => LeftModule r (Mon f m)
(*.) :: LeftModule r m => r -> m -> mSource
class (Monoid r, Multiplicative r, Monoid m) => RightModule r m whereSource
 (m .* x) * y = m .* (x * y)
Methods
(.*) :: m -> r -> mSource
show/hide Instances
(RightModule r m, Applicative f) => RightModule r (App f m)
(RightModule r m, Monad f) => RightModule r (Mon f m)
(.*) :: RightModule r m => m -> r -> mSource
class (LeftModule r m, RightModule r m) => Module r m Source
 (x *. m) .* y = x *. (m .* y)
show/hide Instances
(Module r m, Applicative f) => Module r (App f m)
(Module r m, Monad f) => Module r (Mon f m)
Produced by Haddock version 2.4.1