Safe Haskell	Safe
Language	Haskell98

Numeric.Order.LocallyFinite

Documentation

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

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