« Previous | Next » 

Revision 0efada2a

ID0efada2a41adb8f4c7104b725de4660a022c7b78
Parent 32be18fc
Child 5f6515b6

Added by Petr Pudlak almost 7 years ago

Add a function for lifting ResultT from a MonadBase

Often we have `ResultT e IO a` as the return type of our primitive
functions and we need to lift them into a monad stack that is also based
on IO. This function accomplishes this by lifting a ResultT in a base
monad of a monad stack into the stack.

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

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences