View Source vterm (erldist_filter v1.1.0)
Link to this section Summary
Link to this section Types
-type atom_t() :: vterm_atom_ext:t() | vterm_small_atom_ext:t() | vterm_atom_utf8_ext:t() | vterm_small_atom_utf8_ext:t() | vterm_atom_cache_ref:t() | vterm_atom_cache_ref_resolved:t() | vterm_nif_term:t() | vterm_lazy_term:t().
-type fixed_integer_t() :: vterm_small_integer_ext:t() | vterm_integer_ext:t() | vterm_nif_term:t() | vterm_lazy_term:t().
-type i32() :: -2147483648..2147483647.
-type integer_t() :: vterm_small_integer_ext:t() | vterm_integer_ext:t() | vterm_small_big_ext:t() | vterm_large_big_ext:t() | vterm_nif_term:t() | vterm_lazy_term:t().
-type nil_t() :: vterm_nil_ext:t().
-type pid_t() :: vterm_pid_ext:t() | vterm_new_pid_ext:t() | vterm_nif_term:t() | vterm_lazy_term:t().
-type port_t() :: vterm_port_ext:t() | vterm_new_port_ext:t() | vterm_v4_port_ext:t() | vterm_lazy_term:t().
-type reference_t() :: vterm_reference_ext:t() | vterm_new_reference_ext:t() | vterm_newer_reference_ext:t() | vterm_nif_term:t() | vterm_lazy_term:t().
-type small_integer_t() :: vterm_small_integer_ext:t().
-type t() :: vterm_small_integer_ext:t() | vterm_integer_ext:t() | vterm_float_ext:t() | vterm_atom_ext:t() | vterm_small_atom_ext:t() | vterm_reference_ext:t() | vterm_new_reference_ext:t() | vterm_newer_reference_ext:t() | vterm_port_ext:t() | vterm_new_port_ext:t() | vterm_new_float_ext:t() | vterm_pid_ext:t() | vterm_new_pid_ext:t() | vterm_small_tuple_ext:t() | vterm_large_tuple_ext:t() | vterm_nil_ext:t() | vterm_string_ext:t() | vterm_list_ext:t() | vterm_binary_ext:t() | vterm_bit_binary_ext:t() | vterm_small_big_ext:t() | vterm_large_big_ext:t() | vterm_new_fun_ext:t() | vterm_export_ext:t() | vterm_map_ext:t() | vterm_atom_utf8_ext:t() | vterm_small_atom_utf8_ext:t() | vterm_v4_port_ext:t() | vterm_atom_cache_ref:t() | vterm_atom_cache_ref_resolved:t() | vterm_nif_term:t() | vterm_lazy_term:t().
-type the_non_value_t() :: vterm_the_non_value:t().
-type tuple_t() :: vterm_small_tuple_ext:t() | vterm_large_tuple_ext:t() | vterm_lazy_term:t().
-type u8() :: 0..255.
-type u16() :: 0..65535.
-type u32() :: 0..4294967295.
-type u64() :: 0..18446744073709551615.
-type xform_action() :: cont | skip.
-type xform_func(VT, Acc) :: xform_func(VT, Acc, VT, Acc).
-type xform_func(VT0, Acc0, VT1, Acc1) :: fun((VT0, Acc0) -> xform_result(VT1, Acc1)).
-type xform_result(VT, Acc) :: xform_action() | {xform_action(), Acc} | {xform_action(), VT, Acc}.
Link to this section Functions
-spec expand_atom(T) -> VT when T :: vterm:atom_t() | atom(), VT :: vterm:atom_t().
-spec expand_fixed_integer(T) -> VT when T :: vterm:fixed_integer_t() | vterm:i32(), VT :: vterm:fixed_integer_t().
-spec expand_small_integer(T) -> VT when T :: vterm:small_integer_t() | vterm:u8(), VT :: vterm:small_integer_t().
-spec is_improper_list(T) -> boolean() when T :: eqwalizer:dynamic().
-spec is_string(T) -> boolean() when T :: eqwalizer:dynamic().
-spec resolve_atoms(Atoms, VT) -> VT when Atoms :: vedf:atoms_tuple(), VT :: t().
-spec simplify(VT) -> T when VT :: vterm:t(), T :: eqwalizer:dynamic().
-spec xform(VT, Acc, Fun) -> {VT, Acc} when VT :: vterm:t(), Acc :: eqwalizer:dynamic(), Fun :: xform_func(VT, Acc).