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