| 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 #