Safe Haskell | Safe |
---|---|
Language | Haskell2010 |
Data.Countable
Documentation
class Eq a => Countable a where #
Minimal complete definition
Instances
Countable Bool # | |
Countable Int8 # | |
Countable Int16 # | |
Countable Int32 # | |
Countable Int64 # | |
Countable Integer # | |
Countable Word8 # | |
Countable Word16 # | |
Countable Word32 # | |
Countable Word64 # | |
Countable () # | |
Countable None # | |
Countable a => Countable [a] # | |
Countable a => Countable (Maybe a) # | |
(Countable a, Countable b) => Countable (Either a b) # | |
(Countable a, Countable b) => Countable (a, b) # | |
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 #
Minimal complete definition
Methods
countFirst :: a #
Instances
class AtLeastOneCountable a => InfiniteCountable a where #
Minimal complete definition
Instances
InfiniteCountable Integer # | |
AtLeastOneCountable a => InfiniteCountable [a] # | |
InfiniteCountable a => InfiniteCountable (Maybe a) # | |
(Countable a, InfiniteCountable b) => InfiniteCountable (Either a b) # | |
(AtLeastOneCountable a, InfiniteCountable b) => InfiniteCountable (a, b) # | |
recount :: (Countable a, InfiniteCountable b) => a -> b #