DivisibleSpace is used for free one-dimensional vector spaces. It satisfies
(a </> b) *> b = aExamples include dollars and kilometers.
Methods
(</>) :: b -> b -> ainfix 7
GHC 10.0.0.20260917 · lts/ghc-10.0.x · 8fef28d · 2026-11-02
DivisibleSpace is used for free one-dimensional vector spaces. It satisfies
(a </> b) *> b = aExamples include dollars and kilometers.
(</>) :: b -> b -> ainfix 7