NumericPrelude-0.0: An experimental alternative hierarchy of numeric type classesContentsIndex
Algebra.DivisibleSpace
Synopsis
class C a b => C a b where
(</>) :: b -> b -> a
Documentation
class C a b => C a b where

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

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

Examples include dollars and kilometers.

Methods
(</>) :: b -> b -> a
Produced by Haddock version 0.7