Skip to main content

Module commands

Module commands 

Source
Expand description

Implementations for platform-independent Polyhorn-cli commands.

Structs§

Init
Creates a new Polyhorn app in the given directory.
Run
Runs the app on a device or simulator.
Test
Runs the app on a device or simulator.

Enums§

Platform
Represents a choice between one of the supported platforms that Polyhorn apps can be built for.