Update to purescript 0.14 (#167)

This commit is contained in:
Victor Peter Rouven Müller 2021-03-03 20:16:22 +01:00 committed by GitHub
parent b3eb977096
commit ab8c1fe88c
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
3 changed files with 6 additions and 9 deletions

View File

@ -1,5 +1,5 @@
let upstream = let upstream =
https://github.com/purescript/package-sets/releases/download/psc-0.13.6-20200127/packages.dhall sha256:06a623f48c49ea1c7675fdf47f81ddb02ae274558e29f511efae1df99ea92fb8 https://github.com/purescript/package-sets/releases/download/psc-0.14.0-20210302/packages.dhall sha256:20cc5b89cf15433623ad6f250f112bf7a6bd82b5972363ecff4abf1febb02c50
let overrides = {=} let overrides = {=}

View File

@ -10,7 +10,6 @@
, "exceptions" , "exceptions"
, "foldable-traversable" , "foldable-traversable"
, "foreign" , "foreign"
, "globals"
, "lists" , "lists"
, "maybe" , "maybe"
, "newtype" , "newtype"
@ -30,6 +29,7 @@
, "tuples" , "tuples"
, "type-equality" , "type-equality"
, "unsafe-coerce" , "unsafe-coerce"
, "js-uri"
] ]
, packages = ./packages.dhall , packages = ./packages.dhall
, sources = [ "src/**/*.purs", "test/**/*.purs", "docs/**/*.purs" ] , sources = [ "src/**/*.purs", "test/**/*.purs", "docs/**/*.purs" ]

View File

@ -1,6 +1,5 @@
module HTTPure.Utils module HTTPure.Utils
( module Global ( encodeURIComponent
, encodeURIComponent
, replacePlus , replacePlus
, urlDecode , urlDecode
) where ) where
@ -9,12 +8,10 @@ import Prelude
import Data.Maybe as Maybe import Data.Maybe as Maybe
import Data.String as String import Data.String as String
import Global (decodeURIComponent) as Global import JSURI as JSURI
import Global.Unsafe (unsafeEncodeURIComponent)
encodeURIComponent :: String -> String encodeURIComponent :: String -> String
encodeURIComponent = unsafeEncodeURIComponent encodeURIComponent s = Maybe.fromMaybe s $ JSURI.encodeURIComponent s
replacePlus :: String -> String replacePlus :: String -> String
@ -24,4 +21,4 @@ replacePlus =
urlDecode :: String -> String urlDecode :: String -> String
urlDecode s = urlDecode s =
Maybe.fromMaybe s $ Global.decodeURIComponent s Maybe.fromMaybe s $ JSURI.decodeURIComponent s