HLearn.Algebra.Morphism

Documentation

class Morphism domain params codomain | params -> codomain where

Methods

morph' :: domain -> params -> codomain

($>) :: domain -> params -> codomain

(<.>) :: params -> domain -> codomain

Instances

(Morphism domain params1 interdomain, Morphism interdomain params2 codomain) => Morphism domain (MorphismComposition domain params1 interdomain params2 codomain) codomain

data (Morphism domain params1 interdomain, Morphism interdomain params2 codomain) => MorphismComposition domain params1 interdomain params2 codomain

Constructors

:. params2 params1

Instances

(Morphism domain (MorphismComposition domain params1 interdomain params2 codomain) codomain, Homomorphism domain params1 interdomain, Homomorphism interdomain params2 codomain) => Homomorphism domain (MorphismComposition domain params1 interdomain params2 codomain) codomain

(Morphism domain (MorphismComposition domain params1 interdomain params2 codomain) codomain, Injective domain params1 interdomain, Injective interdomain params2 codomain) => Injective domain (MorphismComposition domain params1 interdomain params2 codomain) codomain

(Morphism domain (MorphismComposition domain params1 interdomain params2 codomain) codomain, Surjective domain params1 interdomain, Surjective interdomain params2 codomain) => Surjective domain (MorphismComposition domain params1 interdomain params2 codomain) codomain

(Morphism domain params1 interdomain, Morphism interdomain params2 codomain) => Morphism domain (MorphismComposition domain params1 interdomain params2 codomain) codomain

(FunctorConstraint container model, FunctorConstraint container datapoint, FoldableConstraint container model, Foldable container, Functor container, Model (MorphismComposition (container datapoint) params1 interdomain params2 codomain) codomain, HomTrainer params1 datapoint interdomain, Morphism (container datapoint) params1 interdomain, Morphism interdomain params2 codomain, Monoid codomain, Semigroup codomain, Model (MorphismComposition domain params1 interdomain params2 codomain) codomain) => HomTrainer (MorphismComposition (container datapoint) params1 interdomain params2 codomain) datapoint codomain

class Morphism domain params codomain => DefaultMorphism domain params codomain | domain codomain -> params where

Methods

defMorphParams :: domain -> codomain -> params

morph :: domain -> codomain