idris-lang/Idris2
1
1
Fork 0
mirror of https://github.com/idris-lang/Idris2.git synced 2024-11-28 11:05:17 +03:00
Code Issues Projects Releases Wiki Activity

[ base ] Implement MonadError () for MaybeT

Browse Source
This commit is contained in:
Denis Buzdalov 2022-08-31 19:20:54 +03:00 committed by G. Allais
parent 6891490ed2
commit 5266a2bc22
1 changed files with 5 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
libs/base/Control/Monad/Error/Interface.idr
View File

@ -74,6 +74,11 @@ MonadError () Maybe where
catchError Nothing f = f ()
catchError x _ = x
public export
Monad m => MonadError () (MaybeT m) where
throwError () = MkMaybeT $ pure Nothing
catchError (MkMaybeT m) f = MkMaybeT $ m >>= maybe (runMaybeT $ f ()) (pure @{Compose})
public export
MonadError e (Either e) where
throwError = Left