haskell-servant / haskell-servant/servant
Type errors for partially applied combinators
- Dominant language
- Haskell
- Stars
- 2k
- Forks
- 427
- Avg merge
- 2d 23h
- Merged PRs (30d)
- 5
Description
When #1289 is merged, we should extend that approach to all remaining API combinators (with arity > 0), i.e.
- `NoContentVerb`
- `BasicAuth`
- `Capture'`
- `Description`
- `Summary`
- `AuthProtect`
- `Fragment`
- `Header'`
- `QueryFlag`
- `QueryParams`
- `QueryParam'`
- `ReqBody'`
- `StreamBody'`
- `WithNamedContext`
- `Verb`
- `Stream`
Same should be done for other critical typeclasses, like `HasServer`.
Contributor guide
Research direction
Start by reading issue #1289 to understand the referenced approach, then review the listed API combinators and the HasServer typeclass. The work is complete when partially applied combinators with arity greater than zero, along with other critical typeclasses, provide the intended type errors.
Written by the indexing model from the issue text.
Assessment
- Tech stack
- haskell
- Domain
- backend-api-design
- Issue type
- Feature
- Difficulty
- 5/5
- Estimated time
- Over a week
- Activity status
- Stale
- Clarity
- Mostly clear
- Newbie friendliness
- 25/100