Struct Init 

pub struct Init { /* private fields */ }

Creates a new Polyhorn app in the given directory.

Implementations

impl Init

pub fn main(&self)

Implementation of the platform-independent polyhorn new command.

Trait Implementations

impl Clap for Init

fn parse() -> Self

Parse from std::env::args(), exit on error

fn try_parse() -> Result<Self, Error>

Parse from std::env::args(), return Err on error.

fn parse_from<I, T>(itr: I) -> Self

where I: IntoIterator<Item = T>, T: Into<OsString> + Clone,

Parse from iterator, exit on error

fn try_parse_from<I, T>(itr: I) -> Result<Self, Error>

where I: IntoIterator<Item = T>, T: Into<OsString> + Clone,

Parse from iterator, return Err on error.

impl FromArgMatches for Init

fn from_arg_matches(matches: &ArgMatches) -> Self

@TODO @release @docs

impl IntoApp for Init

fn into_app<'b>() -> App<'b>

@TODO @release @docs

fn augment_clap<'b>(app: App<'b>) -> App<'b>

@TODO @release @docs