From bcbfb1b51bce1df98fc79d86377d9663e926caf3 Mon Sep 17 00:00:00 2001
From: Remi Collet <remi@remirepo.net>
Date: Wed, 25 Aug 2021 10:23:13 +0200
Subject: initial package

---
 REFLECTION | 669 +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
 1 file changed, 669 insertions(+)
 create mode 100644 REFLECTION

(limited to 'REFLECTION')

diff --git a/REFLECTION b/REFLECTION
new file mode 100644
index 0000000..924bd2c
--- /dev/null
+++ b/REFLECTION
@@ -0,0 +1,669 @@
+Extension [ <persistent> extension #81 teds version 0.1.0a1 ] {
+
+  - Functions {
+    Function [ <internal:teds> function Teds\any ] {
+
+      - Parameters [2] {
+        Parameter #0 [ <required> iterable $iterable ]
+        Parameter #1 [ <optional> ?callable $callback = null ]
+      }
+      - Return [ bool ]
+    }
+    Function [ <internal:teds> function Teds\all ] {
+
+      - Parameters [2] {
+        Parameter #0 [ <required> iterable $iterable ]
+        Parameter #1 [ <optional> ?callable $callback = null ]
+      }
+      - Return [ bool ]
+    }
+    Function [ <internal:teds> function Teds\none ] {
+
+      - Parameters [2] {
+        Parameter #0 [ <required> iterable $iterable ]
+        Parameter #1 [ <optional> ?callable $callback = null ]
+      }
+      - Return [ bool ]
+    }
+    Function [ <internal:teds> function Teds\includes_value ] {
+
+      - Parameters [2] {
+        Parameter #0 [ <required> iterable $iterable ]
+        Parameter #1 [ <required> mixed $value ]
+      }
+      - Return [ bool ]
+    }
+    Function [ <internal:teds> function Teds\fold ] {
+
+      - Parameters [3] {
+        Parameter #0 [ <required> iterable $iterable ]
+        Parameter #1 [ <required> callable $callback ]
+        Parameter #2 [ <required> mixed $initial ]
+      }
+      - Return [ mixed ]
+    }
+    Function [ <internal:teds> function Teds\find ] {
+
+      - Parameters [3] {
+        Parameter #0 [ <required> iterable $iterable ]
+        Parameter #1 [ <required> callable $callback ]
+        Parameter #2 [ <optional> mixed $default = null ]
+      }
+      - Return [ mixed ]
+    }
+  }
+
+  - Classes [4] {
+    Class [ <internal:teds> <iterateable> final class Teds\Deque implements IteratorAggregate, Traversable, Countable, JsonSerializable, ArrayAccess ] {
+
+      - Constants [0] {
+      }
+
+      - Static properties [0] {
+      }
+
+      - Static methods [1] {
+        Method [ <internal:teds> static public method __set_state ] {
+
+          - Parameters [1] {
+            Parameter #0 [ <required> array $array ]
+          }
+          - Return [ Teds\Deque ]
+        }
+      }
+
+      - Properties [0] {
+      }
+
+      - Methods [21] {
+        Method [ <internal:teds, ctor> public method __construct ] {
+
+          - Parameters [1] {
+            Parameter #0 [ <optional> iterable $iterator = [] ]
+          }
+        }
+
+        Method [ <internal:teds, prototype IteratorAggregate> public method getIterator ] {
+
+          - Parameters [0] {
+          }
+          - Return [ InternalIterator ]
+        }
+
+        Method [ <internal:teds, prototype Countable> public method count ] {
+
+          - Parameters [0] {
+          }
+          - Return [ int ]
+        }
+
+        Method [ <internal:teds> public method capacity ] {
+
+          - Parameters [0] {
+          }
+          - Return [ int ]
+        }
+
+        Method [ <internal:teds> public method clear ] {
+
+          - Parameters [0] {
+          }
+          - Return [ void ]
+        }
+
+        Method [ <internal:teds> public method __serialize ] {
+
+          - Parameters [0] {
+          }
+          - Return [ array ]
+        }
+
+        Method [ <internal:teds> public method __unserialize ] {
+
+          - Parameters [1] {
+            Parameter #0 [ <required> array $data ]
+          }
+          - Return [ void ]
+        }
+
+        Method [ <internal:teds> public method pushBack ] {
+
+          - Parameters [1] {
+            Parameter #0 [ <required> mixed $value ]
+          }
+          - Return [ void ]
+        }
+
+        Method [ <internal:teds> public method pushFront ] {
+
+          - Parameters [1] {
+            Parameter #0 [ <required> mixed $value ]
+          }
+          - Return [ void ]
+        }
+
+        Method [ <internal:teds> public method popBack ] {
+
+          - Parameters [0] {
+          }
+          - Return [ mixed ]
+        }
+
+        Method [ <internal:teds> public method popFront ] {
+
+          - Parameters [0] {
+          }
+          - Return [ mixed ]
+        }
+
+        Method [ <internal:teds> public method toArray ] {
+
+          - Parameters [0] {
+          }
+          - Return [ array ]
+        }
+
+        Method [ <internal:teds> public method valueAt ] {
+
+          - Parameters [1] {
+            Parameter #0 [ <required> int $offset ]
+          }
+          - Return [ mixed ]
+        }
+
+        Method [ <internal:teds> public method setValueAt ] {
+
+          - Parameters [2] {
+            Parameter #0 [ <required> int $offset ]
+            Parameter #1 [ <required> mixed $value ]
+          }
+          - Return [ void ]
+        }
+
+        Method [ <internal:teds, prototype ArrayAccess> public method offsetGet ] {
+
+          - Parameters [1] {
+            Parameter #0 [ <required> mixed $offset ]
+          }
+          - Return [ mixed ]
+        }
+
+        Method [ <internal:teds, prototype ArrayAccess> public method offsetExists ] {
+
+          - Parameters [1] {
+            Parameter #0 [ <required> mixed $offset ]
+          }
+          - Return [ bool ]
+        }
+
+        Method [ <internal:teds, prototype ArrayAccess> public method offsetSet ] {
+
+          - Parameters [2] {
+            Parameter #0 [ <required> mixed $offset ]
+            Parameter #1 [ <required> mixed $value ]
+          }
+          - Return [ void ]
+        }
+
+        Method [ <internal:teds, prototype ArrayAccess> public method offsetUnset ] {
+
+          - Parameters [1] {
+            Parameter #0 [ <required> mixed $offset ]
+          }
+          - Return [ void ]
+        }
+
+        Method [ <internal:teds> public method indexOf ] {
+
+          - Parameters [1] {
+            Parameter #0 [ <required> mixed $value ]
+          }
+          - Return [ int|false ]
+        }
+
+        Method [ <internal:teds> public method contains ] {
+
+          - Parameters [1] {
+            Parameter #0 [ <required> mixed $value ]
+          }
+          - Return [ bool ]
+        }
+
+        Method [ <internal:teds, prototype JsonSerializable> public method jsonSerialize ] {
+
+          - Parameters [0] {
+          }
+          - Return [ array ]
+        }
+      }
+    }
+
+    Class [ <internal:teds> <iterateable> final class Teds\ImmutableKeyValueSequence implements IteratorAggregate, Traversable, Countable, JsonSerializable ] {
+
+      - Constants [0] {
+      }
+
+      - Static properties [0] {
+      }
+
+      - Static methods [2] {
+        Method [ <internal:teds> static public method fromPairs ] {
+
+          - Parameters [1] {
+            Parameter #0 [ <required> iterable $pairs ]
+          }
+          - Return [ Teds\ImmutableKeyValueSequence ]
+        }
+
+        Method [ <internal:teds> static public method __set_state ] {
+
+          - Parameters [1] {
+            Parameter #0 [ <required> array $array ]
+          }
+          - Return [ Teds\ImmutableKeyValueSequence ]
+        }
+      }
+
+      - Properties [0] {
+      }
+
+      - Methods [11] {
+        Method [ <internal:teds, ctor> public method __construct ] {
+
+          - Parameters [1] {
+            Parameter #0 [ <required> iterable $iterator ]
+          }
+        }
+
+        Method [ <internal:teds, prototype IteratorAggregate> public method getIterator ] {
+
+          - Parameters [0] {
+          }
+          - Return [ InternalIterator ]
+        }
+
+        Method [ <internal:teds, prototype Countable> public method count ] {
+
+          - Parameters [0] {
+          }
+          - Return [ int ]
+        }
+
+        Method [ <internal:teds> public method toPairs ] {
+
+          - Parameters [0] {
+          }
+          - Return [ array ]
+        }
+
+        Method [ <internal:teds> public method __serialize ] {
+
+          - Parameters [0] {
+          }
+          - Return [ array ]
+        }
+
+        Method [ <internal:teds> public method __unserialize ] {
+
+          - Parameters [1] {
+            Parameter #0 [ <required> array $data ]
+          }
+          - Return [ void ]
+        }
+
+        Method [ <internal:teds> public method keys ] {
+
+          - Parameters [0] {
+          }
+          - Return [ array ]
+        }
+
+        Method [ <internal:teds> public method values ] {
+
+          - Parameters [0] {
+          }
+          - Return [ array ]
+        }
+
+        Method [ <internal:teds> public method keyAt ] {
+
+          - Parameters [1] {
+            Parameter #0 [ <required> int $offset ]
+          }
+          - Return [ mixed ]
+        }
+
+        Method [ <internal:teds> public method valueAt ] {
+
+          - Parameters [1] {
+            Parameter #0 [ <required> int $offset ]
+          }
+          - Return [ mixed ]
+        }
+
+        Method [ <internal:teds, prototype JsonSerializable> public method jsonSerialize ] {
+
+          - Parameters [0] {
+          }
+          - Return [ array ]
+        }
+      }
+    }
+
+    Class [ <internal:teds> <iterateable> final class Teds\ImmutableSequence implements IteratorAggregate, Traversable, Countable, JsonSerializable, ArrayAccess ] {
+
+      - Constants [0] {
+      }
+
+      - Static properties [0] {
+      }
+
+      - Static methods [1] {
+        Method [ <internal:teds> static public method __set_state ] {
+
+          - Parameters [1] {
+            Parameter #0 [ <required> array $array ]
+          }
+          - Return [ Teds\ImmutableSequence ]
+        }
+      }
+
+      - Properties [0] {
+      }
+
+      - Methods [14] {
+        Method [ <internal:teds, ctor> public method __construct ] {
+
+          - Parameters [1] {
+            Parameter #0 [ <required> iterable $iterator ]
+          }
+        }
+
+        Method [ <internal:teds, prototype IteratorAggregate> public method getIterator ] {
+
+          - Parameters [0] {
+          }
+          - Return [ InternalIterator ]
+        }
+
+        Method [ <internal:teds, prototype Countable> public method count ] {
+
+          - Parameters [0] {
+          }
+          - Return [ int ]
+        }
+
+        Method [ <internal:teds> public method __serialize ] {
+
+          - Parameters [0] {
+          }
+          - Return [ array ]
+        }
+
+        Method [ <internal:teds> public method __unserialize ] {
+
+          - Parameters [1] {
+            Parameter #0 [ <required> array $data ]
+          }
+          - Return [ void ]
+        }
+
+        Method [ <internal:teds> public method toArray ] {
+
+          - Parameters [0] {
+          }
+          - Return [ array ]
+        }
+
+        Method [ <internal:teds> public method valueAt ] {
+
+          - Parameters [1] {
+            Parameter #0 [ <required> int $offset ]
+          }
+          - Return [ mixed ]
+        }
+
+        Method [ <internal:teds, prototype ArrayAccess> public method offsetGet ] {
+
+          - Parameters [1] {
+            Parameter #0 [ <required> mixed $offset ]
+          }
+          - Return [ mixed ]
+        }
+
+        Method [ <internal:teds, prototype ArrayAccess> public method offsetExists ] {
+
+          - Parameters [1] {
+            Parameter #0 [ <required> mixed $offset ]
+          }
+          - Return [ bool ]
+        }
+
+        Method [ <internal:teds, prototype ArrayAccess> public method offsetSet ] {
+
+          - Parameters [2] {
+            Parameter #0 [ <required> mixed $offset ]
+            Parameter #1 [ <required> mixed $value ]
+          }
+          - Return [ void ]
+        }
+
+        Method [ <internal:teds, prototype ArrayAccess> public method offsetUnset ] {
+
+          - Parameters [1] {
+            Parameter #0 [ <required> mixed $offset ]
+          }
+          - Return [ void ]
+        }
+
+        Method [ <internal:teds> public method indexOf ] {
+
+          - Parameters [1] {
+            Parameter #0 [ <required> mixed $value ]
+          }
+          - Return [ int|false ]
+        }
+
+        Method [ <internal:teds> public method contains ] {
+
+          - Parameters [1] {
+            Parameter #0 [ <required> mixed $value ]
+          }
+          - Return [ bool ]
+        }
+
+        Method [ <internal:teds, prototype JsonSerializable> public method jsonSerialize ] {
+
+          - Parameters [0] {
+          }
+          - Return [ array ]
+        }
+      }
+    }
+
+    Class [ <internal:teds> <iterateable> final class Teds\Vector implements IteratorAggregate, Traversable, Countable, JsonSerializable, ArrayAccess ] {
+
+      - Constants [0] {
+      }
+
+      - Static properties [0] {
+      }
+
+      - Static methods [1] {
+        Method [ <internal:teds> static public method __set_state ] {
+
+          - Parameters [1] {
+            Parameter #0 [ <required> array $array ]
+          }
+          - Return [ Teds\Vector ]
+        }
+      }
+
+      - Properties [0] {
+      }
+
+      - Methods [21] {
+        Method [ <internal:teds, ctor> public method __construct ] {
+
+          - Parameters [1] {
+            Parameter #0 [ <optional> iterable $iterator = [] ]
+          }
+        }
+
+        Method [ <internal:teds, prototype IteratorAggregate> public method getIterator ] {
+
+          - Parameters [0] {
+          }
+          - Return [ InternalIterator ]
+        }
+
+        Method [ <internal:teds, prototype Countable> public method count ] {
+
+          - Parameters [0] {
+          }
+          - Return [ int ]
+        }
+
+        Method [ <internal:teds> public method capacity ] {
+
+          - Parameters [0] {
+          }
+          - Return [ int ]
+        }
+
+        Method [ <internal:teds> public method clear ] {
+
+          - Parameters [0] {
+          }
+          - Return [ void ]
+        }
+
+        Method [ <internal:teds> public method setSize ] {
+
+          - Parameters [1] {
+            Parameter #0 [ <required> int $size ]
+          }
+          - Return [ void ]
+        }
+
+        Method [ <internal:teds> public method __serialize ] {
+
+          - Parameters [0] {
+          }
+          - Return [ array ]
+        }
+
+        Method [ <internal:teds> public method __unserialize ] {
+
+          - Parameters [1] {
+            Parameter #0 [ <required> array $data ]
+          }
+          - Return [ void ]
+        }
+
+        Method [ <internal:teds> public method push ] {
+
+          - Parameters [1] {
+            Parameter #0 [ <required> mixed $value ]
+          }
+          - Return [ void ]
+        }
+
+        Method [ <internal:teds> public method pop ] {
+
+          - Parameters [0] {
+          }
+          - Return [ mixed ]
+        }
+
+        Method [ <internal:teds> public method toArray ] {
+
+          - Parameters [0] {
+          }
+          - Return [ array ]
+        }
+
+        Method [ <internal:teds> public method valueAt ] {
+
+          - Parameters [1] {
+            Parameter #0 [ <required> int $offset ]
+          }
+          - Return [ mixed ]
+        }
+
+        Method [ <internal:teds> public method setValueAt ] {
+
+          - Parameters [2] {
+            Parameter #0 [ <required> int $offset ]
+            Parameter #1 [ <required> mixed $value ]
+          }
+          - Return [ void ]
+        }
+
+        Method [ <internal:teds, prototype ArrayAccess> public method offsetGet ] {
+
+          - Parameters [1] {
+            Parameter #0 [ <required> mixed $offset ]
+          }
+          - Return [ mixed ]
+        }
+
+        Method [ <internal:teds, prototype ArrayAccess> public method offsetExists ] {
+
+          - Parameters [1] {
+            Parameter #0 [ <required> mixed $offset ]
+          }
+          - Return [ bool ]
+        }
+
+        Method [ <internal:teds, prototype ArrayAccess> public method offsetSet ] {
+
+          - Parameters [2] {
+            Parameter #0 [ <required> mixed $offset ]
+            Parameter #1 [ <required> mixed $value ]
+          }
+          - Return [ void ]
+        }
+
+        Method [ <internal:teds, prototype ArrayAccess> public method offsetUnset ] {
+
+          - Parameters [1] {
+            Parameter #0 [ <required> mixed $offset ]
+          }
+          - Return [ void ]
+        }
+
+        Method [ <internal:teds> public method indexOf ] {
+
+          - Parameters [1] {
+            Parameter #0 [ <required> mixed $value ]
+          }
+          - Return [ int|false ]
+        }
+
+        Method [ <internal:teds> public method contains ] {
+
+          - Parameters [1] {
+            Parameter #0 [ <required> mixed $value ]
+          }
+          - Return [ bool ]
+        }
+
+        Method [ <internal:teds> public method shrinkToFit ] {
+
+          - Parameters [0] {
+          }
+          - Return [ void ]
+        }
+
+        Method [ <internal:teds, prototype JsonSerializable> public method jsonSerialize ] {
+
+          - Parameters [0] {
+          }
+          - Return [ array ]
+        }
+      }
+    }
+  }
+}
+
-- 
cgit