blob: 96df437c676c524f55befcd5f7a4b6a795247e40 (
plain) (
tree)
|
|
-module(para2_adt).
%% More parameterized opaque types
-export_type([c1/0, c2/0]).
-export_type([ct1/0, ct2/0]).
-export_type([circ/1, circ/2]).
-export_type([un/2]).
-export([c1/0, c2/0, ct1/0, ct2/0, circ1/0, circ2/0, u1/0, u2/0]).
-opaque c1() :: c2().
-opaque c2() :: c1().
-spec c1() -> c1().
c1() ->
a.
-spec c2() -> c2().
c2() ->
a.
-type ct1() :: ct2().
-type ct2() :: ct1().
-spec ct1() -> ct1().
ct1() ->
a.
-spec ct2() -> ct2().
ct2() ->
b.
-opaque circ(A) :: circ(A, A).
-opaque circ(A, B) :: circ({A, B}).
-spec circ1() -> circ(integer()).
circ1() ->
3.
-spec circ2() -> circ(integer(), integer()).
circ2() ->
{3, 3}.
-opaque un(A, B) :: A | B.
-spec u1() -> un(integer(), atom()).
u1() ->
3.
-spec u2() -> un(atom(), integer()).
u2() ->
3.
|