CLI
Usage
juvix [Global options] ((-v|--version) | --show-root | COMMAND)
Informative options
-v,--version
Print the version and exit--show-root
Print the detected root of the project-h,--help
Show this help text
Global Command flags
--no-colors
Disable globally ANSI formatting--show-name-ids
Show the unique number of each identifier when pretty printing--only-errors
Only print errors in a uniform format (used by juvix-mode)
Main Commands
-
html
Generate HTML output from a Juvix file -
typecheck
Typecheck a Juvix file -
compile
Compile a Juvix file
Internal Commands
juvix internal COMMAND
parse
Parse a Juvix filescope
Parse and scope a Juvix filetermination
Subcommands related to termination checkingmonojuvix
Translate a Juvix file to MonoJuvixmicrojuvix
Subcommands related to MicroJuvixminihaskell
Translate a Juvix file to MiniHaskellminic
Translate a Juvix file to MiniC
CLI Auto-completion Scripts
The Juvix CLI can generate auto-completion scripts. Follow the instructions below for your shell.
NB: You may need to restart your shell after installing the completion script.
Bash
Add the following line to your bash init script (for example
~/.bashrc
).
eval "$(juvix --bash-completion-script juvix)"
Fish
Run the following command in your shell:
juvix --fish-completion-script juvix
> ~/.config/fish/completions/juvix.fish
ZSH
Run the following command in your shell:
juvix --zsh-completion-script juvix > $DIR_IN_FPATH/_juvix
where $DIR_IN_FPATH
is a directory that is present on the ZSH FPATH
variable (which
you can inspect by running echo $FPATH
in the shell).