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