Gabriella439 / Gabriella439/Haskell-Errors-Library

failWithM polymorphic in the returning monad

Open
#43 1 comment 0 reactions 0 assignees View on GitHub
Dominant language
Haskell
Stars
65
Forks
22
PR merge metrics
No merged PRs in 30d

Description

I've stumbled upon an issue which is best described by my stackoverflow question:

http://stackoverflow.com/questions/37515246/using-failwith-with-servant-and-custom-monad-stack

One of the answers suggested rolling own helper:

``` haskell
(!??) :: MonadError e m => m (Maybe a) -> e -> m a
act !?? err = act >>= maybe (throwError err) return
```

I'm not that proficient in transformers stacks, and I bet the aim of this library is to help people like me, so what would be the chances of including thing like that? Would it supersede the existing `!?` or would it have to be separate helper?

Contributor guide

No contributing guide indexed for this repository

Research direction

Start by reading the existing `!?` helper and the linked Stack Overflow question to understand the proposed `MonadError` behavior. Determine whether the request is a replacement or a separate helper; done requires an agreed API direction and the corresponding library change.

Written by the indexing model from the issue text.

Assessment

Tech stack
haskell
Domain
tooling
Issue type
Feature
Difficulty
5/5
Estimated time
Over a week
Activity status
Stale
Clarity
Needs clarification
Newbie friendliness
25/100

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.