Language.Distance.Internal

This module lets you tamper with Distance - in other words you can give it whatever phantom type since the constructor is exported.

The only use for this module is to construct new Distance data when writing EditDistance instances, but be careful not to change the phantom type of existing Distances!

Documentation

newtype Distance algo

Constructors

Distance

Fields

getDistance :: Int

Instances

Eq (Distance algo)

Eq (Distance algo) => Ord (Distance algo)

Show (Distance algo)