gencheck-0.1.1: A testing framework inspired by QuickCheck and SmallCheck

Safe HaskellSafe-Infered

Test.GenCheck.Generator.Substitution

Documentation

class Structure c whereSource

Methods

substitute :: c a -> [b] -> (Maybe (c b), [b])Source

Instances

subst :: Structure c => Generator (c a) -> Generator b -> Generator (c b)Source

substN :: Structure c => Int -> Generator (c a) -> Generator b -> Generator (c b)Source

class Structure2 c whereSource

Methods

substitute2 :: c a b -> [a'] -> [b'] -> (Maybe (c a' b'), [a'], [b'])Source

Instances

subst2 :: Structure2 c => Generator (c a b) -> Generator a' -> Generator b' -> Generator (c a' b')Source

subst2N :: Structure2 c => Int -> Generator (c a b) -> Generator a' -> Generator b' -> Generator (c a' b')Source

class Structure3 c whereSource

Methods

substitute3 :: c a1 a2 a3 -> [a1'] -> [a2'] -> [a3'] -> (Maybe (c a1' a2' a3'), [a1'], [a2'], [a3'])Source