From 904924c33720c3481f738966f32e9c34736f92cf Mon Sep 17 00:00:00 2001
From: Chloe Brown <chloe.brown.00@outlook.com>
Date: Tue, 10 Aug 2021 19:11:38 +0100
Subject: Rewrite so only valid modules can be constructed.

---
 src/Wasm/Value.agda | 24 ++++++++++++++++++++++++
 1 file changed, 24 insertions(+)
 create mode 100644 src/Wasm/Value.agda

(limited to 'src/Wasm/Value.agda')

diff --git a/src/Wasm/Value.agda b/src/Wasm/Value.agda
new file mode 100644
index 0000000..9dfc24e
--- /dev/null
+++ b/src/Wasm/Value.agda
@@ -0,0 +1,24 @@
+{-# OPTIONS --safe --without-K #-}
+
+module Wasm.Value where
+
+open import Data.Fin using (Fin)
+open import Data.String using (String)
+
+Name : Set
+Name = String
+
+Byte : Set
+Byte = Fin 256
+
+I32 : Set
+I32 = Fin 4294967296
+
+I64 : Set
+I64 = Fin 18446744073709551616
+
+F32 : Set
+F32 = Fin 4294967296
+
+F64 : Set
+F64 = Fin 18446744073709551616
-- 
cgit v1.2.3