src/Configuration.hs

   1 -- | This module defines the 'Configuration' type, which is just a
   2 --   wrapper around all of the configuration options we accept on the
   3 --   command line.
   4 --
   5 module Configuration (
   6   Configuration(..),
   7   merge_optional )
   8 where
   9
  10 import System.Console.CmdArgs.Default ( Default(..) )
  11 import System.Log ( Priority( INFO ) )
  12
  13 import Backend ( Backend(..) )
  14 import ConnectionString ( ConnectionString )
  15 import qualified OptionalConfiguration as OC (
  16   OptionalConfiguration(..),
  17   merge_maybes )
  18
  19 -- | The main configuration data type. This will be passed to most of
  20 --   the important functions once it has been created.
  21 data Configuration =
  22   Configuration {
  23     backend           :: Backend,
  24     connection_string :: ConnectionString,
  25     log_file          :: Maybe FilePath,
  26     log_level         :: Priority,
  27     syslog            :: Bool }
  28     deriving (Show)
  29
  30 -- | A Configuration with all of its fields set to their default
  31 --   values.
  32 instance Default Configuration where
  33   def = Configuration {
  34           backend           = def,
  35           connection_string = def,
  36           log_file          = def,
  37           log_level         = INFO,
  38           syslog            = def }
  39
  40
  41 -- | Merge a Configuration with an OptionalConfiguration. This is more
  42 --   or less the Monoid instance for OptionalConfiguration, but since
  43 --   the two types are different, we have to repeat ourselves.
  44 merge_optional :: Configuration
  45                -> OC.OptionalConfiguration
  46                -> Configuration
  47 merge_optional cfg opt_cfg =
  48   Configuration
  49     (merge (backend cfg) (OC.backend opt_cfg))
  50     (merge (connection_string cfg) (OC.connection_string opt_cfg))
  51     (OC.merge_maybes (log_file cfg) (OC.log_file opt_cfg))
  52     (merge (log_level cfg) (OC.log_level opt_cfg))
  53     (merge (syslog cfg) (OC.syslog opt_cfg))
  54   where
  55     -- | If the thing on the right is Just something, return that
  56     --   something, otherwise return the thing on the left.
  57     merge :: a -> Maybe a -> a
  58     merge x Nothing  = x
  59     merge _ (Just y) = y
  60