abides-0.0.1: Simple boolean tests to see if a value abides by certain properties
Test.Abides.Data.Functor
identity :: Functor f => Eq (f a) => f a -> Bool Source #
fmap id x == x?
composition :: Functor f => Eq (f a) => (a -> a) -> (a -> a) -> f a -> Bool Source #
fmap (f . g) x == fmap f (fmap g x)?