genvalidity-dirforest-0.1.0.1: Generators for typed directory forests
Safe HaskellSafe-Inferred
LanguageHaskell2010

Data.GenValidity.DirForest

Documentation

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 #

Orphan instances

(Ord a, GenValid a) => GenValid (DirForest a) Source # 
Instance details

Methods

genValid :: Gen (DirForest a) #

shrinkValid :: DirForest a -> [DirForest a] #

(Ord a, GenValid a) => GenValid (DirTree a) Source # 
Instance details

Methods

genValid :: Gen (DirTree a) #

shrinkValid :: DirTree a -> [DirTree a] #

GenValid a => GenValid (FOD a) Source # 
Instance details

Methods

genValid :: Gen (FOD a) #

shrinkValid :: FOD a -> [FOD a] #