fetish_lib/
lib.rs

1//! **F**unctional **E**mbedding of **T**erms **I**n a **S**patial **H**ierarchy
2//!
3//! A library for an active research project which implements a small, yet
4//! extensible interpreter for a simply-typed combinator-based language,
5//! along with a mechanism for deriving _embeddings_ (in the machine learning sense)
6//! for terms of each type in the language. 
7//!
8//! For starting points on this library, see the Rustdoc on [`crate::context::Context`] and 
9//! [`crate::interpreter_and_embedder_state::InterpreterAndEmbedderState`]
10//! 
11//! For a description of what exactly is implemented, see
12//! <https://github.com/bubble-07/FETISH-RS/blob/master/FETISH.pdf>
13//!
14//! Or, alternatively, check out the talk at this link:
15//! <https://drive.google.com/file/d/1BrbJivs-VohTdji8Y7C4-O7xTWdugQ78/view?usp=sharing>
16//!
17//! Please notify ajg137@case.edu if you would like to contribute to this research project, 
18//! and we can arrange for an initial conversation.
19
20#![allow(dead_code)]
21#![allow(non_snake_case)]
22#![allow(unused_imports)]
23#![allow(unused_parens)]
24
25#[macro_use] extern crate log;
26pub mod multiple;
27pub mod term_input_output;
28pub mod everything;
29pub mod schmeared_hole;
30pub mod typed_vector;
31pub mod newly_evaluated_terms;
32pub mod input_to_schmeared_output;
33pub mod nonprimitive_term_pointer;
34pub mod primitive_term_pointer;
35pub mod term_index;
36pub mod displayable_with_context;
37pub mod primitive_type_space;
38pub mod primitive_directory;
39pub mod context;
40pub mod compressed_inv_schmear;
41pub mod prior_specification;
42pub mod elaborator;
43pub mod kernel;
44pub mod space_info;
45pub mod interpreter_and_embedder_state;
46pub mod feature_space_info;
47pub mod function_space_info;
48pub mod sampled_model_embedding;
49pub mod sqrtm;
50pub mod data_points;
51pub mod rand_utils;
52pub mod term_model;
53pub mod sampled_embedder_state;
54pub mod sampled_embedding_space;
55pub mod sigma_points;
56pub mod sherman_morrison;
57pub mod data_point;
58pub mod normal_inverse_wishart;
59pub mod normal_inverse_wishart_sampler;
60pub mod wishart;
61pub mod test_utils;
62pub mod array_utils;
63pub mod pseudoinverse;
64pub mod linear_sketch;
65pub mod linalg_utils;
66pub mod feature_collection;
67pub mod sketched_linear_feature_collection;
68pub mod embedder_state;
69pub mod count_sketch;
70pub mod quadratic_feature_collection;
71pub mod fourier_feature_collection;
72pub mod func_scatter_tensor;
73pub mod model;
74pub mod inverse_schmear;
75pub mod func_schmear;
76pub mod func_inverse_schmear;
77pub mod schmear;
78pub mod embedding_space;
79pub mod type_id;
80pub mod params;
81pub mod application_table;
82pub mod interpreter_state;
83pub mod func_impl;
84pub mod term;
85pub mod term_pointer;
86pub mod term_reference;
87pub mod term_application_result;
88pub mod term_application;
89pub mod type_space;
90pub mod displayable_with_state;