Module

Test.Abides.Data.Functor

Package
purescript-abides
Repository
athanclark/purescript-abides

#identity' Source

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

map id x == x?

#composition Source

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

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