Disco.Interactive.CmdLine

Definition of the command-line REPL interface for Disco.

Command-line options record

data DiscoOpts

Command-line options for disco.

Constructors

DiscoOpts

Fields

• onlyVersion :: Bool

  Should we just print the version?

• evaluate :: Maybe String

  A single expression to evaluate

• cmdFile :: Maybe String

  Execute the commands in a given file

• checkFile :: Maybe String

  Check a file and then exit

• debugFlag :: Bool

optparse-applicative command line parsers

discoOpts :: Parser DiscoOpts

discoInfo :: ParserInfo DiscoOpts

main

discoMain :: IO ()