Prepare VM design

1 files changed, 16 insertions, 0 deletions

diff --git a/src/lib.rs b/src/lib.rs
new file mode 100644
index 0000000..9e84de1
--- /dev/null
+++ b/src/lib.rs
@@ -0,0 +1,16 @@
+pub mod errors;
+mod parser;
+mod pattern;
+mod vm;
+
+pub use pattern::Pattern;
+
+// TODO
+pub trait PatternTypes {
+    /// The value type.
+    type Value;
+    type Iter;
+}
+
+// TODO
+pub type Predicate<T> = dyn (Fn(&<T as PatternTypes>::Value) -> bool) + Send + Sync;