Safe Haskell	Safe
Language	Haskell2010

Data.Countable

Documentation

class Eq a => Countable a where Source #

Minimal complete definition

countPrevious, countMaybeNext

Methods

countPrevious :: a -> Maybe a Source #

countMaybeNext :: Maybe a -> Maybe a Source #

Instances

Countable Bool Source #
Methods countPrevious :: Bool -> Maybe Bool Source # countMaybeNext :: Maybe Bool -> Maybe Bool Source #
Countable Int8 Source #
Methods countPrevious :: Int8 -> Maybe Int8 Source # countMaybeNext :: Maybe Int8 -> Maybe Int8 Source #
Countable Int16 Source #
Methods countPrevious :: Int16 -> Maybe Int16 Source # countMaybeNext :: Maybe Int16 -> Maybe Int16 Source #
Countable Int32 Source #
Methods countPrevious :: Int32 -> Maybe Int32 Source # countMaybeNext :: Maybe Int32 -> Maybe Int32 Source #
Countable Int64 Source #
Methods countPrevious :: Int64 -> Maybe Int64 Source # countMaybeNext :: Maybe Int64 -> Maybe Int64 Source #
Countable Integer Source #
Methods countPrevious :: Integer -> Maybe Integer Source # countMaybeNext :: Maybe Integer -> Maybe Integer Source #
Countable Word8 Source #
Methods countPrevious :: Word8 -> Maybe Word8 Source # countMaybeNext :: Maybe Word8 -> Maybe Word8 Source #
Countable Word16 Source #
Methods countPrevious :: Word16 -> Maybe Word16 Source # countMaybeNext :: Maybe Word16 -> Maybe Word16 Source #
Countable Word32 Source #
Methods countPrevious :: Word32 -> Maybe Word32 Source # countMaybeNext :: Maybe Word32 -> Maybe Word32 Source #
Countable Word64 Source #
Methods countPrevious :: Word64 -> Maybe Word64 Source # countMaybeNext :: Maybe Word64 -> Maybe Word64 Source #
Countable () Source #
Methods countPrevious :: () -> Maybe () Source # countMaybeNext :: Maybe () -> Maybe () Source #
Countable None Source #
Methods countPrevious :: None -> Maybe None Source # countMaybeNext :: Maybe None -> Maybe None Source #
Countable a => Countable [a] Source #
Methods countPrevious :: [a] -> Maybe [a] Source # countMaybeNext :: Maybe [a] -> Maybe [a] Source #
Countable a => Countable (Maybe a) Source #
Methods countPrevious :: Maybe a -> Maybe (Maybe a) Source # countMaybeNext :: Maybe (Maybe a) -> Maybe (Maybe a) Source #
(Countable a, Countable b) => Countable (Either a b) Source #
Methods countPrevious :: Either a b -> Maybe (Either a b) Source # countMaybeNext :: Maybe (Either a b) -> Maybe (Either a b) Source #
(Countable a, Countable b) => Countable (a, b) Source #
Methods countPrevious :: (a, b) -> Maybe (a, b) Source # countMaybeNext :: Maybe (a, b) -> Maybe (a, b) Source #

countDown :: Countable a => a -> [a] Source #

boundedCountPrevious :: (Eq a, Bounded a, Enum a) => a -> Maybe a Source #

boundedCountMaybeNext :: (Eq a, Bounded a, Enum a) => Maybe a -> Maybe a Source #

maybeRecount :: (Countable a, Countable b) => a -> Maybe b Source #

countDownUp :: (Countable down, Countable up) => (down, up) -> Maybe (down, up) Source #

countUpDown :: (Countable up, Countable down) => (up, down) -> Maybe (up, down) Source #

finalIteration :: (a -> Maybe a) -> a -> a Source #

class Countable a => AtLeastOneCountable a where Source #

Minimal complete definition

countFirst

Methods

countFirst :: a Source #

Instances

AtLeastOneCountable Bool Source #
Methods countFirst :: Bool Source #
AtLeastOneCountable Int8 Source #
Methods countFirst :: Int8 Source #
AtLeastOneCountable Int16 Source #
Methods countFirst :: Int16 Source #
AtLeastOneCountable Int32 Source #
Methods countFirst :: Int32 Source #
AtLeastOneCountable Int64 Source #
Methods countFirst :: Int64 Source #
AtLeastOneCountable Integer Source #
Methods countFirst :: Integer Source #
AtLeastOneCountable Word8 Source #
Methods countFirst :: Word8 Source #
AtLeastOneCountable Word16 Source #
Methods countFirst :: Word16 Source #
AtLeastOneCountable Word32 Source #
Methods countFirst :: Word32 Source #
AtLeastOneCountable Word64 Source #
Methods countFirst :: Word64 Source #
AtLeastOneCountable () Source #
Methods countFirst :: () Source #
Countable a => AtLeastOneCountable [a] Source #
Methods countFirst :: [a] Source #
Countable a => AtLeastOneCountable (Maybe a) Source #
Methods countFirst :: Maybe a Source #
(Countable a, AtLeastOneCountable b) => AtLeastOneCountable (Either a b) Source #
Methods countFirst :: Either a b Source #
(AtLeastOneCountable a, AtLeastOneCountable b) => AtLeastOneCountable (a, b) Source #
Methods countFirst :: (a, b) Source #

class AtLeastOneCountable a => InfiniteCountable a where Source #

Minimal complete definition

countNext

Methods

countNext :: Maybe a -> a Source #

Instances

InfiniteCountable Integer Source #
Methods countNext :: Maybe Integer -> Integer Source #
AtLeastOneCountable a => InfiniteCountable [a] Source #
Methods countNext :: Maybe [a] -> [a] Source #
InfiniteCountable a => InfiniteCountable (Maybe a) Source #
Methods countNext :: Maybe (Maybe a) -> Maybe a Source #
(Countable a, InfiniteCountable b) => InfiniteCountable (Either a b) Source #
Methods countNext :: Maybe (Either a b) -> Either a b Source #
(AtLeastOneCountable a, InfiniteCountable b) => InfiniteCountable (a, b) Source #
Methods countNext :: Maybe (a, b) -> (a, b) Source #

recount :: (Countable a, InfiniteCountable b) => a -> b Source #