Control.Arrow.Abort.Class

Documentation

class Arrow r => ArrowAbort v r | r -> v where

Methods

abort :: r v a

Instances

(ArrowChoice r, ArrowTrans xT, Arrow (xT (AbortT v r))) => ArrowAbort v (xT (AbortT v r))

ArrowChoice r => ArrowAbort v (AbortT v r)