Module

Test.Abides.Control.Applicative

Package
purescript-abides
Repository
athanclark/purescript-abides

#identity' Source

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

#composition Source

composition :: forall c b a f. Applicative f => Eq (f c) => f (b -> c) -> f (a -> b) -> f a -> Boolean