enumerable-0.0.1: Provides a typeclass for enumerating all values in types Contents Index

Data.Enumerable

Documentation

class Enumerable a where

Methods enumerate :: [a] enumerateTotal :: [a] enumeratePartial :: [a] isPartial :: Tagged a Bool Instances Enumerable Bool Enumerable Char Enumerable Double Enumerable Float Enumerable Int Enumerable Int8 Enumerable Int16 Enumerable Int32 Enumerable Int64 Enumerable Integer Enumerable Ordering Enumerable Word Enumerable Word8 Enumerable Word16 Enumerable Word32 Enumerable Word64 Enumerable () Enumerable a => Enumerable ([] a) (Enumerable a, Integral a) => Enumerable (Ratio a) Enumerable a => Enumerable (Maybe a) Enumerable a => Enumerable (Partial a) (FinitelyEnumerable a, FinitelyEnumerable b, Eq a) => Enumerable (a -> b) (Enumerable a, Enumerable b) => Enumerable (Either a b) (Enumerable a, Enumerable b) => Enumerable ((,) a b) (Enumerable a, Enumerable b, Enumerable c) => Enumerable ((,,) a b c) (Enumerable a, Enumerable b, Enumerable c, Enumerable d) => Enumerable ((,,,) a b c d) (Enumerable a, Enumerable b, Enumerable c, Enumerable d, Enumerable e) => Enumerable ((,,,,) a b c d e)

data Cardinal

Constructors Finite Integer Aleph Integer

class Enumerable a => FinitelyEnumerable a where

Methods cardinality :: Tagged a Integer Instances FinitelyEnumerable Bool FinitelyEnumerable Char FinitelyEnumerable Double FinitelyEnumerable Float FinitelyEnumerable Int FinitelyEnumerable Int8 FinitelyEnumerable Int16 FinitelyEnumerable Int32 FinitelyEnumerable Int64 FinitelyEnumerable Ordering FinitelyEnumerable Word FinitelyEnumerable Word8 FinitelyEnumerable Word16 FinitelyEnumerable Word32 FinitelyEnumerable Word64 FinitelyEnumerable () (FinitelyEnumerable a, Integral a) => FinitelyEnumerable (Ratio a) FinitelyEnumerable a => FinitelyEnumerable (Maybe a) FinitelyEnumerable a => FinitelyEnumerable (Partial a) (FinitelyEnumerable a, FinitelyEnumerable b, Eq a) => FinitelyEnumerable (a -> b) (FinitelyEnumerable a, FinitelyEnumerable b) => FinitelyEnumerable (Either a b) (FinitelyEnumerable a, FinitelyEnumerable b) => FinitelyEnumerable ((,) a b) (FinitelyEnumerable a, FinitelyEnumerable b, FinitelyEnumerable c) => FinitelyEnumerable ((,,) a b c) (FinitelyEnumerable a, FinitelyEnumerable b, FinitelyEnumerable c, FinitelyEnumerable d) => FinitelyEnumerable ((,,,) a b c d) (FinitelyEnumerable a, FinitelyEnumerable b, FinitelyEnumerable c, FinitelyEnumerable d, FinitelyEnumerable e) => FinitelyEnumerable ((,,,,) a b c d e)

enumerateInterleaved :: (Enum a, Num a) => [a]

newtype Partial a

Constructors Partial a Instances FinitelyEnumerable a => FinitelyEnumerable (Partial a) Enumerable a => Enumerable (Partial a)

Produced by Haddock version 2.4.2