PureScript (purescript
)¶
This section is rendered asynchronously by default
Info
PureScript is a strongly-typed functional programming language that compiles to JavaScript
The purescript
section shows PureScript version.
This section is only displayed when you have a purescript
command is available and:
- Upsearch finds a
spago.dhall
file - Contains any other file with
.purs
extension
Options¶
Variable | Default | Meaning |
---|---|---|
SPACESHIP_PURESCRIPT_SHOW |
true |
Show section |
SPACESHIP_PURESCRIPT_PREFIX |
$SPACESHIP_PROMPT_DEFAULT_PREFIX |
Prefix before section |
SPACESHIP_PURESCRIPT_SUFFIX |
$SPACESHIP_PROMPT_DEFAULT_SUFFIX |
Suffix after section |
SPACESHIP_PURESCRIPT_SYMBOL |
⇔ |
Character to be shown before version |
SPACESHIP_PURESCRIPT_COLOR |
white |
Color of section |