Searched refs:functor_prop (Results 1 – 2 of 2) sorted by relevance
109 functor_prop :: Maybe Bool -> Expectation110 functor_prop x = gmap not (TestFunctor x) `shouldBe` TestFunctor (not <$> x) function112 in functor_prop <$> universe