Hackage.Security.Key.Env

Documentation

data KeyEnv

A key environment is a mapping from key IDs to the corresponding keys.

It should satisfy the invariant that these key IDs actually match the keys; see checkKeyEnvInvariant.

Instances

Show KeyEnv

Defined in Hackage.Security.Key.Env

Methods

showsPrec :: Int -> KeyEnv -> ShowS

show :: KeyEnv -> String

showList :: [KeyEnv] -> ShowS

ReportSchemaErrors m => FromJSON m KeyEnv

Defined in Hackage.Security.Key.Env

Methods

fromJSON :: JSValue -> m KeyEnv

Monad m => ToJSON m KeyEnv

Defined in Hackage.Security.Key.Env

Methods

toJSON :: KeyEnv -> m JSValue

keyEnvMap :: KeyEnv -> Map KeyId (Some PublicKey)

Convenience constructors

fromPublicKeys :: [Some PublicKey] -> KeyEnv

fromKeys :: [Some Key] -> KeyEnv

The usual accessors

empty :: KeyEnv

null :: KeyEnv -> Bool

insert :: Some PublicKey -> KeyEnv -> KeyEnv

lookup :: KeyId -> KeyEnv -> Maybe (Some PublicKey)

union :: KeyEnv -> KeyEnv -> KeyEnv