mirrors/git-annex
2
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

not a phantom type

Browse source
This commit is contained in:
Joey Hess 2019-04-27 14:08:11 -04:00
parent ff475d71c0
commit dd31805108
No known key found for this signature in database
GPG key ID: DB12DB0FF05F8F38
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
Creds.hs
View file

@ -50,7 +50,7 @@ data CredPairStorage = CredPairStorage
- -
- The remote's configuration should have already had a cipher stored in it - The remote's configuration should have already had a cipher stored in it
- if that's going to be done, so that the creds can be encrypted using the - if that's going to be done, so that the creds can be encrypted using the
- cipher. The EncryptionIsSetup phantom type ensures that is the case. - cipher. The EncryptionIsSetup is witness to that being the case.
-} -}
setRemoteCredPair :: EncryptionIsSetup -> RemoteConfig -> RemoteGitConfig -> CredPairStorage -> Maybe CredPair -> Annex RemoteConfig setRemoteCredPair :: EncryptionIsSetup -> RemoteConfig -> RemoteGitConfig -> CredPairStorage -> Maybe CredPair -> Annex RemoteConfig
setRemoteCredPair encsetup c gc storage mcreds = case mcreds of setRemoteCredPair encsetup c gc storage mcreds = case mcreds of