1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
|
-module(type_specs).
-include_lib("syntax_tools/include/merl.hrl").
-export([f/1, b/0, c/2]).
-export_type([t/0, ot/2, ff2/0]).
-type aa() :: _.
-type t() :: integer().
-type ff(A) :: ot(A, A) | tuple() | 1..3 | map() | {}.
-type ff1() :: ff(bin()) | foo:bar().
-type ff2() :: {list(), [_], list(integer()),
nonempty_list(), nonempty_list(atom()), [ff1(), ...],
nil(), []}.
-type bin() :: <<>>
| <<_:(+4)>>
| <<_:_*8>>
| <<_:12, _:_*16>>
| <<_:16, _:_*(0)>> % same as "<<_:16>>"
| <<_:16, _:_*(+0)>>.
-callback cb() -> t().
-optional_callbacks([cb/0]).
-opaque ot(A, B) :: {A, B}.
-type f1() :: fun().
-type f2() :: fun((...) -> t()).
-type f3() :: fun(() -> t()).
-type f4() :: fun((t(), t()) -> t()).
-wild(attribute).
-record(par, {a :: undefined | ?MODULE}).
-record(r0, {}).
-record(r,
{f1 :: integer(),
f2 = a :: atom(),
f3 :: fun(),
f4 = 7}).
-type r0() :: #r0{} | #r{f1 :: 3} | #r{f1 :: 3, f2 :: 'sju'}.
-type m1() :: #{} | map().
-type m2() :: #{a := m1(), b => #{} | fy:m2()}.
%-type m3() :: #{...}.
%-type m4() :: #{_ => _, ...}.
%-type m5() :: #{any() => any(), ...}.
-type m3() :: #{any() => any()}.
-type m4() :: #{_ => _, any() => any()}.
-type m5() :: #{any() => any(), any() => any()}.
-type b1() :: B1 :: binary() | (BitString :: bitstring()).
-define(PAIR(A, B), {(A), (B)}).
-spec ?MODULE:f(?PAIR(r0(), r0())) -> ?PAIR(t(), t()).
f({R, R}) ->
_ = ?MODULE_STRING ++ "hej",
_ = <<"foo">>,
_ = R#r.f1,
_ = R#r{f1 = 17, f2 = b},
{1, 1}.
-spec ?MODULE:b() -> integer() | fun().
b() ->
case foo:bar() of
#{a := 2} -> 19
end.
-define(I, integer).
-spec c(Atom :: atom(), Integer :: ?I()) -> {atom(), integer()};
(X, Y) -> {atom(), float()} when X :: atom(),
is_subtype(Y, float());
(integer(), atom()) -> {integer(), atom()}.
c(A, B) ->
_ = ?I,
{A, B}.
|
