| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Hackage.Security.Key.Env
Synopsis
- 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.
Instances
| Show KeyEnv # | |
| ReportSchemaErrors m => FromJSON m KeyEnv # | |
Defined in Hackage.Security.Key.Env | |
| Monad m => ToJSON m KeyEnv # | |
Defined in Hackage.Security.Key.Env | |
Convenience constructors
fromPublicKeys :: [Some PublicKey] -> KeyEnv #