Code

Replace TransLift with MonadTrans#1621

Code

Merged

ceedubs merged 5 commits intotypelevel:mastertypelevel/cats:masterfrom wedens:monad_transwedens/cats:monad_transCopy head branch name to clipboardMay 18, 2017

+127-164

Commits

Commits on Apr 22, 2017

• TransLift replaced with MonadTrans

  wedens

  committed
  57d8819

• remove Trivial

  wedens

  committed
  00a4fd1

Commits on Apr 24, 2017

• MonadTrans syntax test

  

  wedens

  committed
  946f171

• fix doc style

  wedens

  committed
  35dc00c

Commits on Apr 28, 2017

• ordered syntax traits

  

  wedens

  committed
  d39d2f9