HLearn.Algebra.Structures.Modules

Modules are a generalization of vector spaces

Documentation

class Num (Ring m) => HasRing m

Associated Types

type Ring m

Instances

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 where

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.

Methods

(.*) :: Ring m -> m -> m

(*.) :: m -> Ring m -> m

Instances

(Num r, Ord a) => Module (FreeModule r a)

(Module model, SingI Nat n) => Module (Bagging' n seed model)

Module (container model) => Module (FreeHomTrainer' k container model)

class (Module m, Fractional (Ring m)) => VectorSpace m where

Methods

(/.) :: m -> Ring m -> m

Instances

(Module m, Fractional (Ring m)) => VectorSpace m