Skip to content
Snippets Groups Projects
Commit 4a4aa0a6 authored by Jean-Paul Calderone's avatar Jean-Paul Calderone
Browse files

use a less overloaded word for this type

parent 749871d1
No related branches found
No related tags found
1 merge request!7Turn WhichShare into an associated type family
......@@ -35,7 +35,7 @@ import Tahoe.Download.Internal.Mutable
type DownloadTask = (ShareNum, StorageServer)
-- | A downloaded share
type Share = (ShareNum, LB.ByteString)
type DownloadedShare = (ShareNum, LB.ByteString)
{- | Recover the application data associated with a given capability from the
given servers, if possible.
......@@ -107,7 +107,7 @@ executeDownloadTasks ::
-- | The downloads to attempt.
[DownloadTask] ->
-- | The results of all successful downloads.
m [Share]
m [DownloadedShare]
executeDownloadTasks storageIndex tasks = do
downloadResults <- mapM (downloadShare storageIndex) tasks
pure . rights $ inject <$> downloadResults
......@@ -154,7 +154,7 @@ decodeShares ::
-- | The read capability which allows the contents to be decrypted.
readCap ->
-- | The results of downloading the shares.
[Share] ->
[DownloadedShare] ->
Int ->
m (Either DownloadError LB.ByteString)
decodeShares r shares required = do
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment