Struct polyhorn_cli::commands::New

pub struct New { /* fields omitted */ }

Creates a new Polyhorn app in the given directory.

Implementations

impl New

pub fn main(&self)

Trait Implementations

impl Clap for New

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 New

fn from_arg_matches(matches: &ArgMatches) -> Self

@TODO @release @docs

impl IntoApp for New

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

@TODO @release @docs

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

@TODO @release @docs