From 834ab298d1ceafec8b41c85d02b1f2c03fa9145c Mon Sep 17 00:00:00 2001
From: Ulf Norell <ulf.norell@gmail.com>
Date: Wed, 14 Aug 2019 09:27:51 +0200
Subject: [PATCH] typereps are values

---
 include/aeb_fate_data.hrl | 1 +
 src/aeb_fate_data.erl     | 4 +++-
 2 files changed, 4 insertions(+), 1 deletion(-)

diff --git a/include/aeb_fate_data.hrl b/include/aeb_fate_data.hrl
index 8c07896..c6c6ae6 100644
--- a/include/aeb_fate_data.hrl
+++ b/include/aeb_fate_data.hrl
@@ -17,6 +17,7 @@
 -define(FATE_VOID_T,      void).
 -define(FATE_TUPLE_T,     {tuple, tuple()}).
 -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_LIST(X),    (is_list(X))).
diff --git a/src/aeb_fate_data.erl b/src/aeb_fate_data.erl
index eb7b54b..10a314b 100644
--- a/src/aeb_fate_data.erl
+++ b/src/aeb_fate_data.erl
@@ -21,6 +21,7 @@
 -type fate_variant()   :: ?FATE_VARIANT_T.
 -type fate_tuple()     :: ?FATE_TUPLE_T.
 -type fate_bits()      :: ?FATE_BITS_T.
+-type fate_typerep()   :: ?FATE_TYPEREP_T.
 
 -type fate_type_type() :: integer
                         | boolean
@@ -54,7 +55,8 @@
       | fate_channel()
       | fate_variant()
       | fate_map()
-      | fate_bits().
+      | fate_bits()
+      | fate_typerep().
 
 -export_type([fate_type/0
              , fate_boolean/0