Safe Haskell | None |
---|
Documentation
type family FreeHomTrainer model algebra merge :: xSource
data AbelianGroup Source
data FreeHomTrainer' container model Source
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) |