Safe Haskell | Safe-Infered |
---|
Documentation
substStdGenN :: Structure c => Int -> StandardGens (c a) -> Generator b -> StandardGens (c b)Source
substStdGenAll :: Structure c => StandardGens (c a) -> Generator b -> StandardGens (c b)Source
class Structure2 c whereSource
substitute2 :: c a b -> [a'] -> [b'] -> (Maybe (c a' b'), [a'], [b'])Source
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
subst2StdGen :: Structure2 c => StandardGens (c a b) -> Generator a' -> Generator b' -> StandardGens (c a' b')Source
class Structure3 c whereSource
substitute3 :: c a1 a2 a3 -> [a1'] -> [a2'] -> [a3'] -> (Maybe (c a1' a2' a3'), [a1'], [a2'], [a3'])Source