Copyright | © 2022 Jonathan Knowles |
---|---|
License | Apache-2.0 |
Safe Haskell | Safe-Inferred |
Language | Haskell2010 |
This module provides Laws
definitions for classes exported by
Data.Monoid.Null.
Synopsis
- monoidNullLaws :: forall a. (Arbitrary a, Show a, Eq a, MonoidNull a) => Proxy a -> Laws
- positiveMonoidLaws :: forall a. (Arbitrary a, Show a, Eq a, PositiveMonoid a) => Proxy a -> Laws
Null
monoidNullLaws :: forall a. (Arbitrary a, Show a, Eq a, MonoidNull a) => Proxy a -> Laws Source #