HLearn.Algebra.Structures.Free.FreeHomTrainer

Documentation

type family FreeHomTrainer model algebra merge :: x

data NoFlatten

data AbelianGroup

data FreeHomTrainer' container model

Instances

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

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

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

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

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

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

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

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

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

(Num ring, Ord model, LameTrainer model, Applicative container, Monoid (container model)) => HomTrainer (FreeHomTrainer' * container model)

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