metric-0.2.0: Metric spaces.

Index

<->Data.Metric.Class, Data.Metric
Chebyshev 
1 (Type/Class)Data.Metric.Vector.Real, Data.Metric
2 (Data Constructor)Data.Metric.Vector.Real, Data.Metric
Discrete 
1 (Type/Class)Data.Metric.Set, Data.Metric
2 (Data Constructor)Data.Metric.Set, Data.Metric
distanceData.Metric.Class, Data.Metric
Euclidean 
1 (Type/Class)Data.Metric.Vector.Real, Data.Metric
2 (Data Constructor)Data.Metric.Vector.Real, Data.Metric
getChebyshevData.Metric.Vector.Real, Data.Metric
getEuclideanData.Metric.Vector.Real, Data.Metric
getHammingData.Metric.String, Data.Metric
getLevenshteinData.Metric.String, Data.Metric
getPostOfficeData.Metric.Vector.Real, Data.Metric
getRestrictedDamerauLevenshteinData.Metric.String, Data.Metric
getTaxicabData.Metric.Vector.Real, Data.Metric
Hamming 
1 (Type/Class)Data.Metric.String, Data.Metric
2 (Data Constructor)Data.Metric.String, Data.Metric
Levenshtein 
1 (Type/Class)Data.Metric.String, Data.Metric
2 (Data Constructor)Data.Metric.String, Data.Metric
MetricData.Metric.Class, Data.Metric
PostOffice 
1 (Type/Class)Data.Metric.Vector.Real, Data.Metric
2 (Data Constructor)Data.Metric.Vector.Real, Data.Metric
RestrictedDamerauLevenshtein 
1 (Type/Class)Data.Metric.String, Data.Metric
2 (Data Constructor)Data.Metric.String, Data.Metric
Taxicab 
1 (Type/Class)Data.Metric.Vector.Real, Data.Metric
2 (Data Constructor)Data.Metric.Vector.Real, Data.Metric