diff options
author | Andrew Cady <d@jerkface.net> | 2019-07-03 15:17:24 -0400 |
---|---|---|
committer | Andrew Cady <d@jerkface.net> | 2019-07-03 15:20:22 -0400 |
commit | c54050cd56d4f1181ce31636b1a176b953604903 (patch) | |
tree | b0333d58309c9d9d04ea1bd617856a63f49a932f /lib/KeyRing | |
parent | 18a7a369c12b10f6db7dc014e77d7cc6fc2b7dcf (diff) |
minor refactor
Diffstat (limited to 'lib/KeyRing')
-rw-r--r-- | lib/KeyRing/Types.hs | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/lib/KeyRing/Types.hs b/lib/KeyRing/Types.hs index f5fd879..6b686d5 100644 --- a/lib/KeyRing/Types.hs +++ b/lib/KeyRing/Types.hs | |||
@@ -1,3 +1,4 @@ | |||
1 | {-# LANGUAGE DeriveAnyClass #-} | ||
1 | {-# LANGUAGE DeriveFunctor #-} | 2 | {-# LANGUAGE DeriveFunctor #-} |
2 | module KeyRing.Types where | 3 | module KeyRing.Types where |
3 | 4 | ||
@@ -28,7 +29,7 @@ data KeyRingOperation = KeyRingOperation | |||
28 | -- files reside. Otherwise, the evironment variable $GNUPGHOME is consulted | 29 | -- files reside. Otherwise, the evironment variable $GNUPGHOME is consulted |
29 | -- 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. |
30 | } | 31 | } |
31 | deriving (Eq,Show) | 32 | deriving (Eq,Show,Semigroup,Monoid) |
32 | 33 | ||
33 | data InputFile = HomeSec | 34 | data InputFile = HomeSec |
34 | -- ^ A file named secring.gpg located in the home directory. | 35 | -- ^ A file named secring.gpg located in the home directory. |