egison-4.2.0: Programming language with non-linear pattern-matching against non-free data

License	MIT
Safe Haskell	None
Language	GHC2021

Language.Egison.CmdOptions

Description

This module provides command line options of Egison interpreter.

Documentation

data EgisonOpts Source #

Constructors

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
optShowBanner :: Bool
optTestOnly :: Bool
optPrompt :: String
optMathExpr :: Maybe String
optSExpr :: Bool
optMathNormalize :: Bool

Instances

Instances details

MonadRuntime EvalM Source #
Instance details Defined in Language.Egison.Data Methods fresh :: EvalM String Source #
Monad m => MonadRuntime (RuntimeT m) Source #
Instance details Defined in Language.Egison.RState Methods fresh :: RuntimeT m String Source #

defaultOption :: EgisonOpts Source #

cmdParser :: ParserInfo EgisonOpts Source #