Example: sae help
or you can simply write sae
or any unspecified command
This gives you a brief overview of sae
's commands
Example: sae new project-name
Create a basic project with next files:
- Eq.yml
- src/Main.idr
- .gitignore
Example: sae build
Installs dependencies and builds project
Example: sae release
Compiles project into a file that, by default, will be placed at ./build/exec/
For js targets, it produces build/exec/index.js
, for others, it produces build/exec/project-name
Example: sae run
or sae run arg1 arg2
Runs the compiled file, to use this command you need to run sae release
first
Example: sae repl
Opens project in a repl session
Example: sae install-deps
Fetches, builds and installs dependencies, this is a step that automatically runs before build
Example: sae reinstall-deps
Doest the same as sae install-deps
but forcibly reinstalls every package. This feature is rarely needed
Example: sae install
Installs package in the system, this is also rarely needed since you are supposed to install packages through sae
's sources
field
Example: sae yarn
Build project, resolves npm dependencies (creates build/package.json) and installs npm dependencies