Safe Haskell | Safe |
---|---|
Language | Haskell2010 |
Documentation
class Eq a => Countable a where Source #
countPrevious :: a -> Maybe a Source #
countMaybeNext :: Maybe a -> Maybe a Source #
Countable Bool Source # | |
Countable Int8 Source # | |
Countable Int16 Source # | |
Countable Int32 Source # | |
Countable Int64 Source # | |
Countable Integer Source # | |
Countable Word8 Source # | |
Countable Word16 Source # | |
Countable Word32 Source # | |
Countable Word64 Source # | |
Countable () Source # | |
Countable None Source # | |
Countable a => Countable [a] Source # | |
Countable a => Countable (Maybe a) Source # | |
(Countable a, Countable b) => Countable (Either a b) Source # | |
(Countable a, Countable b) => Countable (a, b) Source # | |
finalIteration :: (a -> Maybe a) -> a -> a Source #
class Countable a => AtLeastOneCountable a where Source #
countFirst :: a Source #
class AtLeastOneCountable a => InfiniteCountable a where Source #
InfiniteCountable Integer Source # | |
AtLeastOneCountable a => InfiniteCountable [a] Source # | |
InfiniteCountable a => InfiniteCountable (Maybe a) Source # | |
(Countable a, InfiniteCountable b) => InfiniteCountable (Either a b) Source # | |
(AtLeastOneCountable a, InfiniteCountable b) => InfiniteCountable (a, b) Source # | |
recount :: (Countable a, InfiniteCountable b) => a -> b Source #