#93: Add instance MonadError Void Identity :: hub.darcs.net

concrete functor and monad transformers

#93Add instance MonadError Void Identity

It would be useful to allow Identity to be used in a polymorphic function that has a MonadError constraint.

instance MonadError Void Identity where
  throwError = absurd
  catchError = const

williamrusnack Thu Jul 13 21:45:02 UTC 2023
- description updated
Ross Paterson Thu Jul 13 21:52:04 UTC 2023
- status set to closed
The MonadError class, and its instances, are defined in the mtl package, which depends on this one.