provide file with content to export

Rather than providing the key to export, provide the file.

When exporting a treeish that contains files that are not annexed,
this will let the content of those files also be exported.

There's still a Key in the interface; it will be used by the external
special remote protocol. A SHA1 key can be used when exporting
non-annexed files.

This commit was sponsored by Brock Spratlen on Patreon.

1 files changed, 6 insertions, 6 deletions

diff --git a/Types/Remote.hs b/Types/Remote.hs
index d4b76f54f..6a4d2039e 100644
--- a/Types/Remote.hs
+++ b/Types/Remote.hs
@@ -97,20 +97,20 @@ data RemoteA a = Remote {
 	-- operation.
 	checkPresentCheap :: Bool,
 
-	-- Exports a key's contents to an ExportLocation.
+	-- Exports content to an ExportLocation.
 	-- The exported file does not need to be updated atomically.
-	storeExport :: Maybe (Key -> ExportLocation -> MeterUpdate -> a Bool),
-	-- Retrieves an exported key to a file.
+	storeExport :: Maybe (FilePath -> Key -> ExportLocation -> MeterUpdate -> a Bool),
+	-- Retrieves exported content to a file.
 	-- (The MeterUpdate does not need to be used if it writes
 	-- sequentially to the file.)
 	retrieveExport :: Maybe (Key -> ExportLocation -> FilePath -> MeterUpdate -> a (Bool, Verification)),
-	-- Removes an exported key (succeeds if the contents are not present)
+	-- Removes an exported file (succeeds if the contents are not present)
 	removeExport :: Maybe (Key -> ExportLocation -> a Bool),
-	-- Checks if a key is exported to the remote at the specified
+	-- Checks if anything is exported to the remote at the specified
 	-- ExportLocation.
 	-- Throws an exception if the remote cannot be accessed.
 	checkPresentExport :: Maybe (Key -> ExportLocation -> a Bool),
-	-- Renames an already exported key.
+	-- Renames an already exported file.
 	renameExport :: Maybe (Key -> ExportLocation -> ExportLocation -> a Bool),
 
 	-- Some remotes can provide additional details for whereis.