-- |
-- License: GPL-3.0-or-later
-- Copyright: Oleg Grenrus
module CabalGild.Options
  ( Mode (..),
    Options (..),
    defaultOptions,
    OptionsMorphism,
    mkOptionsMorphism,
    runOptionsMorphism,
    HasOptions (..),
  )
where

import qualified Distribution.CabalSpecVersion as C
import Distribution.Compat.Lens (LensLike')

data Mode
  = ModeStdout
  | ModeInplace
  | ModeCheck
  deriving (Eq, Show)

data Options = Options
  { optError :: !Bool,
    optIndent :: !Int,
    optTabular :: !Bool,
    optCabalFile :: !Bool,
    optSpecVersion :: !C.CabalSpecVersion,
    optMode :: !Mode
  }
  deriving (Show)

defaultOptions :: Options
defaultOptions =
  Options
    { optError = False,
      optIndent = 2,
      optTabular = True,
      optCabalFile = True,
      optSpecVersion = C.cabalSpecLatest,
      optMode = ModeStdout
    }

newtype OptionsMorphism = OM (Options -> Options)

runOptionsMorphism :: OptionsMorphism -> Options -> Options
runOptionsMorphism (OM f) = f

mkOptionsMorphism :: (Options -> Options) -> OptionsMorphism
mkOptionsMorphism = OM

instance Semigroup OptionsMorphism where
  OM f <> OM g = OM (g . f)

instance Monoid OptionsMorphism where
  mempty = OM id
  mappend = (<>)

class HasOptions e where
  options :: (Functor f) => LensLike' f e Options

instance HasOptions Options where
  options = id