Skip to content

Instantly share code, notes, and snippets.

jsonResolver : D.Decoder a -> Http.Resolver Http.Error a
jsonResolver decoder =
Http.stringResolver <|
\response ->
case response of
Http.BadUrl_ url ->
Err (Http.BadUrl url)
Http.Timeout_ ->
Err Http.Timeout
@krohne
krohne / javaStringToJavaScriptPrimitive.js
Created February 4, 2015 22:51
Convert Java String object to JavaScript String primitive in Rhino
// The good part:
// String(javaString).valueOf()
// Follow the same pattern to convert other Java types to corresponding JavaScript primitives
var javaString = new java.lang.String("test");
print('javaString:', javaString);
print('typeof javaString:', typeof javaString); // Object
print('javaString instanceof String:', (javaString instanceof String)); // true (really a java.lang.String object)
print('String(javaString).valueOf() === "test":', String(javaString).valueOf() === "test"); // true: Converted to JS primitive