Add fixes to Monads found by new Law checks#120

Merged

raulraja merged 14 commits intomasterfrom paco-lawfixes

Jun 27, 2017

Commits on Jun 25, 2017

Add map to IdMonad
pakoito
committed
Fix formatting
pakoito
committed
Add identity to Function0 by memoising the result
pakoito
committed
Rename Function0 to FunctionMemo0 to emphasize identity
pakoito
committed
Add Eq typeclass
pakoito
committed
Add use of Eq in laws
pakoito
committed
Enforce use of Eq in laws. Fix compiler exceptions related to inlining with default and named parameters.
pakoito
committed
Fix typo
pakoito
committed
Revert Function0 refactor to use Eq typeclass instead
pakoito
committed
Fix stack safety bound
pakoito
committed
Fix tailRecM for Function0 and Try to respect the laws
pakoito
committed
Add Eq instance for FreeTest
pakoito
committed
Add Eq instance for Eval
pakoito
committed
Fix tailrecM for Function0
pakoito
committed