numeric-prelude-0.0.2: An experimental alternative hierarchy of numeric type classesSource codeContentsIndex
Algebra.DivisibleSpace
Synopsis
class C a b => C a b where
(</>) :: b -> b -> a
Documentation
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
Produced by Haddock version 2.6.0