oxilean_codegen/idris_backend/idriscodegenconfig_traits.rs
1//! # IdrisCodegenConfig - Trait Implementations
2//!
3//! This module contains trait implementations for `IdrisCodegenConfig`.
4//!
5//! ## Implemented Traits
6//!
7//! - `Default`
8//!
9//! 🤖 Generated with [SplitRS](https://github.com/cool-japan/splitrs)
10
11use super::types::{IdrisCodegenConfig, Totality};
12
13impl Default for IdrisCodegenConfig {
14 fn default() -> Self {
15 IdrisCodegenConfig {
16 emit_docs: true,
17 emit_logging: false,
18 default_totality: Totality::Total,
19 auto_inline: false,
20 auto_inline_limit: 5,
21 emit_name_pragmas: true,
22 emit_header_comment: true,
23 target_backend: "chez".to_string(),
24 }
25 }
26}