Enum StudioMode 

pub enum StudioMode {
    Logic,
    Code,
    Math,
    Hardware,
}

The active mode in the Studio playground.

Variants

Logic

English to First-Order Logic translation (default)

Code

Vernacular REPL for proof development and .logos files

Math

Visual formula builder with LaTeX preview

Hardware

English hardware specs to SystemVerilog Assertions with in-browser, kernel-certified proving (no Z3 in the bundle).

Implementations

impl StudioMode

pub fn extension(&self) -> &'static str

Returns the file extension for this mode.

pub fn display_name(&self) -> &'static str

Returns the display name for this mode.

pub fn from_extension(ext: &str) -> Option<Self>

Infer mode from file extension.

Trait Implementations

impl Clone for StudioMode

fn clone(&self) -> StudioMode

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for StudioMode

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Default for StudioMode

fn default() -> StudioMode

Returns the “default value” for a type.

impl PartialEq for StudioMode

fn eq(&self, other: &StudioMode) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Copy for StudioMode

impl Eq for StudioMode

impl StructuralPartialEq for StudioMode