Packages

spectra

0.1.1
0.13.4 0.13.3 0.13.2 0.13.1 0.13.0 0.12.1 0.12.0 0.11.4 0.11.3 0.11.2 0.11.1 0.11.0 0.10.0 0.9.4 0.9.3 0.9.2 0.9.1 0.9.0 0.8.2 0.8.1 0.8.0 0.7.0 0.6.0 0.5.1 0.5.0 0.4.0 0.3.2 0.3.1 0.3.0 0.2.0 0.1.10 0.1.9 0.1.8 0.1.7 0.1.6 0.1.5 0.1.4 0.1.3 0.1.2 0.1.1 0.1.0

Type safe data (de) serialization.

HexDocs

Current section

Files

Jump to
Readme
41 Versions
0 Dependencies
Dependants
Files
Activity
spectra src spectra_type.erl
Raw

src/spectra_type.erl 

-module(spectra_type).



-include("../include/spectra.hrl").

-include("../include/spectra_internal.hrl").



-export([can_be_undefined/2, is_type_reference/1]).



-spec can_be_undefined(TypeInfo :: spectra:type_info(), Type :: spectra:sp_type()) ->

    boolean().

can_be_undefined(TypeInfo, Type) ->

    case Type of

        #sp_type_with_variables{type = Type2} ->

            can_be_undefined(TypeInfo, Type2);

        #sp_union{types = Types} ->

            lists:any(fun(T) -> can_be_undefined(TypeInfo, T) end, Types);

        #sp_literal{value = undefined} ->

            true;

        #sp_user_type_ref{type_name = TypeName, variables = TypeArgs} ->

            TypeArity = length(TypeArgs),

            case spectra_type_info:get_type(TypeInfo, TypeName, TypeArity) of

                {ok, Type2} ->

                    %% infinite recursion?

                    can_be_undefined(TypeInfo, Type2);

                error ->

                    %% error?

                    false

            end;

        _ ->

            false

    end.



-spec is_type_reference(spectra:sp_type_or_ref()) -> boolean().

is_type_reference({type, _, _}) ->

    true;

is_type_reference({record, _}) ->

    true;

is_type_reference(_) ->

    false.