IdrisDoc: Control.Catchable

Control.Catchable

interface Catchable 
throw : Catchable m t => t -> m a
catch : Catchable m t => m a -> (t -> m a) -> m a