Safe Haskell	None
Language	Haskell98

Test.Feat.Class

Description

Deprecated: Use Control.Enumerable instead

Documentation

class Typeable * a => Enumerable a where #

Minimal complete definition

enumerate

Methods

enumerate :: (Typeable (* -> *) f, Sized f) => Shared f a #

Instances

Enumerable Bool
Methods enumerate :: (Typeable (* -> *) f, Sized f) => Shared f Bool #
Enumerable Char	ASCII characters
Methods enumerate :: (Typeable (* -> *) f, Sized f) => Shared f Char #
Enumerable Double	Not a proper injection
Methods enumerate :: (Typeable (* -> *) f, Sized f) => Shared f Double #
Enumerable Float	Not a proper injection
Methods enumerate :: (Typeable (* -> *) f, Sized f) => Shared f Float #
Enumerable Int
Methods enumerate :: (Typeable (* -> *) f, Sized f) => Shared f Int #
Enumerable Int8
Methods enumerate :: (Typeable (* -> *) f, Sized f) => Shared f Int8 #
Enumerable Int16
Methods enumerate :: (Typeable (* -> *) f, Sized f) => Shared f Int16 #
Enumerable Int32
Methods enumerate :: (Typeable (* -> *) f, Sized f) => Shared f Int32 #
Enumerable Int64
Methods enumerate :: (Typeable (* -> *) f, Sized f) => Shared f Int64 #
Enumerable Integer
Methods enumerate :: (Typeable (* -> *) f, Sized f) => Shared f Integer #
Enumerable Ordering
Methods enumerate :: (Typeable (* -> *) f, Sized f) => Shared f Ordering #
Enumerable Word
Methods enumerate :: (Typeable (* -> *) f, Sized f) => Shared f Word #
Enumerable Word8
Methods enumerate :: (Typeable (* -> *) f, Sized f) => Shared f Word8 #
Enumerable Word16
Methods enumerate :: (Typeable (* -> *) f, Sized f) => Shared f Word16 #
Enumerable Word32
Methods enumerate :: (Typeable (* -> *) f, Sized f) => Shared f Word32 #
Enumerable Word64
Methods enumerate :: (Typeable (* -> *) f, Sized f) => Shared f Word64 #
Enumerable ()	The unit constructor is free
Methods enumerate :: (Typeable (* -> *) f, Sized f) => Shared f () #
Enumerable Unicode
Methods enumerate :: (Typeable (* -> *) f, Sized f) => Shared f Unicode #
Enumerable Printable
Methods enumerate :: (Typeable (* -> *) f, Sized f) => Shared f Printable #
Enumerable a => Enumerable [a]
Methods enumerate :: (Typeable (* -> *) f, Sized f) => Shared f [a] #
Enumerable a => Enumerable (Maybe a)
Methods enumerate :: (Typeable (* -> *) f, Sized f) => Shared f (Maybe a) #
Infinite a => Enumerable (Ratio a)
Methods enumerate :: (Typeable (* -> *) f, Sized f) => Shared f (Ratio a) #
Infinite integer => Enumerable (Nat integer)
Methods enumerate :: (Typeable (* -> *) f, Sized f) => Shared f (Nat integer) #
Enumerable a => Enumerable (NonEmpty a)
Methods enumerate :: (Typeable (* -> *) f, Sized f) => Shared f (NonEmpty a) #
(CoEnumerable a, Enumerable b) => Enumerable (a -> b)
Methods enumerate :: (Typeable (* -> *) f, Sized f) => Shared f (a -> b) #
(Enumerable a, Enumerable b) => Enumerable (Either a b)
Methods enumerate :: (Typeable (* -> *) f, Sized f) => Shared f (Either a b) #
(Enumerable a, Enumerable b) => Enumerable (a, b)
Methods enumerate :: (Typeable (* -> *) f, Sized f) => Shared f (a, b) #
(Enumerable a, Enumerable b, Enumerable c) => Enumerable (a, b, c)
Methods enumerate :: (Typeable (* -> *) f, Sized f) => Shared f (a, b, c) #
(Enumerable a, Enumerable b, Enumerable c, Enumerable d) => Enumerable (a, b, c, d)
Methods enumerate :: (Typeable (* -> *) f, Sized f) => Shared f (a, b, c, d) #
(Enumerable a, Enumerable b, Enumerable c, Enumerable d, Enumerable e) => Enumerable (a, b, c, d, e)
Methods enumerate :: (Typeable (* -> *) f, Sized f) => Shared f (a, b, c, d, e) #

nullary :: Sized f => a -> Shareable f a Source #

unary :: (Typeable (* -> *) f, Sized f, Enumerable a) => (a -> x) -> Shareable f x Source #

funcurry :: (a -> b -> c) -> (a, b) -> c Source #

shared :: (Sized f, Enumerable a, Typeable f) => Shareable f a Source #

consts :: (Typeable * a, Typeable (* -> *) f, Sized f) => [Shareable f a] -> Shared f a Source #

deriveEnumerable :: Name -> Q [Dec] #