Data.Monoid.Laws

ClassLaws for the Monoid class. Actual tests are defined in the Instances submodule and can be run from main.

Documentation

data MonoidLaw1 m

Instances

(MonoidLaws a, TestEqual a) => LawTest (MonoidLaw1 a)

data MonoidLaw2 m

Instances

(MonoidLaws a, TestEqual a) => LawTest (MonoidLaw2 a)

data MonoidLaw3 m

Instances

(MonoidLaws a, TestEqual a) => LawTest (MonoidLaw3 a)

class Monoid m => MonoidLaws m where

Methods

monoidLaw1 :: Law (MonoidLaw1 m)

monoidLaw2 :: Law (MonoidLaw2 m)

monoidLaw3 :: Law (MonoidLaw3 m)

Instances

Monoid (Endo a) => MonoidLaws (Endo a)

Monoid (MyList a) => MonoidLaws (MyList a)

defaultMonoidLaw1 :: Monoid a => a -> Theorem a

defaultMonoidLaw2 :: Monoid a => a -> Theorem a

defaultMonoidLaw3 :: Monoid a => (a, a, a) -> Theorem a