Algebra.DivisibleSpace

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 infix 7

Instances

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