algebra-4.2: Constructive abstract algebra
Numeric.Order.LocallyFinite
class Order a => LocallyFiniteOrder a where Source
Minimal complete definition
range, rangeSize
Methods
range :: a -> a -> [a] Source
rangeSize :: a -> a -> Natural Source
moebiusInversion :: Ring r => a -> a -> r Source
Instances