Enum Profile 

pub enum Profile {
    Default,
    Server,
    Numeric,
    Edge,
    Realtime,
    Embedded,
}

The compilation profile determines evaluation semantics and optimization strategy.

See H26-SPEC Section 4 for detailed profile specifications.

Variants

Default

Standard lazy Haskell evaluation with GC-managed memory.

Server

Optimized for server workloads: concurrency, bounded latency, observability.

Numeric

Numeric computing: strict-by-default, unboxed, fusion guaranteed.

Edge

Minimal runtime footprint for embedded and WASM targets.

Realtime

Realtime profile: bounded GC pauses (<1ms), arena per-frame.

Embedded

Bare-metal microcontrollers: no GC, static allocation only. Programs with escaping allocations are rejected at compile time.

Implementations

impl Profile

pub const fn is_strict_by_default(self) -> bool

Returns true if this profile uses strict evaluation by default.

pub const fn has_fusion_guarantees(self) -> bool

Returns true if fusion is guaranteed for this profile.

pub const fn requires_escape_analysis(self) -> bool

Returns true if this profile requires escape analysis.

For Embedded profile, programs with escaping allocations are rejected at compile time since there is no GC to manage memory.

pub const fn is_gc_free(self) -> bool

Returns true if this profile has no garbage collector.

Trait Implementations

impl Clone for Profile

fn clone(&self) -> Profile

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for Profile

impl Debug for Profile

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

Formats the value using the given formatter.

impl Default for Profile

fn default() -> Profile

Returns the “default value” for a type.

impl<'de> Deserialize<'de> for Profile

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Eq for Profile

impl Hash for Profile

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 Profile

fn eq(&self, other: &Profile) -> 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 Serialize for Profile

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl StructuralPartialEq for Profile