| Safe Haskell | None |
|---|
Data.Monoid.Laws
Description
Documentation
data MonoidLaw1 m Source
Instances
| (MonoidLaws a, TestEqual a) => LawTest (MonoidLaw1 a) |
data MonoidLaw2 m Source
Instances
| (MonoidLaws a, TestEqual a) => LawTest (MonoidLaw2 a) |
data MonoidLaw3 m Source
Instances
| (MonoidLaws a, TestEqual a) => LawTest (MonoidLaw3 a) |
class Monoid m => MonoidLaws m whereSource
Methods
monoidLaw1 :: Law (MonoidLaw1 m)Source
monoidLaw2 :: Law (MonoidLaw2 m)Source
monoidLaw3 :: Law (MonoidLaw3 m)Source
Instances
| Monoid (Endo a) => MonoidLaws (Endo a) | |
| Monoid (MyList a) => MonoidLaws (MyList a) |
defaultMonoidLaw1 :: Monoid a => a -> Theorem aSource
defaultMonoidLaw2 :: Monoid a => a -> Theorem aSource
defaultMonoidLaw3 :: Monoid a => (a, a, a) -> Theorem aSource