« Previous | Next » 

Revision 87f15934

ID87f1593409b1b5bf19f973d5904233e4924bdf22

Added by Petr Pudlak about 9 years ago

Generalize type signatures of functions that produce Result

This allows them to be used in any 'MonadError', in particular in monad stacks
composed using ResultT, without explicit lifting.

Signed-off-by: Petr Pudlak <>
Reviewed-by: Klaus Aehlig <>

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences