abides-0.0.1: Simple boolean tests to see if a value abides by certain properties

Safe HaskellSafe
LanguageHaskell2010

Test.Abides.Control.Applicative

Documentation

identity :: Applicative f => Eq (f a) => f a -> Bool Source #

composition :: Applicative f => Eq (f c) => f (b -> c) -> f (a -> b) -> f a -> Bool Source #