PureScript (purescript)¶
Типово ця секція обробляється асинхронно
Інформація
PureScript — це функціональна мова програмування, що компілюється в JavaScript
Секція purescript показує версію PureScript.
Ця секція показується лише за наявності команди purescript у вашій системі та:
- Пошук знаходить файл
spago.dhall - Є будь-який інший файл з розширенням
.purs
Параметри¶
| Змінна | Типово | Опис |
|---|---|---|
SPACESHIP_PURESCRIPT_SHOW |
true |
Показати секцію |
SPACESHIP_PURESCRIPT_PREFIX |
$SPACESHIP_PROMPT_DEFAULT_PREFIX |
Префікс на початку секції |
SPACESHIP_PURESCRIPT_SUFFIX |
$SPACESHIP_PROMPT_DEFAULT_SUFFIX |
Суфікс в кінці секції |
SPACESHIP_PURESCRIPT_SYMBOL |
⇔ |
Символ, що буде показаний перед версією |
SPACESHIP_PURESCRIPT_COLOR |
white |
Колір секції |