You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
{{ message }}
This repository was archived by the owner on May 1, 2020. It is now read-only.
Refer to the PureScript [usage](http://docs.purescript.org/en/latest/intro.html#usage) section for additional details on the behaviour of each option below.
30
+
Refer to the PureScript [usage](http://docs.purescript.org/en/latest/start.html#compiler-usage) section for additional details on the behaviour of each option below.
31
31
32
32
### purescript.psc(options)
33
33
34
34
Invokes the `psc` command.
35
35
36
36
#### options
37
37
38
-
- noPrelude: Boolean value that toggles `--no-prelude`
39
-
- noOpts: Boolean value that toggles `--no-opts`
40
-
- noMagicDo: Boolean value that toggles `--no-magic-do`
41
-
- noTco: Boolean value that toggles `--no-tco`
42
-
- runtimeTypeChecks: Boolean value that toggles `--runtime-type-checks`
43
-
- verboseErrors: Boolean value that toggles `--verbose-errors`
44
-
- main: Boolean or string value that sets `--main` or `--main=<string>`
45
-
- browserNamespace: String value that sets `--browser-namespace=<string>`
46
-
- externs: String value that sets `--externs=<string>`
47
-
- modules: String or array value that sets one or more `--module=<string>`
48
-
- codegen: String or array value that sets one or more `--codegen=<string>`
49
-
- output: String value that specifies the output file(this won't set'`--output=<string>`)
38
+
-**noPrelude**: Boolean value that toggles `--no-prelude`
39
+
- Do not include the Prelude in the generated Javascript.
40
+
-**noOpts**: Boolean value that toggles `--no-opts`
41
+
- Disable all optimizations.
42
+
-**noMagicDo**: Boolean value that toggles `--no-magic-do`
43
+
- Turn off optimizations which inline calls to >>= for the Eff monad.
44
+
-**noTco**: Boolean value that toggles `--no-tco`
45
+
- Turn off tail-call elimination.
46
+
-**runtimeTypeChecks**: Boolean value that toggles `--runtime-type-checks`
47
+
- Generate simple runtime type checks for function arguments with simple types.
48
+
-**verboseErrors**: Boolean value that toggles `--verbose-errors`
49
+
- Generate verbose error messages.
50
+
-**main**: Boolean or string value that sets `--main` or `--main=<string>`
51
+
- Generate a call to main in the specified module after all other generated Javascript. Defaults to Main if the option is used but no value is provided.
52
+
-**browserNamespace**: String value that sets `--browser-namespace=<string>`
53
+
- Specify the namespace that PureScript modules will be exported to when running in the browser.
54
+
-**externs**: String value that sets `--externs=<string>`
55
+
- Write a list of foreign imports declarations to the specified file in addition to generating Javascript output.
56
+
-**modules**: String or array value that sets one or more `--module=<string>`
57
+
- If specified, any code which is not referenced transitively from this module will be removed. This argument can be used multiple times.
58
+
-**codegen**: String or array value that sets one or more `--codegen=<string>`
59
+
- A list of modules for which Javascript and externs should be generated. This argument can be used multiple times.
60
+
-**output**: String value that specifies the output file(this won't set'`--output=<string>`)
61
+
- Write the generated Javascript to the specified file.
50
62
51
63
### purescript.pscMake(options)
52
64
53
65
Invokes the `psc-make` command.
54
66
55
67
#### options
56
68
57
-
- noPrelude: Boolean value that toggles `--no-prelude`
58
-
- noOpts: Boolean value that toggles `--no-opts`
59
-
- noMagicDo: Boolean value that toggles `--no-magic-do`
60
-
- noTco: Boolean value that toggles `--no-tco`
61
-
- runtimeTypeChecks: Boolean value that toggles `--runtime-type-checks`
62
-
- verboseErrors: Boolean value that toggles `--verbose-errors`
63
-
- browserNamespace: String value that sets `--browser-namespace=<string>`
64
-
- output: String value that sets `--output=<string>`
69
+
-**noPrelude**: Boolean value that toggles `--no-prelude`
70
+
- Do not include the Prelude in the generated Javascript.
71
+
-**noOpts**: Boolean value that toggles `--no-opts`
72
+
- Disable all optimizations.
73
+
-**noMagicDo**: Boolean value that toggles `--no-magic-do`
74
+
- Turn off optimizations which inline calls to >>= for the Eff monad.
75
+
-**noTco**: Boolean value that toggles `--no-tco`
76
+
- Turn off tail-call elimination.
77
+
-**runtimeTypeChecks**: Boolean value that toggles `--runtime-type-checks`
78
+
- Generate simple runtime type checks for function arguments with simple types.
79
+
-**verboseErrors**: Boolean value that toggles `--verbose-errors`
80
+
- Generate verbose error messages.
81
+
-**browserNamespace**: String value that sets `--browser-namespace=<string>`
82
+
- Specify the namespace that PureScript modules will be exported to when running in the browser.
83
+
-**output**: String value that sets `--output=<string>`
84
+
- Write the generated Javascript to the specified file.
0 commit comments