Skip to content
  • Petr Pudlak's avatar
    Add functions for manipulating errors in Result(T) · 565821d1
    Petr Pudlak authored
    
    
    There is often need to manipulate these errors, for example to convert a String
    from Result into an exception. These functions make this easier.
    
    Function 'toErrorStr' lifts 'Result' to any 'MonadError'. This is useful
    for converting 'Result' into 'ResultT' or any other similar monad stack.
    
    Functions 'catchErrorT' and 'handleErrorT' catch errors just as 'catchError'
    does, but also allow to change the error type.
    
    Functions `withError` and `withErrorT` allow to modify an error within
    GenericResult or ResultT. This is convenient when combining functions
    with different error types, for example to convert between strings and
    exceptions.
    
    Furthemore, 'failError' generalize 'Bad'. It can be used anywhere 'Bad' is, and
    in any 'MonadError' instance.
    
    Signed-off-by: default avatarPetr Pudlak <pudlak@google.com>
    Reviewed-by: default avatarKlaus Aehlig <aehlig@google.com>
    565821d1