Data.GenValidity.DirForest
Contents
genDirForestOf :: Ord a => Gen a -> Gen (DirForest a) Source #
genDirTreeOf :: Ord a => Gen a -> Gen (DirTree a) Source #
changedDirForest :: (Ord a, GenValid a) => DirForest a -> Gen (DirForest a) Source #
disjunctDirForest :: (Ord a, GenValid a) => DirForest a -> Gen (DirForest a) Source #
Methods
genValid :: Gen (DirForest a) #
shrinkValid :: DirForest a -> [DirForest a] #
genValid :: Gen (DirTree a) #
shrinkValid :: DirTree a -> [DirTree a] #
genValid :: Gen (FOD a) #
shrinkValid :: FOD a -> [FOD a] #