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.

Minimal complete definition

(</>)

Methods

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

Instances

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

Defined in MathObj.Wrapper.NumericPrelude

Methods

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