Commit b6cb8ee2 authored by Alfredo Di Napoli's avatar Alfredo Di Napoli

Add comment to better clarify instance constraints addition in IsCmd

parent cc2fcadd
Pipeline #7707 passed with stages
in 43 minutes and 18 seconds
......@@ -62,6 +62,10 @@ type IsCmd env err m =
( MonadReader env m
, MonadError err m
, MonadBaseControl IO m
-- These 3 instances below are needed because in the transactional code
-- we can throw 'err' as an exception, which requires 'err' to be an 'Exception'
-- and thus have a 'Show' and 'Typeable' instances. The fact that we can catch
-- exceptions in the evaluator of the 'DBTx' monad code means we need a 'MonadCatch'.
, Typeable err
, Show err
, MonadCatch m
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment