19 files changed, 0 insertions, 341 deletions
diff --git a/src/Structure/Types/ExternType.php b/src/Structure/Types/ExternType.php
deleted file mode 100644
index 404f755..0000000
--- a/src/Structure/Types/ExternType.php
+++ /dev/null
@@ -1,28 +0,0 @@
-<?php
-
-declare(strict_types=1);
-
-namespace Nsfisis\Waddiwasi\Structure\Types;
-
-abstract readonly class ExternType
-{
-    final public static function Func(FuncType $type): ExternTypes\Func
-    {
-        return new ExternTypes\Func($type);
-    }
-
-    final public static function Table(TableType $type): ExternTypes\Table
-    {
-        return new ExternTypes\Table($type);
-    }
-
-    final public static function Mem(MemType $type): ExternTypes\Mem
-    {
-        return new ExternTypes\Mem($type);
-    }
-
-    final public static function Global(GlobalType $type): ExternTypes\Global_
-    {
-        return new ExternTypes\Global_($type);
-    }
-}
diff --git a/src/Structure/Types/ExternTypes/Func.php b/src/Structure/Types/ExternTypes/Func.php
deleted file mode 100644
index 74e9215..0000000
--- a/src/Structure/Types/ExternTypes/Func.php
+++ /dev/null
@@ -1,16 +0,0 @@
-<?php
-
-declare(strict_types=1);
-
-namespace Nsfisis\Waddiwasi\Structure\Types\ExternTypes;
-
-use Nsfisis\Waddiwasi\Structure\Types\ExternType;
-use Nsfisis\Waddiwasi\Structure\Types\FuncType;
-
-final readonly class Func extends ExternType
-{
-    protected function __construct(
-        public FuncType $inner,
-    ) {
-    }
-}
diff --git a/src/Structure/Types/ExternTypes/Global_.php b/src/Structure/Types/ExternTypes/Global_.php
deleted file mode 100644
index d88b4b2..0000000
--- a/src/Structure/Types/ExternTypes/Global_.php
+++ /dev/null
@@ -1,16 +0,0 @@
-<?php
-
-declare(strict_types=1);
-
-namespace Nsfisis\Waddiwasi\Structure\Types\ExternTypes;
-
-use Nsfisis\Waddiwasi\Structure\Types\ExternType;
-use Nsfisis\Waddiwasi\Structure\Types\GlobalType;
-
-final readonly class Global_ extends ExternType
-{
-    protected function __construct(
-        public GlobalType $inner,
-    ) {
-    }
-}
diff --git a/src/Structure/Types/ExternTypes/Mem.php b/src/Structure/Types/ExternTypes/Mem.php
deleted file mode 100644
index 3777c5c..0000000
--- a/src/Structure/Types/ExternTypes/Mem.php
+++ /dev/null
@@ -1,16 +0,0 @@
-<?php
-
-declare(strict_types=1);
-
-namespace Nsfisis\Waddiwasi\Structure\Types\ExternTypes;
-
-use Nsfisis\Waddiwasi\Structure\Types\ExternType;
-use Nsfisis\Waddiwasi\Structure\Types\MemType;
-
-final readonly class Mem extends ExternType
-{
-    protected function __construct(
-        public MemType $inner,
-    ) {
-    }
-}
diff --git a/src/Structure/Types/ExternTypes/Table.php b/src/Structure/Types/ExternTypes/Table.php
deleted file mode 100644
index 26a7675..0000000
--- a/src/Structure/Types/ExternTypes/Table.php
+++ /dev/null
@@ -1,16 +0,0 @@
-<?php
-
-declare(strict_types=1);
-
-namespace Nsfisis\Waddiwasi\Structure\Types\ExternTypes;
-
-use Nsfisis\Waddiwasi\Structure\Types\ExternType;
-use Nsfisis\Waddiwasi\Structure\Types\TableType;
-
-final readonly class Table extends ExternType
-{
-    protected function __construct(
-        public TableType $inner,
-    ) {
-    }
-}
diff --git a/src/Structure/Types/FuncType.php b/src/Structure/Types/FuncType.php
deleted file mode 100644
index e445512..0000000
--- a/src/Structure/Types/FuncType.php
+++ /dev/null
@@ -1,20 +0,0 @@
-<?php
-
-declare(strict_types=1);
-
-namespace Nsfisis\Waddiwasi\Structure\Types;
-
-final readonly class FuncType
-{
-    public function __construct(
-        public ResultType $params,
-        public ResultType $results,
-    ) {
-    }
-
-    public function equals(FuncType $other): bool
-    {
-        return $this->params->equals($other->params)
-            && $this->results->equals($other->results);
-    }
-}
diff --git a/src/Structure/Types/GlobalType.php b/src/Structure/Types/GlobalType.php
deleted file mode 100644
index 182b761..0000000
--- a/src/Structure/Types/GlobalType.php
+++ /dev/null
@@ -1,14 +0,0 @@
-<?php
-
-declare(strict_types=1);
-
-namespace Nsfisis\Waddiwasi\Structure\Types;
-
-final readonly class GlobalType
-{
-    public function __construct(
-        public Mut $mut,
-        public ValType $valType,
-    ) {
-    }
-}
diff --git a/src/Structure/Types/Limits.php b/src/Structure/Types/Limits.php
deleted file mode 100644
index e2ec343..0000000
--- a/src/Structure/Types/Limits.php
+++ /dev/null
@@ -1,24 +0,0 @@
-<?php
-
-declare(strict_types=1);
-
-namespace Nsfisis\Waddiwasi\Structure\Types;
-
-final readonly class Limits
-{
-    /**
-     * @param U32 $min
-     * @param ?U32 $max
-     */
-    public function __construct(
-        public int $min,
-        public ?int $max,
-    ) {
-    }
-
-    public function isValid(): bool
-    {
-        return 0 <= $this->min &&
-            ($this->max === null || $this->min <= $this->max);
-    }
-}
diff --git a/src/Structure/Types/MemType.php b/src/Structure/Types/MemType.php
deleted file mode 100644
index d4c9009..0000000
--- a/src/Structure/Types/MemType.php
+++ /dev/null
@@ -1,13 +0,0 @@
-<?php
-
-declare(strict_types=1);
-
-namespace Nsfisis\Waddiwasi\Structure\Types;
-
-final readonly class MemType
-{
-    public function __construct(
-        public Limits $limits,
-    ) {
-    }
-}
diff --git a/src/Structure/Types/Mut.php b/src/Structure/Types/Mut.php
deleted file mode 100644
index 8b3c611..0000000
--- a/src/Structure/Types/Mut.php
+++ /dev/null
@@ -1,11 +0,0 @@
-<?php
-
-declare(strict_types=1);
-
-namespace Nsfisis\Waddiwasi\Structure\Types;
-
-enum Mut
-{
-    case Const;
-    case Var;
-}
diff --git a/src/Structure/Types/NumType.php b/src/Structure/Types/NumType.php
deleted file mode 100644
index 28b6d80..0000000
--- a/src/Structure/Types/NumType.php
+++ /dev/null
@@ -1,13 +0,0 @@
-<?php
-
-declare(strict_types=1);
-
-namespace Nsfisis\Waddiwasi\Structure\Types;
-
-enum NumType
-{
-    case I32;
-    case I64;
-    case F32;
-    case F64;
-}
diff --git a/src/Structure/Types/RefType.php b/src/Structure/Types/RefType.php
deleted file mode 100644
index 0d40d86..0000000
--- a/src/Structure/Types/RefType.php
+++ /dev/null
@@ -1,11 +0,0 @@
-<?php
-
-declare(strict_types=1);
-
-namespace Nsfisis\Waddiwasi\Structure\Types;
-
-enum RefType
-{
-    case FuncRef;
-    case ExternRef;
-}
diff --git a/src/Structure/Types/ResultType.php b/src/Structure/Types/ResultType.php
deleted file mode 100644
index 623ca3e..0000000
--- a/src/Structure/Types/ResultType.php
+++ /dev/null
@@ -1,31 +0,0 @@
-<?php
-
-declare(strict_types=1);
-
-namespace Nsfisis\Waddiwasi\Structure\Types;
-
-use function count;
-
-final readonly class ResultType
-{
-    /**
-     * @param list<ValType> $types
-     */
-    public function __construct(
-        public array $types,
-    ) {
-    }
-
-    public function equals(ResultType $other): bool
-    {
-        if (count($this->types) !== count($other->types)) {
-            return false;
-        }
-        foreach ($this->types as $i => $type) {
-            if (!$type->equals($other->types[$i])) {
-                return false;
-            }
-        }
-        return true;
-    }
-}
diff --git a/src/Structure/Types/TableType.php b/src/Structure/Types/TableType.php
deleted file mode 100644
index 619ad25..0000000
--- a/src/Structure/Types/TableType.php
+++ /dev/null
@@ -1,14 +0,0 @@
-<?php
-
-declare(strict_types=1);
-
-namespace Nsfisis\Waddiwasi\Structure\Types;
-
-final readonly class TableType
-{
-    public function __construct(
-        public Limits $limits,
-        public RefType $refType,
-    ) {
-    }
-}
diff --git a/src/Structure/Types/ValType.php b/src/Structure/Types/ValType.php
deleted file mode 100644
index bf072e2..0000000
--- a/src/Structure/Types/ValType.php
+++ /dev/null
@@ -1,25 +0,0 @@
-<?php
-
-declare(strict_types=1);
-
-namespace Nsfisis\Waddiwasi\Structure\Types;
-
-abstract readonly class ValType
-{
-    final public static function NumType(NumType $type): ValTypes\NumType
-    {
-        return new ValTypes\NumType($type);
-    }
-
-    final public static function VecType(VecType $type): ValTypes\VecType
-    {
-        return new ValTypes\VecType($type);
-    }
-
-    final public static function RefType(RefType $type): ValTypes\RefType
-    {
-        return new ValTypes\RefType($type);
-    }
-
-    abstract public function equals(ValType $other): bool;
-}
diff --git a/src/Structure/Types/ValTypes/NumType.php b/src/Structure/Types/ValTypes/NumType.php
deleted file mode 100644
index fcaa7e3..0000000
--- a/src/Structure/Types/ValTypes/NumType.php
+++ /dev/null
@@ -1,21 +0,0 @@
-<?php
-
-declare(strict_types=1);
-
-namespace Nsfisis\Waddiwasi\Structure\Types\ValTypes;
-
-use Nsfisis\Waddiwasi\Structure\Types\NumType as OrigNumType;
-use Nsfisis\Waddiwasi\Structure\Types\ValType;
-
-final readonly class NumType extends ValType
-{
-    protected function __construct(public OrigNumType $inner)
-    {
-    }
-
-    public function equals(ValType $other): bool
-    {
-        return $other instanceof self
-            && $this->inner === $other->inner;
-    }
-}
diff --git a/src/Structure/Types/ValTypes/RefType.php b/src/Structure/Types/ValTypes/RefType.php
deleted file mode 100644
index fc48dfb..0000000
--- a/src/Structure/Types/ValTypes/RefType.php
+++ /dev/null
@@ -1,21 +0,0 @@
-<?php
-
-declare(strict_types=1);
-
-namespace Nsfisis\Waddiwasi\Structure\Types\ValTypes;
-
-use Nsfisis\Waddiwasi\Structure\Types\RefType as OrigRefType;
-use Nsfisis\Waddiwasi\Structure\Types\ValType;
-
-final readonly class RefType extends ValType
-{
-    protected function __construct(public OrigRefType $inner)
-    {
-    }
-
-    public function equals(ValType $other): bool
-    {
-        return $other instanceof self
-            && $this->inner === $other->inner;
-    }
-}
diff --git a/src/Structure/Types/ValTypes/VecType.php b/src/Structure/Types/ValTypes/VecType.php
deleted file mode 100644
index a28081f..0000000
--- a/src/Structure/Types/ValTypes/VecType.php
+++ /dev/null
@@ -1,21 +0,0 @@
-<?php
-
-declare(strict_types=1);
-
-namespace Nsfisis\Waddiwasi\Structure\Types\ValTypes;
-
-use Nsfisis\Waddiwasi\Structure\Types\ValType;
-use Nsfisis\Waddiwasi\Structure\Types\VecType as OrigVecType;
-
-final readonly class VecType extends ValType
-{
-    protected function __construct(public OrigVecType $inner)
-    {
-    }
-
-    public function equals(ValType $other): bool
-    {
-        return $other instanceof self
-            && $this->inner === $other->inner; // @phpstan-ignore-line
-    }
-}
diff --git a/src/Structure/Types/VecType.php b/src/Structure/Types/VecType.php
deleted file mode 100644
index ae8a0f6..0000000
--- a/src/Structure/Types/VecType.php
+++ /dev/null
@@ -1,10 +0,0 @@
-<?php
-
-declare(strict_types=1);
-
-namespace Nsfisis\Waddiwasi\Structure\Types;
-
-enum VecType
-{
-    case V128;
-}