Module

Test.Abides.Data.Functor

#identity' 

identity' :: forall f a. Functor f => Eq (f a) => f a -> Boolean

map id x == x?

#composition 

composition :: forall f a. Functor f => Eq (f a) => (a -> a) -> (a -> a) -> f a -> Boolean

map (f . g) x == map f (map g x)?

Modules