Safe Haskell	None
Language	Haskell2010

Test.Feat.Class

Description

Deprecated: Use Control.Enumerable instead

Documentation

class Typeable a => Enumerable a where #

Methods

enumerate :: forall (f :: Type -> Type). (Typeable f, Sized f) => Shared f a #

Instances

Instances details

Enumerable Bool
Instance details Defined in Control.Enumerable Methods enumerate :: forall (f :: Type -> Type). (Typeable f, Sized f) => Shared f Bool #
Enumerable Char	ASCII characters
Instance details Defined in Control.Enumerable Methods enumerate :: forall (f :: Type -> Type). (Typeable f, Sized f) => Shared f Char #
Enumerable Double	Not a proper injection
Instance details Defined in Control.Enumerable Methods enumerate :: forall (f :: Type -> Type). (Typeable f, Sized f) => Shared f Double #
Enumerable Float	Not a proper injection
Instance details Defined in Control.Enumerable Methods enumerate :: forall (f :: Type -> Type). (Typeable f, Sized f) => Shared f Float #
Enumerable Int
Instance details Defined in Control.Enumerable Methods enumerate :: forall (f :: Type -> Type). (Typeable f, Sized f) => Shared f Int #
Enumerable Int8
Instance details Defined in Control.Enumerable Methods enumerate :: forall (f :: Type -> Type). (Typeable f, Sized f) => Shared f Int8 #
Enumerable Int16
Instance details Defined in Control.Enumerable Methods enumerate :: forall (f :: Type -> Type). (Typeable f, Sized f) => Shared f Int16 #
Enumerable Int32
Instance details Defined in Control.Enumerable Methods enumerate :: forall (f :: Type -> Type). (Typeable f, Sized f) => Shared f Int32 #
Enumerable Int64
Instance details Defined in Control.Enumerable Methods enumerate :: forall (f :: Type -> Type). (Typeable f, Sized f) => Shared f Int64 #
Enumerable Integer
Instance details Defined in Control.Enumerable Methods enumerate :: forall (f :: Type -> Type). (Typeable f, Sized f) => Shared f Integer #
Enumerable Ordering
Instance details Defined in Control.Enumerable Methods enumerate :: forall (f :: Type -> Type). (Typeable f, Sized f) => Shared f Ordering #
Enumerable Word
Instance details Defined in Control.Enumerable Methods enumerate :: forall (f :: Type -> Type). (Typeable f, Sized f) => Shared f Word #
Enumerable Word8
Instance details Defined in Control.Enumerable Methods enumerate :: forall (f :: Type -> Type). (Typeable f, Sized f) => Shared f Word8 #
Enumerable Word16
Instance details Defined in Control.Enumerable Methods enumerate :: forall (f :: Type -> Type). (Typeable f, Sized f) => Shared f Word16 #
Enumerable Word32
Instance details Defined in Control.Enumerable Methods enumerate :: forall (f :: Type -> Type). (Typeable f, Sized f) => Shared f Word32 #
Enumerable Word64
Instance details Defined in Control.Enumerable Methods enumerate :: forall (f :: Type -> Type). (Typeable f, Sized f) => Shared f Word64 #
Enumerable ()	The unit constructor is free
Instance details Defined in Control.Enumerable Methods enumerate :: forall (f :: Type -> Type). (Typeable f, Sized f) => Shared f () #
Enumerable Unicode
Instance details Defined in Control.Enumerable Methods enumerate :: forall (f :: Type -> Type). (Typeable f, Sized f) => Shared f Unicode #
Enumerable Printable
Instance details Defined in Control.Enumerable Methods enumerate :: forall (f :: Type -> Type). (Typeable f, Sized f) => Shared f Printable #
Enumerable a => Enumerable [a]
Instance details Defined in Control.Enumerable Methods enumerate :: forall (f :: Type -> Type). (Typeable f, Sized f) => Shared f [a] #
Enumerable a => Enumerable (Maybe a)
Instance details Defined in Control.Enumerable Methods enumerate :: forall (f :: Type -> Type). (Typeable f, Sized f) => Shared f (Maybe a) #
Infinite a => Enumerable (Ratio a)
Instance details Defined in Control.Enumerable Methods enumerate :: forall (f :: Type -> Type). (Typeable f, Sized f) => Shared f (Ratio a) #
Infinite integer => Enumerable (Nat integer)
Instance details Defined in Control.Enumerable Methods enumerate :: forall (f :: Type -> Type). (Typeable f, Sized f) => Shared f (Nat integer) #
Enumerable a => Enumerable (NonEmpty a)
Instance details Defined in Control.Enumerable Methods enumerate :: forall (f :: Type -> Type). (Typeable f, Sized f) => Shared f (NonEmpty a) #
(CoEnumerable a, Enumerable b) => Enumerable (a -> b)
Instance details Defined in Control.Enumerable Methods enumerate :: forall (f :: Type -> Type). (Typeable f, Sized f) => Shared f (a -> b) #
(Enumerable a, Enumerable b) => Enumerable (Either a b)
Instance details Defined in Control.Enumerable Methods enumerate :: forall (f :: Type -> Type). (Typeable f, Sized f) => Shared f (Either a b) #
(Enumerable a, Enumerable b) => Enumerable (a, b)
Instance details Defined in Control.Enumerable Methods enumerate :: forall (f :: Type -> Type). (Typeable f, Sized f) => Shared f (a, b) #
(Enumerable a, Enumerable b, Enumerable c) => Enumerable (a, b, c)
Instance details Defined in Control.Enumerable Methods enumerate :: forall (f :: Type -> Type). (Typeable f, Sized f) => Shared f (a, b, c) #
(Enumerable a, Enumerable b, Enumerable c, Enumerable d) => Enumerable (a, b, c, d)
Instance details Defined in Control.Enumerable Methods enumerate :: forall (f :: Type -> Type). (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)
Instance details Defined in Control.Enumerable Methods enumerate :: forall (f :: Type -> Type). (Typeable f, Sized f) => Shared f (a, b, c, d, e) #

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

unary :: (Sized f, Enumerable a, Typeable f) => (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 :: (Sized f, Typeable f, Typeable a) => [Shareable f a] -> Shared f a Source #

deriveEnumerable :: Name -> Q [Dec] #