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

Safe HaskellNone
LanguageHaskell98

Algebra.DivisibleSpace

Synopsis

Documentation

class C a b => C a b where Source #

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

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

Examples include dollars and kilometers.

Minimal complete definition

(</>)

Methods

(</>) :: b -> b -> a infix 7 Source #

Instances

C a v => C (T a) (T v) Source # 

Methods

(</>) :: T v -> T v -> T a Source #