numeric-prelude-0.4.3.1: 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 #

    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) # 
    Instance details

    Defined in MathObj.Wrapper.NumericPrelude

    Methods

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