Created
February 11, 2019 21:48
-
-
Save sevanspowell/00d30d9b133b8981b5312f4b56086bab to your computer and use it in GitHub Desktop.
Constraint Question
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
module ConstraintsOnFunction (mkLookup) where | |
type Lookup m = Request -> m Response | |
mkLookup :: ( | |
AsSomeError e, | |
MonadCatch m, | |
MonadError e m, | |
MonadIO m, | |
MonadResource m) => Lookup m | |
mkLookup = _ |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
module ConstraintsOnType (mkLookup, Lookup) where | |
type Lookup e m = ( | |
AsSomeError e, | |
MonadCatch m, | |
MonadError e m, | |
MonadIO m, | |
MonadResource m) => Request -> m Response | |
mkLookup :: forall e m . Lookup e m | |
mkLookup = _ |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment