| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Hackage.Security.Key.Env
- data KeyEnv
- keyEnvMap :: KeyEnv -> Map KeyId (Some PublicKey)
- fromPublicKeys :: [Some PublicKey] -> KeyEnv
- fromKeys :: [Some Key] -> KeyEnv
- empty :: KeyEnv
- null :: KeyEnv -> Bool
- insert :: Some PublicKey -> KeyEnv -> KeyEnv
- lookup :: KeyId -> KeyEnv -> Maybe (Some PublicKey)
- union :: KeyEnv -> KeyEnv -> KeyEnv
Documentation
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.