Packages

gradualizer

0.2.0
0.2.0 0.1.3 0.1.2 0.1.1 0.1.0

A type checker for Erlang

HexDocs

Current section

Files

Jump to
Readme
5 Versions
0 Dependencies
Dependants
Files
Activity
gradualizer src typelib.hrl
Raw

src/typelib.hrl 

%% convenience guards



%% same as typechecker:is_int_type/2 but can be used as a guard

-define(is_int_type(T),

        (tuple_size(T) =:= 4 andalso

         element(1, T) =:= type andalso

         (element(3, T) =:= integer orelse

          element(3, T) =:= pos_integer orelse

          element(3, T) =:= neg_integer orelse

          element(3, T) =:= non_neg_integer orelse

          element(3, T) =:= range))

        orelse

          (tuple_size(T) =:= 3 andalso

           (element(1, T) =:= integer orelse

            element(1, T) =:= char))).



%% same as typechecker:is_list_type/1 but can be used as a guard

-define(is_list_type(T),

        (tuple_size(T) =:= 4 andalso

         element(1, T) =:= type andalso

         (element(3, T) =:= list orelse

          element(3, T) =:= nil orelse

          element(3, T) =:= nonempty_list orelse

          element(3, T) =:= maybe_improper_list orelse

          element(3, T) =:= nonempty_improper_list))).



%% Checks if an operator is a comparison operator

-define(is_comp_op(OP),

        (OP =:= '>' orelse OP =:= '>=' orelse

         OP =:= '<' orelse OP =:= '=<' orelse

         OP =:= '==' orelse OP =:= '/=' orelse

         OP =:= '=:=' orelse OP =:= '=/=')).