haskell-servant / haskell-servant/servant

Making Handler a transformer

Open
#741 12 comments 0 reactions 0 assignees View on GitHub
Dominant language
Haskell
Stars
2k
Forks
427
Avg merge
2d 23h
Merged PRs (30d)
5

Description

How do you guys feel about instead of having

newtype Handler a = Handler { runHandler' :: ExceptT ServantErr IO a }

have

newtype HandlerT m a = HandlerT { runHandlerT :: ExceptT ServantErr m a }
type Handler = HandlerT IO

?

I don't think it would break anything but it would allow easier writing of instances for classes that have either an overlappable instance or a default implementation for monad transformers.

Contributor guide

Open the contributing guide

Assessment

This issue has not been assessed yet.

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.