Skip to content

Instantly share code, notes, and snippets.

@sevanspowell
Created February 11, 2019 21:48
Show Gist options
  • Save sevanspowell/00d30d9b133b8981b5312f4b56086bab to your computer and use it in GitHub Desktop.
Save sevanspowell/00d30d9b133b8981b5312f4b56086bab to your computer and use it in GitHub Desktop.
Constraint Question
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 = _
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