From eddf2c825dee199de0e958857f0daf3d08a07532 Mon Sep 17 00:00:00 2001 From: alexwl Date: Wed, 20 Feb 2019 18:58:57 +0300 Subject: Adds an option to use public Hoogle JSON API (https://github.com/ndmitchell/hoogle/blob/3dbf68bfd701f942d3af2e6debb74a0a78cd392e/docs/API.md#json-api) to get documentation for not indexed packages. Closes #21. --- javascript/app/utils/api-urls.js | 3 +++ 1 file changed, 3 insertions(+) (limited to 'javascript/app/utils') diff --git a/javascript/app/utils/api-urls.js b/javascript/app/utils/api-urls.js index d90c68a..7dce1c3 100644 --- a/javascript/app/utils/api-urls.js +++ b/javascript/app/utils/api-urls.js @@ -46,5 +46,8 @@ export const urls = { }, globalIdentifiersUrl : function (query) { return config.APP.apiUrlPrefix + "/globalIdentifiers/"+fixDots(encodeURIComponent(query)); + }, + hoogleDocsUrl : function (packageId,moduleName,entity,name) { + return config.APP.apiUrlPrefix + "/hoogleDocs/"+packageId+"/"+encodeURIComponent(moduleName)+"/"+entity+"/"+fixDots(encodeURIComponent(name)); } } -- cgit v1.2.3