add some simple config options

lib/LintConfig.hs

@@ -13,13 +13,14 @@ module LintConfig where
 
 import           Control.Monad.Identity (Identity)
 import           Data.Aeson             (FromJSON (parseJSON), defaultOptions,
-                                         eitherDecode)
+                                         eitherDecode, Options(..))
 import           Data.Aeson.Types       (genericParseJSON)
 import qualified Data.ByteString.Char8  as C8
 import qualified Data.ByteString.Lazy   as LB
 import           Data.Text              (Text)
 import           GHC.Generics           (Generic (Rep, from, to), K1 (..),
                                          M1 (..), (:*:) (..))
+import           Types                  (Level)
 import           WithCli                (Proxy (..))
 import           WithCli.Pure           (Argument (argumentType, parseArgument))
 
@@ -28,26 +29,46 @@ type family HKD f a where
   HKD Identity a = a
   HKD f a = f a
 
-
 data LintConfig f = LintConfig
-  { assemblies   :: HKD f [Text]
-  , scriptInject :: HKD f (Maybe Text)
+  { configScriptInject :: HKD f (Maybe Text)
+  , configAssemblyTag  :: HKD f Text
+  , configMaxWarnLevel :: HKD f Level
   } deriving (Generic)
 
+type LintConfig' = LintConfig Identity
 
-deriving instance (Show (HKD a (Maybe Text)), Show (HKD a [Text]))
+-- TODO: should probably find a way to write these constraints nicer ...
+deriving instance
+  ( Show (HKD a (Maybe Text))
+  , Show (HKD a Text)
+  , Show (HKD a Level)
+  , Show (HKD a [Text])
+  )
   => Show (LintConfig a)
 
-instance (FromJSON (HKD a (Maybe Text)), FromJSON (HKD a [Text]))
-    => FromJSON (LintConfig a) where
-  parseJSON = genericParseJSON defaultOptions
+aesonOptions :: Options
+aesonOptions = defaultOptions
+  { omitNothingFields = True
+  , rejectUnknownFields = True
+  , fieldLabelModifier = drop 6
+  }
+
+instance
+    ( FromJSON (HKD a (Maybe Text))
+    , FromJSON (HKD a [Text])
+    , FromJSON (HKD a Text)
+    , FromJSON (HKD a Level)
+    )
+    => FromJSON (LintConfig a)
+  where
+    parseJSON = genericParseJSON aesonOptions
 
 -- need to define this one extra, since Aeson will not make
 -- Maybe fields optional if the type isn't given explicitly.
 --
 -- Whoever said instances had confusing semantics?
 instance {-# Overlapping #-} FromJSON (LintConfig Maybe) where
-  parseJSON = genericParseJSON defaultOptions
+  parseJSON = genericParseJSON aesonOptions