Home
last modified time | relevance | path

Searched refs:functor_prop (Results 1 – 2 of 2) sorted by relevance

/dports/devel/stack/stack-2.7.3/_cabal_deps/generic-deriving-1.14/tests/
H A DDefaultSpec.hs109 functor_prop :: Maybe Bool -> Expectation
110 functor_prop x = gmap not (TestFunctor x) `shouldBe` TestFunctor (not <$> x) function
112 in functor_prop <$> universe
/dports/devel/hs-hoogle/hoogle-5.0.18.2/_cabal_deps/generic-deriving-1.13.1/tests/
H A DDefaultSpec.hs109 functor_prop :: Maybe Bool -> Expectation
110 functor_prop x = gmap not (TestFunctor x) `shouldBe` TestFunctor (not <$> x) function
112 in functor_prop <$> universe