Skip to content

Instantly share code, notes, and snippets.

@owickstrom
Created December 8, 2016 19:17
Embed
What would you like to do?
compile-error.txt
No type class instance was found for
Control.Monad.Monad m0
while checking that expression { path: [ "contact"
]
, GET: handler (\conn ->
...
)
, POST: notSupported
}
has type forall m req res rw c.
( Monad m
, ResponseWriter rw m
) => { path :: Array String
, GET :: ResourceMethod Supported m
{ request :: { path :: Array String
, method :: Method
| req
}
, response :: { writer :: rw
, state :: HeadersClosed
| res
}
, components :: c
}
{ request :: { path :: Array String
, method :: Method
| req
}
, response :: { writer :: rw
, state :: ResponseEnded
| res
}
, components :: c
}
, POST :: ResourceMethod Unsupported m
{ request :: { path :: Array String
, method :: Method
| req
}
, response :: { writer :: rw
, state :: HeadersClosed
| res
}
, components :: c
}
{ request :: { path :: Array String
, method :: Method
| req
}
, response :: { writer :: rw
, state :: ResponseEnded
| res
}
, components :: c
}
}
while applying a function handler
of type forall m req req' res res' c c'.
({ request :: req
, response :: res
, components :: c
}
-> m
{ request :: req'
, response :: res'
, components :: c'
}
)
-> ResourceMethod Supported m
{ request :: req
, response :: res
, components :: c
}
{ request :: req'
, response :: res'
, components :: c'
}
to argument \conn ->
(html ((...) (...))) conn
in binding group contact, about
where m0 is a rigid type variable
[NoInstanceFound]
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment