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 R17B 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, []).
|
