GHCup.Download

Module for handling all download related functions.

Generally we support downloading via:

• curl (default)
• wget
• internal downloader (only when compiled)

Documentation

getDownloadsF :: (FromJSONKey Tool, FromJSONKey Version, FromJSON VersionInfo, MonadIO m, MonadCatch m, MonadLogger m, MonadThrow m, MonadFail m, MonadReader AppState m) => URLSource -> Excepts '[JSONError, DownloadFailed, FileDoesNotExistError] m GHCupInfo

Downloads the download information! But only if we need to ;P

readFromCache :: (MonadIO m, MonadCatch m, MonadLogger m, MonadReader AppState m) => Excepts '[JSONError, FileDoesNotExistError] m GHCupInfo

getBase :: (MonadFail m, MonadIO m, MonadCatch m, MonadLogger m, MonadReader AppState m) => Excepts '[JSONError, FileDoesNotExistError] m GHCupInfo

getDownloadInfo

Arguments

:: Tool

-> Version

tool version

-> PlatformRequest

-> GHCupDownloads

-> Either NoDownload DownloadInfo

download

Arguments

:: (MonadMask m, MonadReader AppState m, MonadThrow m, MonadLogger m, MonadIO m)

=> DownloadInfo

-> Path Abs

destination dir

-> Maybe (Path Rel)

optional filename

-> Excepts '[DigestError, DownloadFailed] m (Path Abs)

Tries to download from the given http or https url and saves the result in continuous memory into a file. If the filename is not provided, then we: 1. try to guess the filename from the url path 2. otherwise create a random file

The file must not exist.

downloadCached

Arguments

:: (MonadMask m, MonadResource m, MonadThrow m, MonadLogger m, MonadIO m, MonadReader AppState m)

=> DownloadInfo

-> Maybe (Path Rel)

optional filename

-> Excepts '[DigestError, DownloadFailed] m (Path Abs)

Download into tmpdir or use cached version, if it exists. If filename is omitted, infers the filename from the url.

downloadBS :: (MonadReader AppState m, MonadCatch m, MonadIO m, MonadLogger m) => URI -> Excepts '[FileDoesNotExistError, HTTPStatusError, URIParseError, UnsupportedScheme, NoLocationHeader, TooManyRedirs, ProcessError] m ByteString

This is used for downloading the JSON.

checkDigest :: (MonadIO m, MonadThrow m, MonadLogger m, MonadReader AppState m) => DownloadInfo -> Path Abs -> Excepts '[DigestError] m ()

getCurlOpts :: IO [ByteString]

Get additional curl args from env. This is an undocumented option.

getWgetOpts :: IO [ByteString]

Get additional wget args from env. This is an undocumented option.