numeric-prelude-0.4.4: An experimental alternative hierarchy of numeric type classes
Safe HaskellNone
LanguageHaskell98

Algebra.DivisibleSpace

Synopsis
  • class C a b => C a b where

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.

Methods

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

Instances

Instances details
C a v => C (T a) (T v) Source # 
Instance details

Defined in MathObj.Wrapper.NumericPrelude

Methods

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