-- | Default values for the options.

module Mikan.Interaction.Options.Default where

import Mikan.Interaction.Options.ProfileOptions () -- Null instance
import Mikan.Interaction.Options.Types
import Mikan.Interaction.Options.Warnings ( defaultWarningMode )
import Mikan.Termination.CutOff           ( defaultCutOff )
import Mikan.Utils.Null
import Mikan.Utils.WithDefault

import Mikan.Utils.Impossible

defaultOptions :: CommandLineOptions
defaultOptions :: CommandLineOptions
defaultOptions = Options
  { optInputFile :: Maybe FilePath
optInputFile             = Maybe FilePath
forall a. Maybe a
Nothing
  , optIncludePaths :: [FilePath]
optIncludePaths          = []
  , optAbsoluteIncludePaths :: [AbsolutePath]
optAbsoluteIncludePaths  = []
  , optLibraries :: [LibName]
optLibraries             = []
  , optOverrideLibrariesFile :: Maybe FilePath
optOverrideLibrariesFile = Maybe FilePath
forall a. Maybe a
Nothing
  , optDefaultLibs :: Bool
optDefaultLibs           = Bool
True
  , optOverrideDefaultsFile :: Maybe FilePath
optOverrideDefaultsFile  = Maybe FilePath
forall a. Maybe a
Nothing
  , optUseLibs :: Bool
optUseLibs               = Bool
True
  , optTraceImports :: Integer
optTraceImports          = Integer
1
  , optTrustedExecutables :: Map ExeName FilePath
optTrustedExecutables    = Map ExeName FilePath
forall a. Null a => a
empty
  , optPrintDataDir :: Bool
optPrintDataDir          = Bool
False
  , optPrintAppDir :: Bool
optPrintAppDir           = Bool
False
  , optPrintOptions :: Bool
optPrintOptions          = Bool
False
  , optPrintVersion :: Maybe PrintVersion
optPrintVersion          = Maybe PrintVersion
forall a. Maybe a
Nothing
  , optPrintHelp :: Maybe Help
optPrintHelp             = Maybe Help
forall a. Maybe a
Nothing
  , optBuildLibrary :: Bool
optBuildLibrary          = Bool
False
  , optSetup :: Bool
optSetup                 = Bool
False
  , optEmacsMode :: Set EmacsModeCommand
optEmacsMode             = Set EmacsModeCommand
forall a. Null a => a
empty
  , optGHCiInteraction :: Bool
optGHCiInteraction       = Bool
False
  , optJSONInteraction :: Bool
optJSONInteraction       = Bool
False
  , optExitOnError :: Bool
optExitOnError           = Bool
False
  , optGenerateVimFile :: Bool
optGenerateVimFile       = Bool
False
  , optIgnoreInterfaces :: Bool
optIgnoreInterfaces      = Bool
False
  , optIgnoreAllInterfaces :: Bool
optIgnoreAllInterfaces   = Bool
False
  , optWriteInterfaces :: Bool
optWriteInterfaces       = Bool
True
  , optPragmaOptions :: PragmaOptions
optPragmaOptions         = PragmaOptions
defaultPragmaOptions
  , optOnlyScopeChecking :: Bool
optOnlyScopeChecking     = Bool
False
  , optTransliterate :: Bool
optTransliterate         = Bool
False
  , optDiagnosticsColour :: DiagnosticsColours
optDiagnosticsColour     = DiagnosticsColours
AutoColour
  , optMdOnlyAgdaBlocks :: Bool
optMdOnlyAgdaBlocks      = Bool
False
  , optParallelChecking :: Parallelism
optParallelChecking      = Parallelism
Sequential
  }

defaultPragmaOptions :: PragmaOptions
defaultPragmaOptions :: PragmaOptions
defaultPragmaOptions = PragmaOptions
  { _optShowImplicit :: WithDefault 'False
_optShowImplicit               = WithDefault 'False
forall a (b :: Bool). WithDefault' a b
Default
  , _optShowGeneralized :: WithDefault 'True
_optShowGeneralized            = WithDefault 'True
forall a (b :: Bool). WithDefault' a b
Default
  , _optShowIrrelevant :: WithDefault 'False
_optShowIrrelevant             = WithDefault 'False
forall a (b :: Bool). WithDefault' a b
Default
  , _optUseUnicode :: WithDefault' UnicodeOrAscii 'True
_optUseUnicode                 = WithDefault' UnicodeOrAscii 'True
forall a (b :: Bool). WithDefault' a b
Default -- UnicodeOk
  , _optVerbose :: Verbosity
_optVerbose                    = Verbosity
forall a. Null a => a
empty
  , _optProfiling :: ProfileOptions
_optProfiling                  = ProfileOptions
forall a. Null a => a
empty
  , _optProp :: WithDefault 'False
_optProp                       = WithDefault 'False
forall a (b :: Bool). WithDefault' a b
Default
  , _optLevelUniverse :: WithDefault 'False
_optLevelUniverse              = WithDefault 'False
forall a (b :: Bool). WithDefault' a b
Default
  , _optAllowUnsolved :: WithDefault 'False
_optAllowUnsolved              = WithDefault 'False
forall a (b :: Bool). WithDefault' a b
Default
  , _optAllowIncompleteMatch :: WithDefault 'False
_optAllowIncompleteMatch       = WithDefault 'False
forall a (b :: Bool). WithDefault' a b
Default
  , _optPositivityCheck :: WithDefault 'True
_optPositivityCheck            = WithDefault 'True
forall a (b :: Bool). WithDefault' a b
Default
  , _optTerminationCheck :: WithDefault 'True
_optTerminationCheck           = WithDefault 'True
forall a (b :: Bool). WithDefault' a b
Default
  , _optTerminationDepth :: CutOff
_optTerminationDepth           = CutOff
defaultCutOff
  , _optCopatterns :: WithDefault 'True
_optCopatterns                 = WithDefault 'True
forall a (b :: Bool). WithDefault' a b
Default
  , _optPatternMatching :: WithDefault 'True
_optPatternMatching            = WithDefault 'True
forall a (b :: Bool). WithDefault' a b
Default
  , _optExactSplit :: WithDefault 'False
_optExactSplit                 = WithDefault 'False
forall a (b :: Bool). WithDefault' a b
Default
  , _optHiddenArgumentPuns :: WithDefault 'False
_optHiddenArgumentPuns         = WithDefault 'False
forall a (b :: Bool). WithDefault' a b
Default
  , _optEta :: WithDefault 'True
_optEta                        = WithDefault 'True
forall a (b :: Bool). WithDefault' a b
Default
  , _optForcing :: WithDefault 'True
_optForcing                    = WithDefault 'True
forall a (b :: Bool). WithDefault' a b
Default
  , _optProjectionLike :: WithDefault 'True
_optProjectionLike             = WithDefault 'True
forall a (b :: Bool). WithDefault' a b
Default
  , _optFirstOrder :: WithDefault 'False
_optFirstOrder                 = WithDefault 'False
forall a (b :: Bool). WithDefault' a b
Default
  , _optRequireUniqueMetaSolutions :: WithDefault 'True
_optRequireUniqueMetaSolutions = WithDefault 'True
forall a (b :: Bool). WithDefault' a b
Default
  , _optPostfixProjections :: WithDefault 'True
_optPostfixProjections         = WithDefault 'True
forall a (b :: Bool). WithDefault' a b
Default
  , _optKeepPatternVariables :: WithDefault 'True
_optKeepPatternVariables       = WithDefault 'True
forall a (b :: Bool). WithDefault' a b
Default
  , _optInferAbsurdClauses :: WithDefault 'True
_optInferAbsurdClauses         = WithDefault 'True
forall a (b :: Bool). WithDefault' a b
Default
  , _optInstanceSearchDepth :: Int
_optInstanceSearchDepth        = Int
500
  , _optBacktrackingInstances :: WithDefault 'False
_optBacktrackingInstances      = WithDefault 'False
forall a (b :: Bool). WithDefault' a b
Default
  , _optQualifiedInstances :: WithDefault 'True
_optQualifiedInstances         = WithDefault 'True
forall a (b :: Bool). WithDefault' a b
Default
  , _optInversionMaxDepth :: Int
_optInversionMaxDepth          = Int
50
  , _optSafe :: WithDefault 'False
_optSafe                       = WithDefault 'False
forall a (b :: Bool). WithDefault' a b
Default
  , _optDoubleCheck :: WithDefault 'False
_optDoubleCheck                = WithDefault 'False
forall a (b :: Bool). WithDefault' a b
Default
  , _optWarningMode :: WarningMode
_optWarningMode                = WarningMode
defaultWarningMode
  , _optCompileMain :: WithDefault 'True
_optCompileMain                = WithDefault 'True
forall a (b :: Bool). WithDefault' a b
Default
  , _optCaching :: WithDefault 'True
_optCaching                    = WithDefault 'True
forall a (b :: Bool). WithDefault' a b
Default
  , _optCountClusters :: WithDefault 'False
_optCountClusters              = WithDefault 'False
forall a (b :: Bool). WithDefault' a b
Default
  , _optAutoInline :: WithDefault 'False
_optAutoInline                 = WithDefault 'False
forall a (b :: Bool). WithDefault' a b
Default
  , _optPrintPatternSynonyms :: WithDefault 'True
_optPrintPatternSynonyms       = WithDefault 'True
forall a (b :: Bool). WithDefault' a b
Default
  , _optFastReduce :: WithDefault 'True
_optFastReduce                 = WithDefault 'True
forall a (b :: Bool). WithDefault' a b
Default
  , _optCallByName :: WithDefault 'False
_optCallByName                 = WithDefault 'False
forall a (b :: Bool). WithDefault' a b
Default
  , _optOccurrence :: WithDefault 'True
_optOccurrence                 = WithDefault 'True
forall a (b :: Bool). WithDefault' a b
Default
  , _optImportSorts :: WithDefault 'True
_optImportSorts                = WithDefault 'True
forall a (b :: Bool). WithDefault' a b
Default
  , _optLoadPrimitives :: WithDefault 'True
_optLoadPrimitives             = WithDefault 'True
forall a (b :: Bool). WithDefault' a b
Default
  , _optAllowExec :: WithDefault 'False
_optAllowExec                  = WithDefault 'False
forall a (b :: Bool). WithDefault' a b
Default
  , _optSaveMetas :: WithDefault 'False
_optSaveMetas                  = WithDefault 'False
forall a (b :: Bool). WithDefault' a b
Default
  , _optShowIdentitySubstitutions :: WithDefault 'False
_optShowIdentitySubstitutions  = WithDefault 'False
forall a (b :: Bool). WithDefault' a b
Default
  , _optKeepCoveringClauses :: WithDefault 'False
_optKeepCoveringClauses        = WithDefault 'False
forall a (b :: Bool). WithDefault' a b
Default
  , _optExperimentalLazyInstances :: WithDefault 'False
_optExperimentalLazyInstances  = WithDefault 'False
forall a (b :: Bool). WithDefault' a b
Default
  , _optQuoteMetas :: WithDefault 'False
_optQuoteMetas                 = WithDefault 'False
forall a (b :: Bool). WithDefault' a b
Default
  }

-- Null instances

instance Null CommandLineOptions where
  empty :: CommandLineOptions
empty = CommandLineOptions
defaultOptions
  null :: CommandLineOptions -> Bool
null = CommandLineOptions -> Bool
forall a. HasCallStack => a
__IMPOSSIBLE__

instance Null PragmaOptions where
  empty :: PragmaOptions
empty = PragmaOptions
defaultPragmaOptions