-- | Produce a 'LogSettings' by reading environment variables
--
-- - @LOG_LEVEL@: a known log level (case insensitive) and optional levels by
--   source. See "Logging.LogSettings.LogLevels".
--
-- - @LOG_DESTINATION@: the string @stderr@ or @stdout@ (case sensitive), or
--   @\@{path}@ to log to the file at @path@. Unrecognized values will produce
--   and error.
--
-- - @LOG_FORMAT@: the string @tty@ or @json@. Unrecognized values will produce
--   an error.
--
-- - @LOG_COLOR@: the string @auto@, @always@, or @never@. Other values may be
--   recognized (e.g. @yes@ or @no@) but should not be relied on. Unrecognized
--   values will produce an error
--
-- This module is meant to be imported @qualified@.
--
-- @
-- import Blammo.Logging
-- import qualified Logging.LogSettings.Env as Env
--
-- main :: IO ()
-- main = do
--   logger <- 'newLogger' =<< Env.'parse'
--   'runLoggerLoggingT' logger $ -- ...
-- @
--
module Blammo.Logging.LogSettings.Env
  ( parse
  , parser
  ) where

import Prelude

import Blammo.Logging.LogSettings
import Data.Bifunctor (first)
import Data.Semigroup (Endo(..))
import Env hiding (parse)
import qualified Env

parse :: IO LogSettings
parse :: IO LogSettings
parse = (Info Error -> Info Error)
-> Parser Error LogSettings -> IO LogSettings
forall e a.
AsUnset e =>
(Info Error -> Info e) -> Parser e a -> IO a
Env.parse Info Error -> Info Error
forall a. a -> a
id Parser Error LogSettings
parser

-- brittany-next-binding --columns 100

parser :: Parser Error LogSettings
parser :: Parser Error LogSettings
parser = ((LogSettings -> LogSettings) -> LogSettings -> LogSettings
forall a b. (a -> b) -> a -> b
$ LogSettings
defaultLogSettings) ((LogSettings -> LogSettings) -> LogSettings)
-> ([Endo LogSettings] -> LogSettings -> LogSettings)
-> [Endo LogSettings]
-> LogSettings
forall b c a. (b -> c) -> (a -> b) -> a -> c
. Endo LogSettings -> LogSettings -> LogSettings
forall a. Endo a -> a -> a
appEndo (Endo LogSettings -> LogSettings -> LogSettings)
-> ([Endo LogSettings] -> Endo LogSettings)
-> [Endo LogSettings]
-> LogSettings
-> LogSettings
forall b c a. (b -> c) -> (a -> b) -> a -> c
. [Endo LogSettings] -> Endo LogSettings
forall a. Monoid a => [a] -> a
mconcat ([Endo LogSettings] -> LogSettings)
-> Parser Error [Endo LogSettings] -> Parser Error LogSettings
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
<$> [Parser Error (Endo LogSettings)]
-> Parser Error [Endo LogSettings]
forall (t :: * -> *) (f :: * -> *) a.
(Traversable t, Applicative f) =>
t (f a) -> f (t a)
sequenceA
  [ Reader Error (Endo LogSettings)
-> String
-> Mod Var (Endo LogSettings)
-> Parser Error (Endo LogSettings)
forall e a.
AsUnset e =>
Reader e a -> String -> Mod Var a -> Parser e a
var ((String -> Either String LogLevels)
-> (LogLevels -> LogSettings -> LogSettings)
-> Reader Error (Endo LogSettings)
forall e a b.
AsUnread e =>
(String -> Either String a) -> (a -> b -> b) -> Reader e (Endo b)
endo String -> Either String LogLevels
readLogLevels LogLevels -> LogSettings -> LogSettings
setLogSettingsLevels) String
"LOG_LEVEL" (Endo LogSettings -> Mod Var (Endo LogSettings)
forall a. a -> Mod Var a
def Endo LogSettings
forall a. Monoid a => a
mempty)
  , Reader Error (Endo LogSettings)
-> String
-> Mod Var (Endo LogSettings)
-> Parser Error (Endo LogSettings)
forall e a.
AsUnset e =>
Reader e a -> String -> Mod Var a -> Parser e a
var ((String -> Either String LogDestination)
-> (LogDestination -> LogSettings -> LogSettings)
-> Reader Error (Endo LogSettings)
forall e a b.
AsUnread e =>
(String -> Either String a) -> (a -> b -> b) -> Reader e (Endo b)
endo String -> Either String LogDestination
readLogDestination LogDestination -> LogSettings -> LogSettings
setLogSettingsDestination) String
"LOG_DESTINATION" (Endo LogSettings -> Mod Var (Endo LogSettings)
forall a. a -> Mod Var a
def Endo LogSettings
forall a. Monoid a => a
mempty)
  , Reader Error (Endo LogSettings)
-> String
-> Mod Var (Endo LogSettings)
-> Parser Error (Endo LogSettings)
forall e a.
AsUnset e =>
Reader e a -> String -> Mod Var a -> Parser e a
var ((String -> Either String LogFormat)
-> (LogFormat -> LogSettings -> LogSettings)
-> Reader Error (Endo LogSettings)
forall e a b.
AsUnread e =>
(String -> Either String a) -> (a -> b -> b) -> Reader e (Endo b)
endo String -> Either String LogFormat
readLogFormat LogFormat -> LogSettings -> LogSettings
setLogSettingsFormat) String
"LOG_FORMAT" (Endo LogSettings -> Mod Var (Endo LogSettings)
forall a. a -> Mod Var a
def Endo LogSettings
forall a. Monoid a => a
mempty)
  , Reader Error (Endo LogSettings)
-> String
-> Mod Var (Endo LogSettings)
-> Parser Error (Endo LogSettings)
forall e a.
AsUnset e =>
Reader e a -> String -> Mod Var a -> Parser e a
var ((String -> Either String LogColor)
-> (LogColor -> LogSettings -> LogSettings)
-> Reader Error (Endo LogSettings)
forall e a b.
AsUnread e =>
(String -> Either String a) -> (a -> b -> b) -> Reader e (Endo b)
endo String -> Either String LogColor
readLogColor LogColor -> LogSettings -> LogSettings
setLogSettingsColor) String
"LOG_COLOR" (Endo LogSettings -> Mod Var (Endo LogSettings)
forall a. a -> Mod Var a
def Endo LogSettings
forall a. Monoid a => a
mempty)
  ]

endo
  :: AsUnread e
  => (String -> Either String a)
  -- ^ How to parse the value
  -> (a -> b -> b)
  -- ^ How to turn the parsed value into a setter
  -> Reader e (Endo b)
endo :: (String -> Either String a) -> (a -> b -> b) -> Reader e (Endo b)
endo String -> Either String a
reader a -> b -> b
setter String
x = (String -> e) -> Either String (Endo b) -> Either e (Endo b)
forall (p :: * -> * -> *) a b c.
Bifunctor p =>
(a -> b) -> p a c -> p b c
first String -> e
forall e. AsUnread e => String -> e
unread (Either String (Endo b) -> Either e (Endo b))
-> Either String (Endo b) -> Either e (Endo b)
forall a b. (a -> b) -> a -> b
$ (b -> b) -> Endo b
forall a. (a -> a) -> Endo a
Endo ((b -> b) -> Endo b) -> (a -> b -> b) -> a -> Endo b
forall b c a. (b -> c) -> (a -> b) -> a -> c
. a -> b -> b
setter (a -> Endo b) -> Either String a -> Either String (Endo b)
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
<$> String -> Either String a
reader String
x