Hackage.Security.Server

Re-exports

Key types

data Ed25519

Types abstracting over key types

data Key a

data PublicKey a

data PrivateKey a

Key types in isolation

data KeyType typ

Hiding key types

somePublicKey

somePublicKeyType

someKeyId

Operations on keys

publicKey

privateKey

createKey

createKey'

Key IDs

data KeyId

class HasKeyId key

Signing

sign

verify

Types

data FileLength

data Hash

data KeyThreshold

data FileInfo

data HashFn

data Hash

Utility

fileInfo

computeFileInfo

knownFileInfoEqual

class HasHeader a

data FileVersion

data FileExpires

data Header

Utility

expiresInDays

expiresNever

isExpired

versionInitial

versionIncrement

Repository layout

data RepoRoot

type RepoPath

data RepoLayout

hackageRepoLayout

cabalLocalRepoLayout

anchorRepoPathLocally

anchorRepoPathRemotely

Index tarball layout

data IndexRoot

type IndexPath

data IndexLayout

hackageIndexLayout

Cache layout

data CacheRoot

type CachePath

data CacheLayout

cabalCacheLayout

anchorCachePath

TUF types

data Mirrors

data Mirror

data MirrorContent

Utility

type MirrorDescription

describeMirror

Patterns and replacements

type FileName

type Directory

type Extension

type BaseName

data Pattern a

data Replacement a

data Delegation

Utility

identityReplacement

matchDelegation

Parsing and quasi-quoting

parseDelegation

qqd

Datatypes

data Root

data RootRoles

data RoleSpec a

TUF types

data Signed a

data Signatures

data Signature

Construction and verification

unsigned

withSignatures

withSignatures'

signRendered

verifySignature

JSON aids

signedFromJSON

verifySignatures

Avoid interpreting signatures

data UninterpretedSignatures a

data PreSignature

Utility

fromPreSignature

fromPreSignatures

toPreSignature

toPreSignatures

data Snapshot

TUF types

data Targets

data Delegations

data DelegationSpec

data Delegation

Util

targetsLookup

data Timestamp