Code

Add Cofree.ana and Cofree.anaEval#2325

Code

Merged

kailuowang merged 4 commits intotypelevel:mastertypelevel/cats:masterfrom andyscott:cofree-anaandyscott/cats:cofree-anaCopy head branch name to clipboardJul 18, 2018

+24-6

Commits

Commits on Jul 16, 2018

• Add Cofree.ana (Cofree.unfold but with fused map)

  andyscott

  committed
  0d025af

  Copy full SHA for 0d025af

• Adjust Cofree.ana test to better demonstate usage (slightly)

  andyscott

  committed
  6c1a555

  Copy full SHA for 6c1a555

• Generalize ana for Eval; reimplement a few methods in terms of anaE

  andyscott

  committed
  08bb591

  Copy full SHA for 08bb591

• Rename anaE to anaEval

  andyscott

  committed
  a545438

  Copy full SHA for a545438