vvalue
bootstrap :: (Throws SomeRemoteError, Throws VerificationError)=> Repository down-> [KeyId]-> KeyThreshold-> IO ()
:: a typeCtrl KGHC 10.0.0.20260917 · master · 5ff592b · 2026-10-19
Modulehackage-security-0.6.4.0
DirectorydirectoryFirst :: DirectoryEntrydirectoryNext :: DirectoryEntrydirectoryLookup :: forall dec. IndexFile dec -> Maybe DirectoryEntrydirectoryEntries :: [(DirectoryEntry, IndexPath, Maybe (Some IndexFile))]DirectoryEntrydirectoryEntryBlockNo :: TarEntryOffsetEq DirectoryEntryDefined in hackage-security-0.6.4.0 · Hackage.Security.ClientOrd DirectoryEntryDefined in hackage-security-0.6.4.0 · Hackage.Security.ClientRead DirectoryEntryDefined in hackage-security-0.6.4.0 · Hackage.Security.ClientShow DirectoryEntryDefined in hackage-security-0.6.4.0 · Hackage.Security.ClientEq HasUpdatesDefined in hackage-security-0.6.4.0 · Hackage.Security.ClientOrd HasUpdatesDefined in hackage-security-0.6.4.0 · Hackage.Security.ClientShow HasUpdatesDefined in hackage-security-0.6.4.0 · Hackage.Security.ClientIndexCallbacksindexLookupEntry :: DirectoryEntry -> IO (Some IndexEntry, Maybe DirectoryEntry)indexLookupFile :: forall dec. IndexFile dec -> IO (Maybe (IndexEntry dec))indexLookupFileEntry :: forall dec. DirectoryEntry -> IndexFile dec -> IO (IndexEntry dec)indexLookupCabal :: Throws InvalidPackageException => PackageIdentifier -> IO (Trusted ByteString)indexLookupMetadata :: Throws InvalidPackageException => PackageIdentifier -> IO (Trusted Targets)indexLookupFileInfo :: (Throws InvalidPackageException, Throws VerificationError) => PackageIdentifier -> IO (Trusted FileInfo)indexLookupHash :: (Throws InvalidPackageException, Throws VerificationError) => PackageIdentifier -> IO (Trusted Hash)indexDirectory :: DirectoryIndexEntryindexEntryPath :: IndexPathindexEntryPathParsed :: Maybe (IndexFile dec)indexEntryContent :: ByteStringindexEntryContentParsed :: Either SomeException decindexEntryTime :: EpochTimeShow InvalidFileInIndexDefined in hackage-security-0.6.4.0 · Hackage.Security.ClientException InvalidFileInIndexDefined in hackage-security-0.6.4.0 · Hackage.Security.ClientPretty InvalidFileInIndexDefined in hackage-security-0.6.4.0 · Hackage.Security.ClientShow InvalidPackageExceptionDefined in hackage-security-0.6.4.0 · Hackage.Security.ClientException InvalidPackageExceptionDefined in hackage-security-0.6.4.0 · Hackage.Security.ClientPretty InvalidPackageExceptionDefined in hackage-security-0.6.4.0 · Hackage.Security.ClientShow LocalFileCorruptedDefined in hackage-security-0.6.4.0 · Hackage.Security.ClientException LocalFileCorruptedDefined in hackage-security-0.6.4.0 · Hackage.Security.ClientPretty LocalFileCorruptedDefined in hackage-security-0.6.4.0 · Hackage.Security.ClientdownloadedVerify :: down a -> Trusted FileInfo -> IO BooldownloadedRead :: down Metadata -> IO ByteStringdownloadedCopyTo :: down a -> Path Absolute -> IO ()DownloadedFile LocalFileDefined in hackage-security-0.6.4.0 · Hackage.Security.Client.Repository.LocalDownloadedFile RemoteTempDefined in hackage-security-0.6.4.0 · Hackage.Security.Client.Repository.RemoteLogRootUpdatedLogVerificationError VerificationErrorforall fs typ. LogDownloading (RemoteFile fs typ)forall fs. LogUpdating (RemoteFile fs Binary)LogSelectedMirror MirrorDescriptionforall fs. LogCannotUpdate (RemoteFile fs Binary) UpdateFailureLogMirrorFailed MirrorDescription SomeExceptionLogLockWait (Path Absolute)LogLockWaitDone (Path Absolute)LogUnlock (Path Absolute)Pretty LogMessageDefined in hackage-security-0.6.4.0 · Hackage.Security.Client.RepositoryShow (Repository down)Defined in hackage-security-0.6.4.0 · Hackage.Security.Client.RepositorySomeRemoteError :: Exception e => e -> SomeRemoteErrorShow SomeRemoteErrorDefined in hackage-security-0.6.4.0 · Hackage.Security.Client.RepositoryException SomeRemoteErrorDefined in hackage-security-0.6.4.0 · Hackage.Security.Client.RepositoryPretty SomeRemoteErrorDefined in hackage-security-0.6.4.0 · Hackage.Security.Client.RepositoryKeyEd25519 :: PublicKey -> SecretKey -> Key Ed25519HasKeyId KeyDefined in hackage-security-0.6.4.0 · Hackage.Security.KeySomeEq KeyDefined in hackage-security-0.6.4.0 · Hackage.Security.KeySomeShow KeyDefined in hackage-security-0.6.4.0 · Hackage.Security.KeyTyped KeyDefined in hackage-security-0.6.4.0 · Hackage.Security.KeyReportSchemaErrors m => FromJSON m (Some Key)Defined in hackage-security-0.6.4.0 · Hackage.Security.KeyMonad m => ToJSON m (Key typ)Defined in hackage-security-0.6.4.0 · Hackage.Security.KeyMonad m => ToJSON m (Some Key)Defined in hackage-security-0.6.4.0 · Hackage.Security.KeyEq (Key typ)Defined in hackage-security-0.6.4.0 · Hackage.Security.KeyShow (Key typ)Defined in hackage-security-0.6.4.0 · Hackage.Security.Keytype TypeOf Key = KeyTypeDefined in hackage-security-0.6.4.0 · Hackage.Security.KeyEq KeyIdDefined in hackage-security-0.6.4.0 · Hackage.Security.KeyOrd KeyIdDefined in hackage-security-0.6.4.0 · Hackage.Security.KeyShow KeyIdDefined in hackage-security-0.6.4.0 · Hackage.Security.KeyMonad m => FromObjectKey m KeyIdDefined in hackage-security-0.6.4.0 · Hackage.Security.KeyMonad m => ToObjectKey m KeyIdDefined in hackage-security-0.6.4.0 · Hackage.Security.KeyUnify KeyTypeDefined in hackage-security-0.6.4.0 · Hackage.Security.KeySomeEq KeyTypeDefined in hackage-security-0.6.4.0 · Hackage.Security.KeySomeShow KeyTypeDefined in hackage-security-0.6.4.0 · Hackage.Security.KeyReportSchemaErrors m => FromJSON m (Some KeyType)Defined in hackage-security-0.6.4.0 · Hackage.Security.KeyMonad m => ToJSON m (KeyType typ)Defined in hackage-security-0.6.4.0 · Hackage.Security.KeyMonad m => ToJSON m (Some KeyType)Defined in hackage-security-0.6.4.0 · Hackage.Security.KeyEq (KeyType typ)Defined in hackage-security-0.6.4.0 · Hackage.Security.KeyShow (KeyType typ)Defined in hackage-security-0.6.4.0 · Hackage.Security.KeySomeEq PrivateKeyDefined in hackage-security-0.6.4.0 · Hackage.Security.KeySomeShow PrivateKeyDefined in hackage-security-0.6.4.0 · Hackage.Security.KeyTyped PrivateKeyDefined in hackage-security-0.6.4.0 · Hackage.Security.KeyEq (PrivateKey typ)Defined in hackage-security-0.6.4.0 · Hackage.Security.KeyShow (PrivateKey typ)Defined in hackage-security-0.6.4.0 · Hackage.Security.Keytype TypeOf PrivateKey = KeyTypeDefined in hackage-security-0.6.4.0 · Hackage.Security.KeyHasKeyId PublicKeyDefined in hackage-security-0.6.4.0 · Hackage.Security.KeySomeEq PublicKeyDefined in hackage-security-0.6.4.0 · Hackage.Security.KeySomeShow PublicKeyDefined in hackage-security-0.6.4.0 · Hackage.Security.KeyTyped PublicKeyDefined in hackage-security-0.6.4.0 · Hackage.Security.KeyReportSchemaErrors m => FromJSON m (Some PublicKey)Defined in hackage-security-0.6.4.0 · Hackage.Security.KeyMonad m => ToJSON m (PublicKey typ)Defined in hackage-security-0.6.4.0 · Hackage.Security.KeyMonad m => ToJSON m (Some PublicKey)Defined in hackage-security-0.6.4.0 · Hackage.Security.KeyEq (PublicKey typ)Defined in hackage-security-0.6.4.0 · Hackage.Security.KeyShow (PublicKey typ)Defined in hackage-security-0.6.4.0 · Hackage.Security.Keytype TypeOf PublicKey = KeyTypeDefined in hackage-security-0.6.4.0 · Hackage.Security.KeyEq FileLengthDefined in hackage-security-0.6.4.0 · Hackage.Security.TUF.CommonOrd FileLengthDefined in hackage-security-0.6.4.0 · Hackage.Security.TUF.CommonShow FileLengthDefined in hackage-security-0.6.4.0 · Hackage.Security.TUF.CommonReportSchemaErrors m => FromJSON m FileLengthDefined in hackage-security-0.6.4.0 · Hackage.Security.TUF.CommonMonad m => ToJSON m FileLengthDefined in hackage-security-0.6.4.0 · Hackage.Security.TUF.CommonEq HashDefined in hackage-security-0.6.4.0 · Hackage.Security.TUF.CommonOrd HashDefined in hackage-security-0.6.4.0 · Hackage.Security.TUF.CommonShow HashDefined in hackage-security-0.6.4.0 · Hackage.Security.TUF.CommonReportSchemaErrors m => FromJSON m HashDefined in hackage-security-0.6.4.0 · Hackage.Security.TUF.CommonMonad m => ToJSON m HashDefined in hackage-security-0.6.4.0 · Hackage.Security.TUF.CommonEq KeyThresholdDefined in hackage-security-0.6.4.0 · Hackage.Security.TUF.CommonOrd KeyThresholdDefined in hackage-security-0.6.4.0 · Hackage.Security.TUF.CommonShow KeyThresholdDefined in hackage-security-0.6.4.0 · Hackage.Security.TUF.CommonReportSchemaErrors m => FromJSON m KeyThresholdDefined in hackage-security-0.6.4.0 · Hackage.Security.TUF.CommonMonad m => ToJSON m KeyThresholdDefined in hackage-security-0.6.4.0 · Hackage.Security.TUF.CommonEq HashFnDefined in hackage-security-0.6.4.0 · Hackage.Security.TUF.FileInfoOrd HashFnDefined in hackage-security-0.6.4.0 · Hackage.Security.TUF.FileInfoShow HashFnDefined in hackage-security-0.6.4.0 · Hackage.Security.TUF.FileInfoReportSchemaErrors m => FromObjectKey m HashFnDefined in hackage-security-0.6.4.0 · Hackage.Security.TUF.FileInfoMonad m => ToObjectKey m HashFnDefined in hackage-security-0.6.4.0 · Hackage.Security.TUF.FileInfoShow FileChangeDefined in hackage-security-0.6.4.0 · Hackage.Security.TUF.FileMapEq TargetPathDefined in hackage-security-0.6.4.0 · Hackage.Security.TUF.FileMapOrd TargetPathDefined in hackage-security-0.6.4.0 · Hackage.Security.TUF.FileMapShow TargetPathDefined in hackage-security-0.6.4.0 · Hackage.Security.TUF.FileMapPretty TargetPathDefined in hackage-security-0.6.4.0 · Hackage.Security.TUF.FileMapReportSchemaErrors m => FromObjectKey m TargetPathDefined in hackage-security-0.6.4.0 · Hackage.Security.TUF.FileMapMonad m => ToObjectKey m TargetPathDefined in hackage-security-0.6.4.0 · Hackage.Security.TUF.FileMapEq FileExpiresDefined in hackage-security-0.6.4.0 · Hackage.Security.TUF.HeaderOrd FileExpiresDefined in hackage-security-0.6.4.0 · Hackage.Security.TUF.HeaderShow FileExpiresDefined in hackage-security-0.6.4.0 · Hackage.Security.TUF.HeaderReportSchemaErrors m => FromJSON m FileExpiresDefined in hackage-security-0.6.4.0 · Hackage.Security.TUF.HeaderMonad m => ToJSON m FileExpiresDefined in hackage-security-0.6.4.0 · Hackage.Security.TUF.HeaderEq FileVersionDefined in hackage-security-0.6.4.0 · Hackage.Security.TUF.HeaderOrd FileVersionDefined in hackage-security-0.6.4.0 · Hackage.Security.TUF.HeaderRead FileVersionDefined in hackage-security-0.6.4.0 · Hackage.Security.TUF.HeaderShow FileVersionDefined in hackage-security-0.6.4.0 · Hackage.Security.TUF.HeaderReportSchemaErrors m => FromJSON m FileVersionDefined in hackage-security-0.6.4.0 · Hackage.Security.TUF.HeaderMonad m => ToJSON m FileVersionDefined in hackage-security-0.6.4.0 · Hackage.Security.TUF.HeaderfileExpires :: Lens' a FileExpiresfileVersion :: Lens' a FileVersionHasHeader HeaderDefined in hackage-security-0.6.4.0 · Hackage.Security.TUF.HeaderHasHeader MirrorsDefined in hackage-security-0.6.4.0 · Hackage.Security.TUF.MirrorsHasHeader RootDefined in hackage-security-0.6.4.0 · Hackage.Security.TUF.RootHasHeader SnapshotDefined in hackage-security-0.6.4.0 · Hackage.Security.TUF.SnapshotHasHeader TargetsDefined in hackage-security-0.6.4.0 · Hackage.Security.TUF.TargetsHasHeader TimestampDefined in hackage-security-0.6.4.0 · Hackage.Security.TUF.TimestampHasHeader HeaderDefined in hackage-security-0.6.4.0 · Hackage.Security.TUF.HeaderReportSchemaErrors m => FromJSON m HeaderDefined in hackage-security-0.6.4.0 · Hackage.Security.TUF.HeaderIndexPkgMetadata :: PackageIdentifier -> IndexFile (Signed Targets)IndexPkgCabal :: PackageIdentifier -> IndexFile ()IndexPkgPrefs :: PackageName -> IndexFile ()SomePretty IndexFileDefined in hackage-security-0.6.4.0 · Hackage.Security.TUF.Layout.IndexSomeShow IndexFileDefined in hackage-security-0.6.4.0 · Hackage.Security.TUF.Layout.IndexShow (IndexFile dec)Defined in hackage-security-0.6.4.0 · Hackage.Security.TUF.Layout.IndexPretty (IndexFile dec)Defined in hackage-security-0.6.4.0 · Hackage.Security.TUF.Layout.IndexIndexLayoutindexFileToPath :: forall dec. IndexFile dec -> IndexPathindexFileFromPath :: IndexPath -> Maybe (Some IndexFile)MonadReader RepoLayout ReadJSON_Keys_LayoutDefined in hackage-security-0.6.4.0 · Hackage.Security.JSONMonadReader RepoLayout WriteJSONDefined in hackage-security-0.6.4.0 · Hackage.Security.JSONShow MirrorContentDefined in hackage-security-0.6.4.0 · Hackage.Security.TUF.MirrorsHasHeader MirrorsDefined in hackage-security-0.6.4.0 · Hackage.Security.TUF.MirrorsVerifyRole MirrorsDefined in hackage-security-0.6.4.0 · Hackage.Security.Trusted(MonadError DeserializationError m, ReportSchemaErrors m) => FromJSON m MirrorsDefined in hackage-security-0.6.4.0 · Hackage.Security.TUF.MirrorsMonad m => ToJSON m MirrorsDefined in hackage-security-0.6.4.0 · Hackage.Security.TUF.MirrorsMonadKeys m => FromJSON m (Signed Mirrors)Defined in hackage-security-0.6.4.0 · Hackage.Security.TUF.Mirrorsforall a. Delegation (Pattern a) (Replacement a)Show DelegationDefined in hackage-security-0.6.4.0 · Hackage.Security.TUF.PatternsLift DelegationDefined in hackage-security-0.6.4.0 · Hackage.Security.TUF.PatternsHasHeader RootDefined in hackage-security-0.6.4.0 · Hackage.Security.TUF.RootVerifyRole RootDefined in hackage-security-0.6.4.0 · Hackage.Security.TrustedMonad m => ToJSON m RootDefined in hackage-security-0.6.4.0 · Hackage.Security.TUF.RootMonadKeys m => FromJSON m (Signed Root)Defined in hackage-security-0.6.4.0 · Hackage.Security.TUF.RootShow PreSignatureDefined in hackage-security-0.6.4.0 · Hackage.Security.TUF.SignedReportSchemaErrors m => FromJSON m PreSignatureDefined in hackage-security-0.6.4.0 · Hackage.Security.TUF.SignedMonad m => ToJSON m PreSignatureDefined in hackage-security-0.6.4.0 · Hackage.Security.TUF.SignedMonadKeys m => FromJSON m SignaturesDefined in hackage-security-0.6.4.0 · Hackage.Security.TUF.SignedMonad m => ToJSON m SignaturesDefined in hackage-security-0.6.4.0 · Hackage.Security.TUF.SignedSignedsigned :: asignatures :: SignaturesMonadKeys m => FromJSON m (Signed Mirrors)Defined in hackage-security-0.6.4.0 · Hackage.Security.TUF.MirrorsMonadKeys m => FromJSON m (Signed Root)Defined in hackage-security-0.6.4.0 · Hackage.Security.TUF.RootMonadKeys m => FromJSON m (Signed Targets)Defined in hackage-security-0.6.4.0 · Hackage.Security.TUF.Targets(MonadKeys m, MonadReader RepoLayout m) => FromJSON m (Signed Snapshot)Defined in hackage-security-0.6.4.0 · Hackage.Security.TUF.Snapshot(MonadKeys m, MonadReader RepoLayout m) => FromJSON m (Signed Timestamp)Defined in hackage-security-0.6.4.0 · Hackage.Security.TUF.Timestamp(Monad m, ToJSON m a) => ToJSON m (Signed a)Defined in hackage-security-0.6.4.0 · Hackage.Security.TUF.Signed(ReportSchemaErrors m, FromJSON m a) => FromJSON m (UninterpretedSignatures a)Defined in hackage-security-0.6.4.0 · Hackage.Security.TUF.Signed(Monad m, ToJSON m a) => ToJSON m (UninterpretedSignatures a)Defined in hackage-security-0.6.4.0 · Hackage.Security.TUF.SignedShow a => Show (UninterpretedSignatures a)Defined in hackage-security-0.6.4.0 · Hackage.Security.TUF.SignedHasHeader SnapshotDefined in hackage-security-0.6.4.0 · Hackage.Security.TUF.SnapshotVerifyRole SnapshotDefined in hackage-security-0.6.4.0 · Hackage.Security.Trusted(MonadReader RepoLayout m, MonadError DeserializationError m, ReportSchemaErrors m) => FromJSON m SnapshotDefined in hackage-security-0.6.4.0 · Hackage.Security.TUF.SnapshotMonadReader RepoLayout m => ToJSON m SnapshotDefined in hackage-security-0.6.4.0 · Hackage.Security.TUF.Snapshot(MonadKeys m, MonadReader RepoLayout m) => FromJSON m (Signed Snapshot)Defined in hackage-security-0.6.4.0 · Hackage.Security.TUF.SnapshotShow DelegationSpecDefined in hackage-security-0.6.4.0 · Hackage.Security.TUF.TargetsMonadKeys m => FromJSON m DelegationSpecDefined in hackage-security-0.6.4.0 · Hackage.Security.TUF.TargetsMonad m => ToJSON m DelegationSpecDefined in hackage-security-0.6.4.0 · Hackage.Security.TUF.TargetsShow DelegationsDefined in hackage-security-0.6.4.0 · Hackage.Security.TUF.TargetsMonadKeys m => FromJSON m DelegationsDefined in hackage-security-0.6.4.0 · Hackage.Security.TUF.TargetsMonad m => ToJSON m DelegationsDefined in hackage-security-0.6.4.0 · Hackage.Security.TUF.TargetsShow TargetsDefined in hackage-security-0.6.4.0 · Hackage.Security.TUF.TargetsHasHeader TargetsDefined in hackage-security-0.6.4.0 · Hackage.Security.TUF.TargetsMonadKeys m => FromJSON m TargetsDefined in hackage-security-0.6.4.0 · Hackage.Security.TUF.TargetsMonad m => ToJSON m TargetsDefined in hackage-security-0.6.4.0 · Hackage.Security.TUF.TargetsMonadKeys m => FromJSON m (Signed Targets)Defined in hackage-security-0.6.4.0 · Hackage.Security.TUF.TargetsHasHeader TimestampDefined in hackage-security-0.6.4.0 · Hackage.Security.TUF.TimestampVerifyRole TimestampDefined in hackage-security-0.6.4.0 · Hackage.Security.Trusted(MonadReader RepoLayout m, MonadError DeserializationError m, ReportSchemaErrors m) => FromJSON m TimestampDefined in hackage-security-0.6.4.0 · Hackage.Security.TUF.TimestampMonadReader RepoLayout m => ToJSON m TimestampDefined in hackage-security-0.6.4.0 · Hackage.Security.TUF.Timestamp(MonadKeys m, MonadReader RepoLayout m) => FromJSON m (Signed Timestamp)Defined in hackage-security-0.6.4.0 · Hackage.Security.TUF.TimestampShow RootUpdatedDefined in hackage-security-0.6.4.0 · Hackage.Security.Trusted.TCBException RootUpdatedDefined in hackage-security-0.6.4.0 · Hackage.Security.Trusted.TCBPretty RootUpdatedDefined in hackage-security-0.6.4.0 · Hackage.Security.Trusted.TCBVerificationErrorSignatures TargetPath Integer [KeyId] [KeyId]VerificationErrorExpired TargetPathVerificationErrorVersion TargetPathVerificationErrorFileInfo TargetPathVerificationErrorUnknownTarget TargetPathVerificationErrorMissingSHA256 TargetPathVerificationErrorDeserialization TargetPath DeserializationErrorVerificationErrorLoop VerificationHistoryShow VerificationErrorDefined in hackage-security-0.6.4.0 · Hackage.Security.Trusted.TCBException VerificationErrorDefined in hackage-security-0.6.4.0 · Hackage.Security.Trusted.TCBPretty VerificationErrorDefined in hackage-security-0.6.4.0 · Hackage.Security.Trusted.TCBBounded Int54Defined in hackage-security-0.6.4.0 · Text.JSON.CanonicalEnum Int54Defined in hackage-security-0.6.4.0 · Text.JSON.CanonicalEq Int54Defined in hackage-security-0.6.4.0 · Text.JSON.CanonicalIntegral Int54Defined in hackage-security-0.6.4.0 · Text.JSON.CanonicalData Int54Defined in hackage-security-0.6.4.0 · Text.JSON.CanonicalNum Int54Defined in hackage-security-0.6.4.0 · Text.JSON.CanonicalOrd Int54Defined in hackage-security-0.6.4.0 · Text.JSON.CanonicalRead Int54Defined in hackage-security-0.6.4.0 · Text.JSON.CanonicalReal Int54Defined in hackage-security-0.6.4.0 · Text.JSON.CanonicalShow Int54Defined in hackage-security-0.6.4.0 · Text.JSON.CanonicalIx Int54Defined in hackage-security-0.6.4.0 · Text.JSON.CanonicalBits Int54Defined in hackage-security-0.6.4.0 · Text.JSON.CanonicalFiniteBits Int54Defined in hackage-security-0.6.4.0 · Text.JSON.CanonicalStorable Int54Defined in hackage-security-0.6.4.0 · Text.JSON.CanonicalPrintfArg Int54Defined in hackage-security-0.6.4.0 · Text.JSON.CanonicalReportSchemaErrors m => FromJSON m Int54Defined in hackage-security-0.6.4.0 · Hackage.Security.Util.JSONMonad m => ToJSON m Int54Defined in hackage-security-0.6.4.0 · Hackage.Security.Util.JSON