Hedgehog.Checkers.Ugly.Function.Hack

Documentation

fromMap :: Ord k => v -> Map k v -> k -> v

ordFuncWtf'' :: Ord a => Range Int -> Gen a -> Gen b -> Gen (a -> b)

ordFuncWtf' :: Ord a => Gen a -> Gen b -> Gen (a -> b)

funcForAllWtf :: Monad m => Gen a -> PropertyT m a

ordFuncWtf :: (Ord a, Monad m) => Gen a -> Gen b -> PropertyT m (a -> b)

liftedFunctionWtf :: (Functor f, Show (f z), Ord a, Monad m) => Gen (f z) -> Gen a -> Gen b -> PropertyT m (f (a -> b))