pub fn render(module: Module, context: Context) -> Rendered
pub fn render_function(
func: Function(Unchecked, Unchecked),
context: Context,
name: String,
) -> Rendered
pub fn render_imported_module(module: ImportedModule) -> Rendered
pub fn with_constant(
details: DefinitionDetails,
value: Expression(a),
handler: fn(Expression(a)) -> Module,
) -> Module
pub fn with_custom_type1(
details: DefinitionDetails,
type_: CustomType(a, #(#(), b), c),
handler: fn(GeneratedType(a), Construtor(a, b)) -> Module,
) -> Module
pub fn with_custom_type2(
details: DefinitionDetails,
type_: CustomType(a, #(#(#(), b), c), d),
handler: fn(
GeneratedType(a),
Construtor(a, b),
Construtor(a, c),
) -> Module,
) -> Module
pub fn with_custom_type3(
details: DefinitionDetails,
type_: CustomType(a, #(#(#(), b), c, d), e),
handler: fn(
GeneratedType(a),
Construtor(a, b),
Construtor(a, c),
Construtor(a, d),
) -> Module,
) -> Module
pub fn with_custom_type4(
details: DefinitionDetails,
type_: CustomType(a, #(#(#(#(), b), c), d, e), f),
handler: fn(
GeneratedType(a),
Construtor(a, b),
Construtor(a, c),
Construtor(a, d),
Construtor(a, e),
) -> Module,
) -> Module
pub fn with_custom_type5(
details: DefinitionDetails,
type_: CustomType(a, #(#(#(#(#(), b), c), d), e, f), g),
handler: fn(
GeneratedType(a),
Construtor(a, b),
Construtor(a, c),
Construtor(a, d),
Construtor(a, e),
Construtor(a, f),
) -> Module,
) -> Module
pub fn with_custom_type6(
details: DefinitionDetails,
type_: CustomType(a, #(#(#(#(#(#(), b), c), d), e), f, g), h),
handler: fn(
GeneratedType(a),
Construtor(a, b),
Construtor(a, c),
Construtor(a, d),
Construtor(a, e),
Construtor(a, f),
Construtor(a, g),
) -> Module,
) -> Module
pub fn with_custom_type7(
details: DefinitionDetails,
type_: CustomType(
a,
#(#(#(#(#(#(#(), b), c), d), e), f), g, h),
i,
),
handler: fn(
GeneratedType(a),
Construtor(a, b),
Construtor(a, c),
Construtor(a, d),
Construtor(a, e),
Construtor(a, f),
Construtor(a, g),
Construtor(a, h),
) -> Module,
) -> Module
pub fn with_custom_type8(
details: DefinitionDetails,
type_: CustomType(
a,
#(#(#(#(#(#(#(#(), b), c), d), e), f), g), h, i),
j,
),
handler: fn(
GeneratedType(a),
Construtor(a, b),
Construtor(a, c),
Construtor(a, d),
Construtor(a, e),
Construtor(a, f),
Construtor(a, g),
Construtor(a, h),
Construtor(a, i),
) -> Module,
) -> Module
pub fn with_custom_type9(
details: DefinitionDetails,
type_: CustomType(
a,
#(#(#(#(#(#(#(#(#(), b), c), d), e), f), g), h), i, j),
k,
),
handler: fn(
GeneratedType(a),
Construtor(a, b),
Construtor(a, c),
Construtor(a, d),
Construtor(a, e),
Construtor(a, f),
Construtor(a, g),
Construtor(a, h),
Construtor(a, i),
Construtor(a, j),
) -> Module,
) -> Module
pub fn with_custom_type_unchecked(
details: DefinitionDetails,
type_: CustomType(a, Unchecked, b),
handler: fn(GeneratedType(a), List(Construtor(a, Unchecked))) ->
Module,
) -> Module
pub fn with_function(
details: DefinitionDetails,
func: Function(a, b),
handler: fn(Expression(a)) -> Module,
) -> Module
pub fn with_import(
module: ImportedModule,
handler: fn(ImportedModule) -> Module,
) -> Module
pub fn with_imports_unchecked(
modules: List(ImportedModule),
handler: fn(List(ImportedModule)) -> Module,
) -> Module
pub fn with_type_alias(
details: DefinitionDetails,
type_: GeneratedType(a),
handler: fn(GeneratedType(a)) -> Module,
) -> Module