Data.Countable

Documentation

class Eq a => Countable a where

Methods

countPrevious :: a -> Maybe a

countMaybeNext :: Maybe a -> Maybe a

Instances

Countable Bool

Countable Int8

Countable Int16

Countable Int32

Countable Int64

Countable Integer

Countable Word8

Countable Word16

Countable Word32

Countable Word64

Countable ()

Countable Nothing

Countable a => Countable [a]

Countable a => Countable (Maybe a)

(Finite a, Countable b) => Countable (a -> b)

(Countable a, Countable b) => Countable (Either a b)

(Countable a, Countable b) => Countable (a, b)

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

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

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

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

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

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

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

class Countable a => AtLeastOneCountable a where

Methods

countFirst :: a

Instances

AtLeastOneCountable Bool

AtLeastOneCountable Int8

AtLeastOneCountable Int16

AtLeastOneCountable Int32

AtLeastOneCountable Int64

AtLeastOneCountable Integer

AtLeastOneCountable Word8

AtLeastOneCountable Word16

AtLeastOneCountable Word32

AtLeastOneCountable Word64

AtLeastOneCountable ()

Countable a => AtLeastOneCountable [a]

Countable a => AtLeastOneCountable (Maybe a)

(Finite a, AtLeastOneCountable b) => AtLeastOneCountable (a -> b)

(Countable a, AtLeastOneCountable b) => AtLeastOneCountable (Either a b)

(AtLeastOneCountable a, AtLeastOneCountable b) => AtLeastOneCountable (a, b)

class AtLeastOneCountable a => InfiniteCountable a where

Methods

countNext :: Maybe a -> a

Instances

InfiniteCountable Integer

AtLeastOneCountable a => InfiniteCountable [a]

InfiniteCountable a => InfiniteCountable (Maybe a)

(Finite a, AtLeastOneCountable a, InfiniteCountable b) => InfiniteCountable (a -> b)

(Countable a, InfiniteCountable b) => InfiniteCountable (Either a b)

(AtLeastOneCountable a, InfiniteCountable b) => InfiniteCountable (a, b)

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