Catchable determining arguments
Should be determined just by the monad
commit3072e8c9846240557e5f95508c7adfa7f9c8c2c0
authorEdwin Brady <ecb10@st-andrews.ac.uk>
dateSat 11 Mar 2017, 21:53 (10 years ago)
parent22316a4
libs/base/Control/Catchable.idr+1−1
@@ -4,7 +4,7 @@ import Control.IOExcept
44
55%access public export
66
7−interface Catchable (m : Type -> Type) t where
7+interface Catchable (m : Type -> Type) t | m where
88 throw : t -> m a
99 catch : m a -> (t -> m a) -> m a
1010