smallcheck-lens-0.1: SmallCheck lens laws

Safe HaskellSafe
LanguageHaskell2010

Test.SmallCheck.Lens.Prism

Documentation

prismYin :: (Monad m, Eq s, Show s, Eq a, Show a) => Prism' s a -> Series m a -> Property m Source

prismYang :: (Monad m, Eq s, Show s, Eq a, Show a) => Prism' s a -> Series m s -> Property m Source