Test.Agata.Base

Documentation

agata :: Buildable a => Gen a

agataWith :: Buildable a => Strategy a -> Gen a

agataSC :: Buildable a => Int -> [a]

agataEnum :: Buildable a => Int -> (Integer, [a])

class Buildable a where

Methods

build :: [Builder a]

improve :: a -> Improving a

dimension :: Dimension a

Instances

Buildable Bool

Buildable Char

Buildable Int

Buildable ()

Buildable a => Buildable [a]

Buildable a => Buildable (Maybe a)

(Buildable a, Buildable b) => Buildable (Either a b)

(Buildable a, Buildable b) => Buildable (a, b)

(Buildable a, Buildable b, Buildable c) => Buildable (a, b, c)

(Buildable a, Buildable b, Buildable c, Buildable d) => Buildable (a, b, c, d)

(Buildable a, Buildable b, Buildable c, Buildable d, Buildable e) => Buildable (a, b, c, d, e)

(Buildable a, Buildable b, Buildable c, Buildable d, Buildable e, Buildable f) => Buildable (a, b, c, d, e, f)

(Buildable a, Buildable b, Buildable c, Buildable d, Buildable e, Buildable f, Buildable g) => Buildable (a, b, c, d, e, f, g)

(Buildable a, Buildable b, Buildable c, Buildable d, Buildable e, Buildable f, Buildable g, Buildable h) => Buildable (a, b, c, d, e, f, g, h)

(Buildable a, Buildable b, Buildable c, Buildable d, Buildable e, Buildable f, Buildable g, Buildable h, Buildable i) => Buildable (a, b, c, d, e, f, g, h, i)

(Buildable a, Buildable b, Buildable c, Buildable d, Buildable e, Buildable f, Buildable g, Buildable h, Buildable i, Buildable j) => Buildable (a, b, c, d, e, f, g, h, i, j)

data Builder a

Instances

Show (Builder a)

rebuild :: a -> (a -> Improving b) -> Improving b

rb :: Buildable a => a -> (a -> b) -> Improving b

(>=>) :: Monad m => (a -> m b) -> (b -> m c) -> a -> m c

Left-to-right Kleisli composition of monads.

(*>) :: Monad m => (a -> m b) -> (b -> m c) -> a -> m c

($>) :: a -> (Application b a -> Application b b) -> [Builder b]

(.>) :: (a -> b) -> (b -> c) -> a -> c

graft :: Gen a -> (Int -> (Integer, [a])) -> [Builder a]

inline :: Buildable a => (a -> b) -> [Builder b]

automutrec :: Buildable a => Application c (a -> b) -> Application c b

use :: a -> [Builder a]

construct :: a -> (Application b a -> Application b b) -> Builder b

autorec :: Buildable a => Application c (a -> b) -> Application c b

nonrec :: Buildable a => Application c (a -> b) -> Application c b

mutrec :: Buildable a => Application c (a -> b) -> Application c b

rec :: Buildable c => Application c (c -> b) -> Application c b