Crate polyhorn_cli

CLI that makes it easy to work with Polyhorn projects. Specifically, the CLI takes care of building, running and distributing cross-platform apps written with Polyhorn.

Modules

android	Tasks and types for Android-specific operations.
commands	Implementations for platform-independent Polyhorn-cli commands.
core	Types and functions that are shared between platform-specific implementations of Polyhorn CLI commands.
ios	Tasks and types for iOS-specific operations.
spec	Types and functions that implement the specification of Polyhorn.toml files.
template	Utilities for quickly building a source tree from a series of templates.

Structs

Config

Contains a configuration that is passed to the implementation of each (relevant) CLI command. A notable exception is polyhorn new, which doesn't require a pre-existing Polyhorn.toml manifest file.

Functions

cli

Entry point of the CLI that is used by the main polyhorn package. The polyhorn-cli package itself doesn't provide a binary. This is because we want to ship a library named polyhorn and a CLI with the same name (but different crates obviously can't share the same name). So instead, the library gets to be polyhorn and comes with a binary target that simply calls polyhorn_cli::cli().