Packages

spectra

0.3.2
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_internal.hrl").



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



-spec can_be_missing(

    TypeInfo :: spectra:type_info(), Type :: spectra:sp_type()

) ->

    {true, spectra:missing_value()} | false.

can_be_missing(TypeInfo, Type) ->

    case Type of

        #sp_type_with_variables{type = Type2} ->

            can_be_missing(TypeInfo, Type2);

        #sp_union{types = Types} ->

            case lists:filtermap(fun(T) -> can_be_missing(TypeInfo, T) end, Types) of

                [] ->

                    false;

                MissingValues ->

                    {true, lists:last(MissingValues)}

            end;

        #sp_literal{value = LiteralValue} when

            LiteralValue =:= nil orelse LiteralValue =:= undefined

        ->

            {true, LiteralValue};

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

            TypeArity = length(TypeArgs),

            RefType = spectra_type_info:get_type(TypeInfo, TypeName, TypeArity),

            can_be_missing(TypeInfo, RefType);

        _ ->

            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.