numeric-prelude-0.3: An experimental alternative hierarchy of numeric type classes

Algebra.DivisibleSpace

Synopsis

class C a b => C a b whereSource

DivisibleSpace is used for free one-dimensional vector spaces. It satisfies

(a </> b) *> b = a

Examples include dollars and kilometers.

Methods

(</>) :: b -> b -> aSource

Instances