HLearn.Algebra.Structures.MetricSpace

Metric spaces are mathematical structures that have a notion of distance between objects. See wikipedia for more information: https://en.wikipedia.org/wiki/Metric_space

Documentation

class HasRing s => MetricSpace s where

We assume that the MetricSpace on s is compatible with the ordering on s

Methods

distance :: s -> s -> Ring s

Instances

Floating r => MetricSpace (L2 [r])

class (Module m, MetricSpace m) => Norm m where

Methods

magnitude :: m -> Ring m

Instances

(Module m, MetricSpace m) => Norm m