DivisibleSpace is used for free one-dimensional vector spaces. It satisfies
(a </> b) *> b = aExamples include dollars and kilometers.
Methods
(</>) :: b -> b -> ainfix 7
Modulenumeric-prelude-0.4.4Haskell98
Algebra.DivisibleSpace
- 1 class
- Packagenumeric-prelude-0.4.4
- Exports1
- LanguageHaskell98
- LicenceBSD-3-Clause
- SourceDivisibleSpace.hs