Safe Haskell | None |
---|
Modules are a generalization of vector spaces
Documentation
class Num (Ring m) => HasRing m Source
Num r => HasRing (FreeModule r a) | |
HasRing model => HasRing (Bagging' n seed model) | |
HasRing (container model) => HasRing (FreeHomTrainer' k container model) |
class (HasRing m, Abelian m, Group m) => Module m whereSource
Bug: The module classes have the constraint that r be of type Num. Technically, this should be a Ring. But creating a Ring class would be awkward because it would conflict with the Num class and require importing a different Prelude.
class (Module m, Fractional (Ring m)) => VectorSpace m whereSource
(Module m, Fractional (Ring m)) => VectorSpace m |