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 #