1
1
mirror of https://github.com/github/semantic.git synced 2024-12-11 08:45:48 +03:00
This commit is contained in:
Rob Rix 2018-04-24 14:14:20 -04:00
parent e05c0aab2a
commit 4cc2edbfb3

View File

@ -46,6 +46,7 @@ newtype Erroring (exc :: * -> *) m (effects :: [* -> *]) a = Erroring (m effects
deriving (Alternative, Applicative, Effectful, Functor, Monad)
deriving instance MonadEvaluator location term value effects m => MonadEvaluator location term value effects (Erroring exc m)
instance MonadAnalysis location term value effects m
=> MonadAnalysis location term value effects (Erroring exc m) where
type Effects location term value (Erroring exc m) = Resumable exc ': Effects location term value m