Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell98 |
Numeric.Order.LocallyFinite
Documentation
class Order a => LocallyFiniteOrder a where Source
Instances
algebra-4.2: Constructive abstract algebra
Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell98 |
Numeric.Order.LocallyFinite
class Order a => LocallyFiniteOrder a where Source
Instances