aboutsummaryrefslogtreecommitdiffstats
path: root/lib/stdlib/test/erl_lint_SUITE_data/predef.erl
blob: ee9073aa679836b26171faf7a9862df40c03c5a0 (plain) (blame)
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
-module(predef).

-export([array/1, dict/1, digraph/1, digraph2/1, gb_set/1, gb_tree/1,
         queue/1, set/1, tid/0, tid2/0]).

-export_type([array/0, digraph/0, gb_set/0]).

%% Before Erlang/OTP 17.0 local re-definitions of pre-defined opaque
%% types were ignored but did not generate any warning.
-opaque array() :: atom().
-opaque digraph() :: atom().
-opaque gb_set() :: atom().
-type dict() :: atom().
-type gb_tree() :: atom().
-type queue() :: atom().
-type set() :: atom().
-type tid() :: atom().

-spec array(array()) -> array:array().

array(A) ->
    array:relax(A).

-spec dict(dict()) -> dict:dict().

dict(D) ->
    dict:store(1, a, D).

-spec digraph(digraph()) -> [digraph:edge()].

digraph(G) ->
    digraph:edges(G).

-spec digraph2(digraph:graph()) -> [digraph:edge()].

digraph2(G) ->
    digraph:edges(G).

-spec gb_set(gb_set()) -> gb_sets:set().

gb_set(S) ->
    gb_sets:balance(S).

-spec gb_tree(gb_tree()) -> gb_trees:tree().

gb_tree(S) ->
    gb_trees:balance(S).

-spec queue(queue()) -> queue:queue().

queue(Q) ->
    queue:reverse(Q).

-spec set(set()) -> sets:set().

set(S) ->
    sets:union([S]).

-spec tid() -> tid().

tid() ->
    ets:new(tid, []).

-spec tid2() -> ets:tid().

tid2() ->
    ets:new(tid, []).