Struct CompileOpts

pub struct CompileOpts {
    pub target_architecture: CompilerTarget,
    pub eta: bool,
    pub prune: bool,
    pub linearize_matches: OptLevel,
    pub float_combinators: bool,
    pub merge: bool,
    pub inline: bool,
    pub check_net_size: bool,
    pub type_check: bool,
    pub adt_encoding: AdtEncoding,
}

Fields

target_architecture: CompilerTarget

The Compiler target architecture

eta: bool

Enables hvm::eta_reduce.

prune: bool

Enables fun::transform::definition_pruning and hvm::prune.

linearize_matches: OptLevel

Enables fun::transform::linearize_matches.

float_combinators: bool

Enables fun::transform::float_combinators.

merge: bool

Enables fun::transform::definition_merge

inline: bool

Enables hvm::inline.

check_net_size: bool

Enables hvm::check_net_size.

type_check: bool

Enables type_check_book.

adt_encoding: AdtEncoding

Determines the encoding of constructors and matches.

Implementations

impl CompileOpts

pub fn set_all(self) -> Self

Set all optimizing options as true

pub fn set_no_all(self) -> Self

Set all optimizing options as false

pub fn check_for_strict(&self)

Trait Implementations

impl Clone for CompileOpts

fn clone(&self) -> CompileOpts

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for CompileOpts

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

Formats the value using the given formatter.

impl Default for CompileOpts

fn default() -> Self

Enables eta, linearize_matches, float_combinators. Uses num-scott ADT encoding.