Commit 2e8ffd68 authored by Michael Hanus 's avatar Michael Hanus
Browse files

Adapt to version3

parent e2483d5e
Copyright (c) 2017, Michael Hanus
Copyright (c) 2020, Michael Hanus
All rights reserved.
Redistribution and use in source and binary forms, with or without
......
{
"name": "url",
"version": "1.0.0",
"version": "3.0.0",
"author": "Michael Hanus <mh@informatik.uni-kiel.de>",
"synopsis": "Library for dealing with URLs",
"category": [ "Web" ],
"dependencies": {
"base" : ">= 1.0.0, < 2.0.0"
"base" : ">= 3.0.0, < 4.0.0",
"directory" : ">= 3.0.0, < 4.0.0",
"io-extra" : ">= 3.0.0, < 4.0.0",
"process" : ">= 3.0.0, < 4.0.0"
},
"exportedModules": [ "System.URL" ],
"compilerCompatibility": {
"pakcs": ">= 2.0.0, < 3.0.0",
"kics2": ">= 2.0.0, < 3.0.0"
},
"license": "BSD-3-Clause",
"licenseFile": "LICENSE",
"source": {
......
......@@ -2,15 +2,15 @@
--- Library for dealing with URLs (Uniform Resource Locators).
---
--- @author Michael Hanus
--- @version October 2019
--- @version November 2020
------------------------------------------------------------------------------
module System.URL ( getContentsOfUrl ) where
import Directory ( getTemporaryDirectory )
import FilePath ( (</>) )
import System ( getPID, system )
import IOExts ( readCompleteFile )
import System.Directory ( getTemporaryDirectory )
import System.FilePath ( (</>) )
import System.Process ( getPID, system )
import System.IOExts ( readCompleteFile )
--- Reads the contents of a document located by a URL.
--- This action requires that the program "wget" is in your path,
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment