address node v8 tls defaults change

This commit is contained in:
Josh Harvey 2017-12-13 16:27:31 +02:00
parent 3e8e846d95
commit 7e8a79bea2
3 changed files with 77 additions and 40 deletions

View file

@ -12127,14 +12127,21 @@ var _krisajenkins$remotedata$RemoteData$mapError = F2(
return _krisajenkins$remotedata$RemoteData$NotAsked;
}
});
var _krisajenkins$remotedata$RemoteData$mapBoth = F2(
function (successFn, errorFn) {
return function (_p12) {
return A2(
_krisajenkins$remotedata$RemoteData$mapError,
errorFn,
A2(_krisajenkins$remotedata$RemoteData$map, successFn, _p12));
};
var _krisajenkins$remotedata$RemoteData$mapBoth = F3(
function (successFn, errorFn, data) {
var _p12 = data;
switch (_p12.ctor) {
case 'Success':
return _krisajenkins$remotedata$RemoteData$Success(
successFn(_p12._0));
case 'Failure':
return _krisajenkins$remotedata$RemoteData$Failure(
errorFn(_p12._0));
case 'Loading':
return _krisajenkins$remotedata$RemoteData$Loading;
default:
return _krisajenkins$remotedata$RemoteData$NotAsked;
}
});
var _krisajenkins$remotedata$RemoteData$andThen = F2(
function (f, data) {