2014-12-11 19:32:42 +00:00
|
|
|
{- git-annex URL contents
|
|
|
|
-
|
|
|
|
- Copyright 2014 Joey Hess <joey@kitenet.net>
|
|
|
|
-
|
|
|
|
- Licensed under the GNU GPL version 3 or higher.
|
|
|
|
-}
|
|
|
|
|
|
|
|
module Types.UrlContents where
|
|
|
|
|
|
|
|
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.
|
|
|
|
= 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.
|
2014-12-11 20:09:56 +00:00
|
|
|
| UrlMulti [(URLString, Maybe Integer, FilePath)]
|