HLearn.Algebra.Structures.Free.FreeModule

Documentation

newtype FreeModule r a

Constructors

FreeModule

Fields

getMap :: Map a r

Instances

(Eq r, Eq a) => Eq (FreeModule r a)

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

(Ord a, Read r, Read a) => Read (FreeModule r a)

(Show r, Show a) => Show (FreeModule r a)

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

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

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

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

Num r => HasRing (FreeModule r a)

(Num ring, Ord model, LameTrainer model) => HomTrainer (FreeHomTrainer' * (FreeModule ring) model)

list2module :: (Num r, Ord r, Ord a) => [a] -> FreeModule r a