typereps are values

This commit is contained in:
Ulf Norell 2019-08-14 09:27:51 +02:00
parent 52781060b2
commit 834ab298d1
2 changed files with 4 additions and 1 deletions

View File

@ -17,6 +17,7 @@
-define(FATE_VOID_T, void). -define(FATE_VOID_T, void).
-define(FATE_TUPLE_T, {tuple, tuple()}). -define(FATE_TUPLE_T, {tuple, tuple()}).
-define(FATE_BITS_T, {bits, integer()}). -define(FATE_BITS_T, {bits, integer()}).
-define(FATE_TYPEREP_T, {typerep, fate_type_type()}).
-define(IS_FATE_INTEGER(X), (is_integer(X))). -define(IS_FATE_INTEGER(X), (is_integer(X))).
-define(IS_FATE_LIST(X), (is_list(X))). -define(IS_FATE_LIST(X), (is_list(X))).

View File

@ -21,6 +21,7 @@
-type fate_variant() :: ?FATE_VARIANT_T. -type fate_variant() :: ?FATE_VARIANT_T.
-type fate_tuple() :: ?FATE_TUPLE_T. -type fate_tuple() :: ?FATE_TUPLE_T.
-type fate_bits() :: ?FATE_BITS_T. -type fate_bits() :: ?FATE_BITS_T.
-type fate_typerep() :: ?FATE_TYPEREP_T.
-type fate_type_type() :: integer -type fate_type_type() :: integer
| boolean | boolean
@ -54,7 +55,8 @@
| fate_channel() | fate_channel()
| fate_variant() | fate_variant()
| fate_map() | fate_map()
| fate_bits(). | fate_bits()
| fate_typerep().
-export_type([fate_type/0 -export_type([fate_type/0
, fate_boolean/0 , fate_boolean/0