Documentation

Fields

• optExecFile :: Maybe (String, [String])
   
• optShowVersion :: Bool
   
• optEvalString :: Maybe String
   
• optExecuteString :: Maybe String
   
• optFieldInfo :: [(String, String)]
   
• optLoadLibs :: [String]
   
• optLoadFiles :: [String]
   
• optSubstituteString :: Maybe String
   
• optMapTsvInput :: Maybe String
   
• optFilterTsvInput :: Maybe String
   
• optTsvOutput :: Bool
   
• optNoIO :: Bool
   
• optNoPrelude :: Bool

  Do not load core libraries

• optShowBanner :: Bool
   
• optTestOnly :: Bool
   
• optPrompt :: String
   
• optMathExpr :: Maybe String
   
• optMathNormalize :: Bool
   
• optTypeCheck :: Bool

  Enable type checking

• optTypeCheckStrict :: Bool

  Strict type checking mode

• optDumpEnv :: Bool

  Dump environment after Phase 2

• optDumpDesugared :: Bool

  Dump desugared AST after Phase 3

• optDumpTyped :: Bool

  Dump typed AST after Phase 6 (type inference & check)

• optDumpTi :: Bool

  Dump typed AST after TensorMap insertion (before type class expansion)

• optDumpTc :: Bool

  Dump typed AST after type class expansion (Phase 8 complete)