Code

Add Arrow Choice#2096

Code

Merged

LukaJCB merged 8 commits intotypelevel:mastertypelevel/cats:masterfrom stephen-lazaro:2067_add_arrow_choicestephen-lazaro/cats:2067_add_arrow_choiceCopy head branch name to clipboardDec 13, 2017

+254-48

Commits

Commits on Dec 12, 2017

• ArrowChoice, laws, function instance

  stephen-lazaro

  committed
  a8de85b

  Copy full SHA for a8de85b

• Kleisli instances, mima exceptions, tests

  stephen-lazaro

  committed
  f315767

  Copy full SHA for f315767

• Update symbols table

  stephen-lazaro

  committed
  7369b6f

  Copy full SHA for 7369b6f

• Consolidate instances, add |||

  stephen-lazaro

  committed
  791d9d1

  Copy full SHA for 791d9d1

Commits on Dec 13, 2017

• Fix laws

  stephen-lazaro

  committed
  93574b3

  Copy full SHA for 93574b3

• Clean up laws code

  stephen-lazaro

  committed
  191c68c

  Copy full SHA for 191c68c

• Merge branch 'master' into 2067_add_arrow_choice

  stephen-lazaro

  committed
  48d9458

  Copy full SHA for 48d9458

• Consistency law, match over fold

  stephen-lazaro

  committed
  8b5d497

  Copy full SHA for 8b5d497