Control.Monad.Laws

This module implements the laws in Control.Monad, specified in the Haskell 2010 report, in 6.3.5 for Functor, in 6.3.6 for Monad, and in Chapter 13, module Control.Monad.

Documentation

module Test.ClassLaws

data FunctorLaw1 a f

Instances

(FunctorLaws f, TestEqual (f a)) => LawTest (FunctorLaw1 a f)

data FunctorLaw2 a b c f

Instances

(FunctorLaws f, TestEqual (f c)) => LawTest (FunctorLaw2 a b c f)

class Functor f => FunctorLaws f where

Methods

functorLaw1 :: Law (FunctorLaw1 a f)

functorLaw2 :: Law (FunctorLaw2 a b c f)

Instances

FunctorLaws []

FunctorLaws IO

FunctorLaws Maybe

FunctorLaws MyList

Functor (SS s) => FunctorLaws (SS s)

Functor (State s) => FunctorLaws (State s)

defaultFunctorLaw1 :: Functor f => f b -> Theorem (f b)

defaultFunctorLaw2 :: Functor f => (b1 -> b, a -> b1, f a) -> Theorem (f b)

data MonadLaw1 a b m

Instances

(MonadLaws m, TestEqual (m b)) => LawTest (MonadLaw1 a b m)

data MonadLaw2 b m

Instances

(MonadLaws m, TestEqual (m b)) => LawTest (MonadLaw2 b m)

data MonadLaw3 b c d m

Instances

(MonadLaws m, TestEqual (m d)) => LawTest (MonadLaw3 b c d m)

class Monad m => MonadLaws m where

Methods

monadLaw1 :: Law (MonadLaw1 a b m)

monadLaw2 :: Law (MonadLaw2 b m)

monadLaw3 :: Law (MonadLaw3 b c d m)

Instances

MonadLaws []

MonadLaws IO

MonadLaws Maybe

MonadLaws MyList

Monad (State s) => MonadLaws (State s)

Monad (SS s) => MonadLaws (SS s)

Monad (State s) => MonadLaws (State s)

defaultMonadLaw1 :: Monad m => (a, a -> m b) -> Theorem (m b)

defaultMonadLaw2 :: Monad m => m b -> Theorem (m b)

defaultMonadLaw3 :: Monad m => (m a1, a1 -> m a, a -> m b) -> Theorem (m b)

data FunctorMonadLaw a b m

Instances

(FunctorMonadLaws m, TestEqual (m b)) => LawTest (FunctorMonadLaw a b m)

class (Functor m, Monad m) => FunctorMonadLaws m where

Methods

functorMonadLaw :: Law (FunctorMonadLaw a b m)

Instances

FunctorMonadLaws []

FunctorMonadLaws IO

FunctorMonadLaws Maybe

FunctorMonadLaws MyList

(Functor (SS s), Monad (SS s)) => FunctorMonadLaws (SS s)

(Functor (State s), Monad (State s)) => FunctorMonadLaws (State s)

defaultFunctorMonadLaw :: (Monad f, Functor f) => (a -> b, f a) -> Theorem (f b)

data MonadPlusLaw1 a m

The laws for MonadPlus are less prominently declared in the base libraries.

Instances

(MonadPlusLaws m, TestEqual (m a)) => LawTest (MonadPlusLaw1 a m)

data MonadPlusLaw2 a m

Instances

(MonadPlusLaws m, TestEqual (m a)) => LawTest (MonadPlusLaw2 a m)

data MonadPlusLaw3 a b m

Instances

(MonadPlusLaws m, TestEqual (m b)) => LawTest (MonadPlusLaw3 a b m)

data MonadPlusLaw4 a m

Instances

(MonadPlusLaws m, TestEqual (m a)) => LawTest (MonadPlusLaw4 a m)

data MonadPlusLaw5 a m

Instances

(MonadPlusLaws m, TestEqual (m a)) => LawTest (MonadPlusLaw5 a m)

class MonadPlus m => MonadPlusLaws m where

Methods

monadPlusLaw1 :: Law (MonadPlusLaw1 a m)

monadPlusLaw2 :: Law (MonadPlusLaw2 a m)

monadPlusLaw3 :: Law (MonadPlusLaw3 a b m)

monadPlusLaw4 :: Law (MonadPlusLaw4 a m)

monadPlusLaw5 :: Law (MonadPlusLaw5 a m)

defaultMonadPlusLaw1 :: MonadPlus m => m a -> Theorem (m a)

defaultMonadPlusLaw2 :: MonadPlus m => m a -> Theorem (m a)

defaultMonadPlusLaw3 :: MonadPlus m => (a -> m b) -> Theorem (m b)

defaultMonadPlusLaw4 :: MonadPlus m => m a -> Theorem (m b)

defaultMonadPlusLaw5 :: MonadPlus m => (m a, m a, m a) -> Theorem (m a)