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
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39

#![doc = include_str!(concat!(env!("CARGO_MANIFEST_DIR"), "/README.md"))]
pub mod category;
pub mod stdlib;

// Compiler passes
pub mod pass;

// path::Path is a type of dot-separated strings used to name definitions and lang ops.
pub mod path;

// Shapechecking & Evaluation
pub mod interpreter;
pub mod ssa;
pub mod typecheck;

// general compiler tools
pub mod abstract_interpreter;
pub mod definition;

// Utilities
#[cfg(feature = "svg")]
pub mod svg;

pub(crate) mod util;

// entry point
pub mod prelude;

////////////////////////////////////////////////////////////////////////////////
// Macros

/// Syntax sugar for creating a shape
#[macro_export]
macro_rules! shape {
    ($b:expr, $($x:expr),+ $(,)?) => {{
        let dims = [ $( $crate::prelude::IntoNatVar::to_var((&$x), $b) ),+ ];
        pack($b, dims)
    }};
}