Module

Test.Abides.Control.Applicative

#identity'

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

#composition

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

Modules