Module

Test.Abides.Control.Plus

Package
purescript-abides
Repository
athanclark/purescript-abides

#leftIdentity Source

leftIdentity :: forall a m. Plus m => Eq (m a) => m a -> Boolean

#rightIdentity Source

rightIdentity :: forall a m. Plus m => Eq (m a) => m a -> Boolean