purescript-0.5.7.1: PureScript Programming Language Compiler

Safe HaskellSafe-Inferred

Language.PureScript.Options

Description

The data type of compiler options

Synopsis

Documentation

data Mode Source

Indicates the mode of the compiler. Lifted using DataKinds to refine the Options type.

Constructors

Compile 
Make 

data ModeOptions mode whereSource

Per-mode options

Constructors

CompileOptions :: String -> [String] -> [String] -> ModeOptions Compile 
MakeOptions :: ModeOptions Make 

Instances

Show (ModeOptions mode) 

data Options mode Source

The data type of compiler options

Constructors

Options 

Fields

optionsNoPrelude :: Bool

Disable inclusion of the built in Prelude

optionsNoTco :: Bool

Disable tail-call elimination

optionsNoMagicDo :: Bool

Disable inlining of calls to return and bind for the Eff monad

optionsMain :: Maybe String

When specified, checks the type of main in the module, and generate a call to run main after the module definitions.

optionsNoOptimizations :: Bool

Skip all optimizations

optionsVerboseErrors :: Bool

Verbose error message

optionsAdditional :: ModeOptions mode

Specify the namespace that PureScript modules will be exported to when running in the browser.

Instances

Show (Options mode) 

defaultCompileOptions :: Options CompileSource

Default compiler options

defaultMakeOptions :: Options MakeSource

Default make options