| Safe Haskell | Safe-Inferred |
|---|
Algebra.Enumerable
- class Enumerable a where
- universe :: [a]
- universeBounded :: (Enum a, Bounded a) => [a]
- newtype Enumerated a = Enumerated {
- unEnumerated :: a
Documentation
class Enumerable a whereSource
Finitely enumerable things
Instances
| Enumerable Bool | |
| Enumerable Int | |
| Enumerable () | |
| Enumerable a => Enumerable (Maybe a) | |
| Enumerable a => Enumerable (Enumerated a) | |
| (Enumerable a, Enumerable b) => Enumerable (Either a b) | |
| (Enumerable a, Enumerable b) => Enumerable (a, b) |
universeBounded :: (Enum a, Bounded a) => [a]Source
newtype Enumerated a Source
Wrapper used to mark where we expect to use the fact that something is Enumerable
Constructors
| Enumerated | |
Fields
| |
Instances