Safe Haskell	Safe
Language	Haskell98

Numeric.Order.LocallyFinite

Documentation

class Order a => LocallyFiniteOrder a where #

Minimal complete definition

range, rangeSize

Methods

range :: a -> a -> [a] #

rangeSize :: a -> a -> Natural #

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

Instances

LocallyFiniteOrder Bool #
Methods range :: Bool -> Bool -> [Bool] # rangeSize :: Bool -> Bool -> Natural # moebiusInversion :: Ring r => Bool -> Bool -> r #
LocallyFiniteOrder Int #
Methods range :: Int -> Int -> [Int] # rangeSize :: Int -> Int -> Natural # moebiusInversion :: Ring r => Int -> Int -> r #
LocallyFiniteOrder Int8 #
Methods range :: Int8 -> Int8 -> [Int8] # rangeSize :: Int8 -> Int8 -> Natural # moebiusInversion :: Ring r => Int8 -> Int8 -> r #
LocallyFiniteOrder Int16 #
Methods range :: Int16 -> Int16 -> [Int16] # rangeSize :: Int16 -> Int16 -> Natural # moebiusInversion :: Ring r => Int16 -> Int16 -> r #
LocallyFiniteOrder Int32 #
Methods range :: Int32 -> Int32 -> [Int32] # rangeSize :: Int32 -> Int32 -> Natural # moebiusInversion :: Ring r => Int32 -> Int32 -> r #
LocallyFiniteOrder Int64 #
Methods range :: Int64 -> Int64 -> [Int64] # rangeSize :: Int64 -> Int64 -> Natural # moebiusInversion :: Ring r => Int64 -> Int64 -> r #
LocallyFiniteOrder Integer #
Methods range :: Integer -> Integer -> [Integer] # rangeSize :: Integer -> Integer -> Natural # moebiusInversion :: Ring r => Integer -> Integer -> r #
LocallyFiniteOrder Natural #
Methods range :: Natural -> Natural -> [Natural] # rangeSize :: Natural -> Natural -> Natural # moebiusInversion :: Ring r => Natural -> Natural -> r #
LocallyFiniteOrder Word #
Methods range :: Word -> Word -> [Word] # rangeSize :: Word -> Word -> Natural # moebiusInversion :: Ring r => Word -> Word -> r #
LocallyFiniteOrder Word8 #
Methods range :: Word8 -> Word8 -> [Word8] # rangeSize :: Word8 -> Word8 -> Natural # moebiusInversion :: Ring r => Word8 -> Word8 -> r #
LocallyFiniteOrder Word16 #
Methods range :: Word16 -> Word16 -> [Word16] # rangeSize :: Word16 -> Word16 -> Natural # moebiusInversion :: Ring r => Word16 -> Word16 -> r #
LocallyFiniteOrder Word32 #
Methods range :: Word32 -> Word32 -> [Word32] # rangeSize :: Word32 -> Word32 -> Natural # moebiusInversion :: Ring r => Word32 -> Word32 -> r #
LocallyFiniteOrder Word64 #
Methods range :: Word64 -> Word64 -> [Word64] # rangeSize :: Word64 -> Word64 -> Natural # moebiusInversion :: Ring r => Word64 -> Word64 -> r #
LocallyFiniteOrder () #
Methods range :: () -> () -> [()] # rangeSize :: () -> () -> Natural # moebiusInversion :: Ring r => () -> () -> r #
Ord a => LocallyFiniteOrder (Set a) #
Methods range :: Set a -> Set a -> [Set a] # rangeSize :: Set a -> Set a -> Natural # moebiusInversion :: Ring r => Set a -> Set a -> r #
(LocallyFiniteOrder a, LocallyFiniteOrder b) => LocallyFiniteOrder (a, b) #
Methods range :: (a, b) -> (a, b) -> [(a, b)] # rangeSize :: (a, b) -> (a, b) -> Natural # moebiusInversion :: Ring r => (a, b) -> (a, b) -> r #
(LocallyFiniteOrder a, LocallyFiniteOrder b, LocallyFiniteOrder c) => LocallyFiniteOrder (a, b, c) #
Methods range :: (a, b, c) -> (a, b, c) -> [(a, b, c)] # rangeSize :: (a, b, c) -> (a, b, c) -> Natural # moebiusInversion :: Ring r => (a, b, c) -> (a, b, c) -> r #
(LocallyFiniteOrder a, LocallyFiniteOrder b, LocallyFiniteOrder c, LocallyFiniteOrder d) => LocallyFiniteOrder (a, b, c, d) #
Methods range :: (a, b, c, d) -> (a, b, c, d) -> [(a, b, c, d)] # rangeSize :: (a, b, c, d) -> (a, b, c, d) -> Natural # moebiusInversion :: Ring r => (a, b, c, d) -> (a, b, c, d) -> r #
(LocallyFiniteOrder a, LocallyFiniteOrder b, LocallyFiniteOrder c, LocallyFiniteOrder d, LocallyFiniteOrder e) => LocallyFiniteOrder (a, b, c, d, e) #
Methods range :: (a, b, c, d, e) -> (a, b, c, d, e) -> [(a, b, c, d, e)] # rangeSize :: (a, b, c, d, e) -> (a, b, c, d, e) -> Natural # moebiusInversion :: Ring r => (a, b, c, d, e) -> (a, b, c, d, e) -> r #