From 505779310aedab8e37ff4477860a22eeaa076007 Mon Sep 17 00:00:00 2001
From: LordBaryhobal <lordbaryhobal@gmail.com>
Date: Tue, 2 Jun 2026 11:40:42 +0200
Subject: [PATCH] feat: add new midas syntax example

---
 .../05_custom_types_v3.midas                  | 33 +++++++++++++++++++
 1 file changed, 33 insertions(+)
 create mode 100644 examples/00_syntax_prototype/05_custom_types_v3.midas

diff --git a/examples/00_syntax_prototype/05_custom_types_v3.midas b/examples/00_syntax_prototype/05_custom_types_v3.midas
new file mode 100644
index 0000000..a339318
--- /dev/null
+++ b/examples/00_syntax_prototype/05_custom_types_v3.midas
@@ -0,0 +1,33 @@
+type Foo1 = float
+type Foo2 = float where (_ > 3)
+type Foo3 = int | float
+type Foo4 = int where (_ > 3) | float where (_ > 3)
+type Foo5 = (int | float) where (_ > 3)
+type Foo6 = {
+    foo: float
+    bar: float where (_ > 3)
+}
+
+type Foo7[T] = T where (_ > 3)
+type Foo8[A, B<:int] = {
+    a: A
+    b: B
+}
+
+type Complex = {
+    a: int
+    b: int
+}
+type Complex2 = Complex where (_.a > 3 & _.b < 5)
+
+predicate Positive(n: int) = n >= 0
+
+extend Foo1 {
+    op __add__(Foo1) -> Foo1
+}
+
+extend Foo7[T] {
+    op __add__(Foo7[T]) -> Foo7[T]
+}
+
+type Optional[T] = None | T