2014-12-11 15:32:42 -04:00
|
|
|
{- git-annex URL contents
|
|
|
|
-
|
2015-01-21 12:50:09 -04:00
|
|
|
- Copyright 2014 Joey Hess <id@joeyh.name>
|
2014-12-11 15:32:42 -04:00
|
|
|
-
|
2019-03-13 15:48:14 -04:00
|
|
|
- Licensed under the GNU AGPL version 3 or higher.
|
2014-12-11 15:32:42 -04:00
|
|
|
-}
|
|
|
|
|
2014-12-11 20:08:49 -04:00
|
|
|
module Types.UrlContents (
|
|
|
|
UrlContents(..),
|
|
|
|
) where
|
2014-12-11 15:32:42 -04:00
|
|
|
|
|
|
|
import Utility.Url
|
|
|
|
|
|
|
|
data UrlContents
|
|
|
|
-- An URL contains a file, whose size may be known.
|
2014-12-11 16:09:56 -04:00
|
|
|
-- There might be a nicer filename to use.
|
2020-05-11 14:04:56 -04:00
|
|
|
= UrlContents (Maybe Integer) (Maybe FilePath)
|
2014-12-11 15:32:42 -04:00
|
|
|
-- Sometimes an URL points to multiple files, each accessible
|
|
|
|
-- by their own URL.
|
2020-05-11 14:04:56 -04:00
|
|
|
| UrlMulti [(URLString, Maybe Integer, FilePath)]
|