idris-lang/Idris-dev — pull request #1795 by japesinator (2014-12-16 23:02:00+00:00)
Title: added subclasses for Arrow

This commit adds ArrowZero, ArrowPlus, ArrowApply, ArrowChoice, and ArrowLoop typeclasses to Control.Arrow as well as a ArrowMonad record for turning arrows into functors and applicatives and ArrowApplys into monads