Closed ferranpujolcamins closed 3 years ago
Be able to test Monad and Comonad transformers implementation.
I added MonadTrans typeclass with its laws. I added ComonadTrans typeclass with its laws. Instances for each transformer are also included.
Goal
Be able to test Monad and Comonad transformers implementation.
Implementation details
I added MonadTrans typeclass with its laws. I added ComonadTrans typeclass with its laws. Instances for each transformer are also included.