Safe Haskell | Safe-Infered |
---|
Numeric.Order.LocallyFinite
Documentation
class Order a => LocallyFiniteOrder a whereSource
Instances
algebra-2.0.7: Constructive abstract algebra
Safe Haskell | Safe-Infered |
---|
Numeric.Order.LocallyFinite
class Order a => LocallyFiniteOrder a whereSource
Instances