haskell-servant / haskell-servant/servant
Empty/Unit type for (:>) combinator
Open
- Dominant language
- Haskell
- Stars
- 2k
- Forks
- 427
- Avg merge
- 2d 23h
- Merged PRs (30d)
- 5
Description
It might be useful to have a unit type for `(:>)` where all of the following routes are equivalent, particularly if you try to make routes with type level programming.
```haskell
"hello" :> Get '[JSON] Text
"hello" :> Empty :> Get '[JSON] Text
Empty :> "hello" :> Get '[JSON] Text
```
Are there any drawbacks or issues this would create?
Contributor guide
Assessment
This issue has not been assessed yet.