testing-feat-1.0.1.0: Functional Enumeration of Algebraic Types

Safe HaskellNone
LanguageHaskell98

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 #

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