Data.Generics.Strafunski.StrategyLib.MetricsTheme

An abstract datatype for metrics

type Metrics

type MetricName

initMetrics

initMetrics0

incMetrics

incMetrics1

putMetricLn

Metrics as monoids

Strategy combinators for metrics

typeMetric

Generic metric algorithms

depthWith