blob: b43fd6897bcfb8ece5b8a07944afa2a6c3d5301e (
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
|
-module(typeflow).
-export([t1/1, t2/1, t3/1, t4/1]).
t1(M = #{}) ->
a_is_integer(M),
case M of
#{a := X} when is_integer(X) -> ok;
_ -> fail
end.
a_is_integer(#{a := X}) when is_integer(X) -> ok.
t2(M = #{}) ->
a_is_integer(M),
lists:sort(maps:get(a, M)),
ok.
t3(M = #{}) ->
lists:sort(maps:get(a, M)),
ok.
t4(M) ->
lists:sort(maps:get(a, M)),
ok.
|