From dcf5620842edb8a4632cde794c8e511e075d3662 Mon Sep 17 00:00:00 2001
From: SoniEx2 <endermoneymod@gmail.com>
Date: Mon, 10 Oct 2022 23:50:37 -0300
Subject: Initial implementation of Packer::deserialize

---
 src/type_tree.rs | 112 -------------------------------------------------------
 1 file changed, 112 deletions(-)
 delete mode 100644 src/type_tree.rs

(limited to 'src/type_tree.rs')

diff --git a/src/type_tree.rs b/src/type_tree.rs
deleted file mode 100644
index e7389d5..0000000
--- a/src/type_tree.rs
+++ /dev/null
@@ -1,112 +0,0 @@
-// Copyright (C) 2022 Soni L.
-// SPDX-License-Identifier: MIT OR Apache-2.0
-
-//! Type Tree support.
-//!
-//! Type Trees are a Datafu feature for extracting types from a `serde`-based
-//! `Deserialize` in such a way that it can be used with Datafu patterns.
-//!
-//! They work by matching the `Deserialize` against some data, with the help of
-//! `serde_transmute`. Datafu then collects the relevant `Deserialize` calls,
-//! and uses them to infer an appropriate type tree for dynamic
-//! deserialization.
-//!
-//! When introspecting the `Deserialize`, all matching parts are extracted, and
-//! non-matching parts are ignored. Even if an error occurs, Datafu will gladly
-//! infer a type tree for what it could match.
-//!
-//! For example, given a struct and the corresponding data:
-//!
-//! ```
-//! struct Foo {
-//!   bar: i32,
-//! }
-//!
-//! let data = Foo { bar: 0 };
-//! ```
-//!
-//! Building a type tree will first inspect the struct like so:
-//!
-//! 1. call `deserialize()` on `Foo`.
-//! 2. inspect the `deserialize_struct` from `Foo`, storing the name and
-//!     fields.
-//! 3. give `Foo` the appropriate visitor (from `data`), through
-//!     `serde_transmute`.
-//! 4. inspect the `deserialize_i32` etc, also storing those.
-//!
-//! The resulting type tree can then be used in any pattern to effectively
-//! match a `Foo`, but more efficiently than with a predicate. Another big
-//! difference between predicates and type trees is how predicates are eager,
-//! and can consume values that would otherwise be matched by the rest of a
-//! pattern, like `IgnoredAny`.
-//!
-//! Type trees are pretty flexible. Consider the following example:
-//!
-//! ```
-//! struct Foo {
-//!   bar: Vec<u32>,
-//! }
-//! 
-//! let data = Foo { bar: vec![1, 2, 3] };
-//! ```
-//!
-//! This will actually produce a type tree which checks that the first 3 items
-//! are `u32`! Further, when using different types for the predicate and the
-//! data, you can get even more flexiblity. For example, with the following
-//! struct and data:
-//!
-//! ```
-//! struct Foo {
-//!   bar: Vec<u32>,
-//! }
-//!
-//! let data = ();
-//! ```
-//!
-//! Datafu will actually inspect the `deserialize_struct`, and then the
-//! struct visitor will error. But despite the error, it'll still create a type
-//! tree for the `deserialize_struct`!
-
-// use serde::Deserializer;
-
-// /// A deserializer which attempts to fill in a type tree.
-// struct TypeTreeDeserializer<'tt, D> {
-//     inner: D,
-//     tt: &'tt mut TypeTreeNode,
-// }
-
-/// A Type Tree entry type.
-///
-/// This represents a type to be deserialized with Serde, with everything that
-/// comes with that. It supports the 29 core Serde types, and 2 self-describing
-/// ones.
-#[derive(Clone, Debug, PartialEq, Eq, Hash, Default)]
-pub enum TypeTreeType {
-    /// An open type, which can be anything.
-    ///
-    /// This represents [`Deserializer::deserialize_any`].
-    #[default]
-    Any,
-    /// A type for a value which will be ignored.
-    ///
-    /// This represents [`Deserializer::deserialize_ignored_any`].
-    IgnoredAny,
-    Bool,
-}
-
-/// A node of a type tree.
-#[derive(Clone, Debug, PartialEq, Eq, Hash, Default)]
-pub struct TypeTreeNode {
-    /// The type to be requested for this node.
-    pub node_type: TypeTreeType,
-    /// The types for when this node is an enum.
-    pub enum_nodes: (), // TODO
-    /// The types for when this node is a map.
-    pub map_nodes: (), // TODO
-    /// The types for when this node is a seq.
-    pub seq_nodes: (), // TODO
-    /// The type for when this node is a some.
-    pub some_node: Option<Box<TypeTreeNode>>,
-    /// The type for when this node is a newtype struct.
-    pub newtype_node: Option<Box<TypeTreeNode>>,
-}
-- 
cgit 1.4.1