geam 0.1.1

Experimental Rust-embedded execution runtime for typed Gleam programs
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126

mod build;
mod draft;
mod freeze;
mod liveness;
mod profile;

pub(super) use build::{
    bit_array_expr, bit_array_function_expr, bit_array_list_expr, bool_expr, bool_function_expr,
    bool_list_expr, custom_expr, custom_expr_kind, custom_function_expr, custom_function_expr_kind,
    custom_list_expr, custom_never_expr_kind, custom_never_function_expr,
    custom_never_function_expr_kind, external_expr_kind, external_function_expr,
    external_function_expr_kind, external_list_expr, float_expr, float_function_expr,
    float_list_expr, function_function_expr, function_function_expr_kind, function_list_expr,
    generic_bit_array_function_expr, generic_bool_function_expr, generic_custom_function_expr,
    generic_expr, generic_external_function_expr, generic_float_function_expr,
    generic_function_expr, generic_function_function_expr, generic_int_function_expr,
    generic_list_expr, generic_list_function_expr, generic_never_function_expr,
    generic_nil_function_expr, generic_string_function_expr, generic_tuple_function_expr,
    generic_utf_codepoint_function_expr, int_expr, int_function_expr, int_list_expr,
    list_function_expr, list_list_expr, never_expr, nil_expr, nil_function_expr, nil_list_expr,
    parameter_list_list_expr, string_expr, string_function_expr, string_list_expr,
    symbolic_bit_array_function_expr, symbolic_bool_function_expr,
    symbolic_custom_function_expr_kind, symbolic_external_function_expr_kind,
    symbolic_float_function_expr, symbolic_function_function_expr_kind,
    symbolic_generic_function_expr, symbolic_int_function_expr, symbolic_list_function_expr,
    symbolic_nil_function_expr, symbolic_string_function_expr, symbolic_tuple_function_expr,
    symbolic_utf_codepoint_function_expr, tuple_expr, tuple_function_expr, tuple_list_expr,
    tuple_never_expr, tuple_never_function_expr, utf_codepoint_expr, utf_codepoint_function_expr,
    utf_codepoint_list_expr,
};
pub(super) use draft::instruction::DraftFunctionTarget;
pub(super) use draft::{
    DraftBitArray, DraftBitArrayFunction, DraftBitArrayList, DraftBool, DraftBoolFunction,
    DraftBoolList, DraftCursor, DraftCustom, DraftCustomFunction, DraftCustomList, DraftExternal,
    DraftExternalFunction, DraftExternalList, DraftFloat, DraftFloatFunction, DraftFloatList,
    DraftFlow, DraftFunction, DraftFunctionFunction, DraftFunctionList, DraftFunctionValue,
    DraftGenericFunction, DraftGraph, DraftGraphValue, DraftInt, DraftIntFunction, DraftIntList,
    DraftList, DraftListFunction, DraftListList, DraftNeverFunction, DraftNil, DraftNilFunction,
    DraftNilList, DraftParameterList, DraftParameterListList, DraftString, DraftStringFunction,
    DraftStringList, DraftTuple, DraftTupleFunction, DraftTupleList, DraftUtfCodepoint,
    DraftUtfCodepointFunction, DraftUtfCodepointList, DraftValueRef, LoweredFunctionGraph,
};
pub(super) use freeze::FreezeGraphValue;
pub(super) use profile::{seal_plain_block_graph, seal_plain_runtime_function_id};

use super::LoweringContext;
use super::specialization::Representability;
use crate::plan::{execution, module};
use std::convert::Infallible;

pub(super) fn lower_function_graph<
    ModuleExpression,
    ModuleFunction,
    DraftReturn,
    FrozenReturn,
    TailCall,
>(
    template: &module::FunctionTemplate,
    body: &module::ReturnBody<ModuleExpression, ModuleFunction>,
    context: &mut LoweringContext,
    lower_expression: impl Copy
    + Fn(
        &ModuleExpression,
        draft::DraftCursor,
        &mut draft::DraftGraph,
        &mut LoweringContext,
    ) -> Representability<draft::DraftFlow<DraftReturn>>,
    lower_function: impl Copy + Fn(&ModuleFunction, &mut LoweringContext) -> Representability<TailCall>,
) -> Representability<
    draft::LoweredFunctionGraph<execution::function::FunctionBody<FrozenReturn, TailCall>>,
>
where
    DraftReturn: draft::DraftGraphValue + freeze::FreezeGraphValue<Frozen = FrozenReturn>,
    TailCall: Clone,
{
    build::build_function_graph(template, body, context, lower_expression, lower_function)
        .map(|graph| freeze::freeze(graph, context))
}

pub(super) fn lower_never_function_graph<ModuleExpression, ModuleFunction>(
    template: &module::FunctionTemplate,
    body: &module::ReturnBody<ModuleExpression, ModuleFunction>,
    context: &mut LoweringContext,
    lower_expression: impl Copy
    + Fn(
        &ModuleExpression,
        draft::DraftCursor,
        &mut draft::DraftGraph,
        &mut LoweringContext,
    ) -> Representability<()>,
    lower_function: impl Copy
    + Fn(
        &ModuleFunction,
        &mut LoweringContext,
    ) -> Representability<
        crate::plan::FunctionCallTarget<execution::function::NeverFunctionId>,
    >,
) -> Representability<
    draft::LoweredFunctionGraph<
        execution::function::FunctionBody<
            Infallible,
            crate::plan::FunctionCallTarget<execution::function::NeverFunctionId>,
        >,
    >,
> {
    build::build_never_function_graph(template, body, context, lower_expression, lower_function)
        .map(|graph| freeze::freeze(graph, context))
}

pub(super) fn lower_constant_graph<ModuleExpression, DraftReturn, FrozenReturn>(
    expression: &ModuleExpression,
    context: &mut LoweringContext,
    lower_expression: impl Copy
    + Fn(
        &ModuleExpression,
        draft::DraftCursor,
        &mut draft::DraftGraph,
        &mut LoweringContext,
    ) -> Representability<draft::DraftFlow<DraftReturn>>,
) -> Representability<execution::constant::ConstantProgram<FrozenReturn>>
where
    DraftReturn: draft::DraftGraphValue + freeze::FreezeGraphValue<Frozen = FrozenReturn>,
{
    build::build_constant_graph(expression, context, lower_expression)
        .map(|graph| freeze::freeze_constant(graph, context))
}