Skip to content

Instantly share code, notes, and snippets.

@ccapndave
Created November 11, 2017 13:51
Show Gist options
  • Save ccapndave/42d79dbaae4df8f3a688052a32dfe074 to your computer and use it in GitHub Desktop.
Save ccapndave/42d79dbaae4df8f3a688052a32dfe074 to your computer and use it in GitHub Desktop.
exampleGet :: ∀ e. Aff (ajax :: AJAX | e) (Array String)
exampleGet = do
res <- get "some end point"
pure [""]
{-
No type class instance was found for
Network.HTTP.Affjax.Response.Respondable t2
The instance head contains unknown type variables. Consider adding a type annotation.
while applying a function get
of type Respondable t2 => String
-> Aff
( ajax :: AJAX
| t3
)
{ status :: StatusCode
, headers :: Array ResponseHeader
, response :: t2
}
to argument "some end point"
while checking that expression get "some end point"
has type t0 t1
in value declaration getMarkets
where t0 is an unknown type
t1 is an unknown type
t2 is an unknown type
t3 is an unknown type
-}
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment