numeric-prelude-0.3.0.2: 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