Enum Platform 

pub enum Platform {
    MacOs,
    Windows,
    Linux,
    Ios,
    Android,
    Web,
}

The platform ROSACE is running on.

Deliberately flat (no separate “Desktop” catch-all alongside MacOs/ Windows/Linux) — the AppBar proof (Phase 23 Step 3) needs to tell macOS apart from other desktop OSes (traffic-light inset), so folding them into one variant would immediately need un-folding.

Variants

MacOs

Windows

Linux

Ios

Android

Web

Implementations

impl Platform

pub fn detect() -> Self

Detects the platform at compile time — cfg(target_arch = "wasm32") for web (sufficient on its own: nothing else compiles to wasm32 in this codebase, so no runtime navigator.platform query is needed), cfg(target_os) for every native target.

pub fn is_desktop(&self) -> bool

pub fn is_mobile(&self) -> bool

Trait Implementations

impl Clone for Platform

fn clone(&self) -> Platform

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for Platform

impl Debug for Platform

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

Formats the value using the given formatter.

impl Eq for Platform

impl Hash for Platform

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl PartialEq for Platform

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for Platform