Documentation
module Control.Arrow.Abort.Class
AbortT | |
|
(ArrowChoice r, ArrowTrans xT, Arrow (xT (AbortT v r))) => ArrowAbort v (xT (AbortT v r)) | |
ArrowChoice r => ArrowAbort v (AbortT v r) | |
ArrowTrans (AbortT v) | |
ArrowChoice r => Arrow (AbortT v r) | |
ArrowChoice r => Category (AbortT v r) |