diff options
author | Andrew Cady <d@jerkface.net> | 2019-07-04 09:15:17 -0400 |
---|---|---|
committer | Andrew Cady <d@jerkface.net> | 2019-07-04 09:33:52 -0400 |
commit | c13b7dc9375dca7bffff9f92c900c45c3aa443e7 (patch) | |
tree | 95eefec8c18a5905337c3644b8ecc8e662484b66 /lib/KeyRing | |
parent | f43b5352a547a7a8b8c4641db1e1e4b545531c0a (diff) |
fixup! minor refactor
Diffstat (limited to 'lib/KeyRing')
-rw-r--r-- | lib/KeyRing/Types.hs | 8 |
1 files changed, 6 insertions, 2 deletions
diff --git a/lib/KeyRing/Types.hs b/lib/KeyRing/Types.hs index 22937a7..0797dab 100644 --- a/lib/KeyRing/Types.hs +++ b/lib/KeyRing/Types.hs | |||
@@ -1,4 +1,3 @@ | |||
1 | {-# LANGUAGE DeriveAnyClass #-} | ||
2 | {-# LANGUAGE DeriveFunctor #-} | 1 | {-# LANGUAGE DeriveFunctor #-} |
3 | {-# LANGUAGE PatternSynonyms #-} | 2 | {-# LANGUAGE PatternSynonyms #-} |
4 | module KeyRing.Types where | 3 | module KeyRing.Types where |
@@ -30,7 +29,12 @@ data KeyRingOperation = KeyRingOperation | |||
30 | -- files reside. Otherwise, the evironment variable $GNUPGHOME is consulted | 29 | -- files reside. Otherwise, the evironment variable $GNUPGHOME is consulted |
31 | -- and if that is not set, it falls back to $HOME/.gnupg. | 30 | -- and if that is not set, it falls back to $HOME/.gnupg. |
32 | } | 31 | } |
33 | deriving (Eq,Show,Semigroup,Monoid) | 32 | deriving (Eq,Show) |
33 | instance Semigroup KeyRingOperation where | ||
34 | KeyRingOperation f p t h <> KeyRingOperation f' p' t' h' = | ||
35 | KeyRingOperation (f <> f') (p <> p') (t <> t') (h <> h') | ||
36 | instance Monoid KeyRingOperation where | ||
37 | mempty = KeyRingOperation Map.empty [] [] Nothing | ||
34 | 38 | ||
35 | data InputFile = HomeSec | 39 | data InputFile = HomeSec |
36 | -- ^ A file named secring.gpg located in the home directory. | 40 | -- ^ A file named secring.gpg located in the home directory. |