Open yoshihiro503 opened 5 years ago
Implement all case of the function Type.of_absform.
Type.of_absform
TyAnn
atom()
'ok'
1
number()
any()
none()
boolean()
TyTuple
TyUnion
pid()
port()
reference()
identifier()
non_neg_integer()
integer()
pos_integer()
neg_integer()
float()
byte()
char()
TyRange
binary()
bitstring()
list(char())
iodata()
iolist() | binary()
iolist()
maybe_improper_list(byte() | binary() | iolist(), binary() | [])
function()
TyFun
TyFunAny
TyFunAnyArity
TyContFun
TyAnyTuple
module()
mfa()
node()
timeout()
no_return()
TyBinOp
TyUnaryOP
TyAnyMap
TyMap
TyUser
TyLit
TyRecord
TyRemote
Implement all case of the function
Type.of_absform
.TyAnn
atom()
,'ok'
1
, andnumber()
any()
none()
boolean()
TyTuple
TyUnion
pid()
port()
reference()
identifier()
#255non_neg_integer()
,integer()
,pos_integer()
,neg_integer()
float()
byte()
char()
TyRange
binary()
bitstring()
and Bitstringlist(char())
) #246iodata()
(=iolist() | binary()
),iolist()
(=maybe_improper_list(byte() | binary() | iolist(), binary() | [])
)function()
,TyFun
,TyFunAny
TyFunAnyArity
TyContFun
#247TyAnyTuple
module()
mfa()
node()
timeout()
no_return()
TyBinOp
,TyUnaryOP
TyAnyMap
TyMap
#246TyUser
TyLit
TyRecord
TyRemote