catgrad 0.2.1

a categorical deep learning compiler
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21

//! # Typechecker
//!
//! Evaluates the compute graph using the symbolic types in [`value_types`] to ensure the graph is
//! well-typed.
//! The [`check`](check::check) function returns an assignment of these symbolic [`Value`]s to each node in the
//! input term.
pub(crate) mod interpreter;
pub(crate) mod isomorphism;
pub(crate) mod tensor_op;

pub mod display;

pub mod check;
pub mod parameters;
pub mod value_types;

// public interface: value types and check function
pub use crate::abstract_interpreter::{InterpreterError, Value};
pub use check::{check, check_with};
pub use parameters::Parameters;
pub use value_types::{DtypeExpr, NatExpr, NdArrayType, ShapeExpr, TypeExpr};