Skip to main content

oxilean_codegen/idris_backend/
mod.rs

1//! Auto-generated module structure
2
3pub mod functions;
4pub mod idrisattribute_traits;
5pub mod idriscodegenconfig_traits;
6pub mod idrisdostmt_traits;
7pub mod idrisexpr_traits;
8pub mod idrisliteral_traits;
9pub mod idrispattern_traits;
10pub mod idrispragma_traits;
11pub mod idristactic_traits;
12pub mod idristype_traits;
13pub mod quantity_traits;
14pub mod totality_traits;
15pub mod types;
16pub mod visibility_traits;
17
18// Re-export all types
19pub use functions::*;
20pub use idrisattribute_traits::*;
21pub use idriscodegenconfig_traits::*;
22pub use idrisdostmt_traits::*;
23pub use idrisexpr_traits::*;
24pub use idrisliteral_traits::*;
25pub use idrispattern_traits::*;
26pub use idrispragma_traits::*;
27pub use idristactic_traits::*;
28pub use idristype_traits::*;
29pub use quantity_traits::*;
30pub use totality_traits::*;
31pub use types::*;
32pub use visibility_traits::*;