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 file
  • scope Parse and scope a Juvix file
  • termination Subcommands related to termination checking
  • monojuvix Translate a Juvix file to MonoJuvix
  • microjuvix Subcommands related to MicroJuvix
  • minihaskell Translate a Juvix file to MiniHaskell
  • minic 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).