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