View Source vterm (erldist_filter v1.1.0)

Link to this section Summary

Link to this section Types

-type i32() :: -2147483648..2147483647.
-type nil_t() :: vterm_nil_ext:t().
-type small_integer_t() :: vterm_small_integer_ext:t().
-type the_non_value_t() :: vterm_the_non_value: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(T) -> VT when T :: vterm:t() | eqwalizer:dynamic(), VT :: vterm:t().
-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().
Link to this function

resolve_atoms(Atoms, VT)

View Source
-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).