algebra-4.1: Constructive abstract algebra

Numeric.Order.LocallyFinite

class Order a => LocallyFiniteOrder a whereSource

Methods

range :: a -> a -> [a]Source

rangeSize :: a -> a -> NaturalSource

moebiusInversion :: Ring r => a -> a -> rSource

Instances