size-based-0.1.1.0: Sized functors, for size-based enumerations

Safe HaskellNone
LanguageHaskell2010

Control.Enumerable.Values

Synopsis

Documentation

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

Constructs all values of a given size.

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

Constructs all values up to a given size.

newtype Values a Source #

Constructors

Values 

Fields

Instances

Functor Values Source # 

Methods

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

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

Applicative Values Source # 

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 Source # 

Methods

empty :: Values a #

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

some :: Values a -> Values [a] #

many :: Values a -> Values [a] #

Sized Values Source #