sva-engine 0.7.17

Renders a resolved graph into per-node buffers a query can be asked of
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
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79

// Concern: resolves a graph into instances a caller can ask about, and keeps their buffers | Non-concern: parsing (sva-ast), CLI framing (sva-cli) | IO: (&Graph, root) -> Instances, Traced

mod arguments;
mod bindings;
mod cache;
mod cast;
mod error;
pub mod flops;
mod index;
pub mod instantiate;
mod loops;
mod lower;
mod meaning;
pub mod overload;
pub mod query;
mod recent;
mod refs;
pub mod render;
mod schedule;
mod steps;
mod time;
mod trace;
mod typing;
mod vocabulary;

pub use arguments::{Argument, Arguments, Called, Chosen};
pub use bindings::Binding;
pub use cache::log::cache_log;
pub use cache::{
    BYTES_PER_FLOP, Backend, CacheStats, Counters, DEFAULT_CACHE_BYTES, DEFAULT_MARK_EVERY,
    DEFAULT_STORE_BYTES, FETCH_READS, Hash, INDEX_NAME, Lookup, Nothing, Outcome, PayloadKind,
    Persisted, STORE_FORMAT, Store, Stored, Tier,
};
pub use cast::Cast;
pub use error::{BindingFault, Diagnostic, EngineError, Located, REGISTRY};
pub use flops::{Row as FlopRow, Tree as FlopTree, Work};
pub use meaning::{Meaning, meaning};
pub use query::{Answer, Ask, DEFAULT_FRAME_SECS, Output, Representation};
pub use refs::{identity, nodes_in, spectral_sum_of, symbolic_hash};
pub use render::until::{Cmp, Term};
pub use render::{
    Abandon, Block, Built, Change, Changed, Counts, Handle, LATEST, NOTES, Never, Out, Placed,
    Range, Render, RenderConfig, STREAMED, Session, Stream, StreamConfig, Until, answer,
    answer_buffer, change, ends, fetch, plan, render, render_in, render_over, sketch_atom,
};
pub use schedule::{Order, Schedule, schedule_from};
pub use sva_formula::{C64, Codomain, Held, Line, NodeId, SpectralSum, Ty, Var};
pub use sva_samples::{
    Alias, AliasBand, BAND_COUNT, BandCrest, BandTrack, Bands, Buffer, Cost, Crest, Detail,
    EnvelopeFrame, Extent, FormantFrame, Frames, Label, LedgerEntry, Loudness, LoudnessFrame,
    MAX_PINNED_FRAME, Onsets, PSYCHOACOUSTIC_V1, PitchFrame, Profile, Pruned, Rule, SignalKind,
    Source, Spectrum, StereoFrame, StereoImage, measure_alias, pinned_frame,
};
pub use trace::{Traced, Up, trace};
pub use typing::{Typing, Value, When};
pub use vocabulary::{MAX_WIDTH, named_may_move, recognized_named, shape, shape_name};

use sva_ast::Graph;

pub const DEFAULT_SAMPLE_RATE: u32 = 44_100;

/// One inference, so a lint and a render refuse identically.
pub fn check_structure(graph: &Graph, root: &str) -> Result<(), EngineError> {
    types(graph, root).map(|_| ())
}

/// One `Ty` per node, across refs, over the instances `root` reaches.
pub fn types(graph: &Graph, root: &str) -> Result<Typing, EngineError> {
    types_at(graph, root, DEFAULT_SAMPLE_RATE)
}

/// At `rate`, whose step each `sp` is.
pub fn types_at(graph: &Graph, root: &str, rate: u32) -> Result<Typing, EngineError> {
    let instances = instantiate::instantiate(graph, root, rate)?;
    // A root names the instance its own defaults resolved to, as `render` asks for.
    let held = instances.instance_of(root)?;
    let order = schedule::schedule_from(&instances, std::slice::from_ref(&held))?;
    typing::infer_all(&instances, &order)
}