Control.Enumerable.Values

Documentation

values :: Enumerable a => Int -> [a]

Constructs all values of a given size.

values' :: Enumerable a => Int -> [[a]]

Constructs all values up to a given size.

allValues :: Enumerable a => [[a]]

newtype Values a

Constructors

Values

Fields

• runValues :: Int -> [a]

Instances

Functor Values

Methods

fmap :: (a -> b) -> Values a -> Values b

(<$) :: a -> Values b -> Values a

Applicative Values

Methods

pure :: a -> Values a

(<*>) :: Values (a -> b) -> Values a -> Values b

liftA2 :: (a -> b -> c) -> Values a -> Values b -> Values c

(*>) :: Values a -> Values b -> Values b

(<*) :: Values a -> Values b -> Values a

Alternative Values

Methods

empty :: Values a

(<|>) :: Values a -> Values a -> Values a

some :: Values a -> Values [a]

many :: Values a -> Values [a]

Sized Values

Methods

pay :: Values a -> Values a

pair :: Values a -> Values b -> Values (a, b)

aconcat :: [Values a] -> Values a

fin :: Integer -> Values Integer

finSized :: Integer -> Values Integer

naturals :: Values Integer