Sound.DF.Uniform.Faust

Block diagram data type

type Rec_Id

data BD

Identifiers

bd_id

bd_req_id

Pretty printing

bd_pp

Diagram types and signature

bd_signature

bd_ty

bd_ty_uniform

bd_ty1

Operator synonyms

(~~)

(~.)

(~:)

(~<:)

(~:>)

Fold and traverse

bd_foldl

bd_traverse

Introduce node identifiers

rec_ids

bd_set_id

Degree

type Degree

degree

in_degree

out_degree

Ports

type Port_Index

data Port

ports

port_ty

Wires

data Wire_Ty

type Wire

normal_wires

rec_back_wires

wires_immed

wires

Coherence

wire_coheres

bd_non_coherent

bd_is_coherent

Graph

data Node

actual_id

node_ty

node_id

node_lift_id

node_pp

type Edge

type Graph

edge_is_implicit_backward

rec_nodes

nodes

wire_to_edges

wires_to_edges

edges

graph'

graph

Gr

type Gr

gr

tsort

gr_dot

gr_draw

Drawing

dot_node

wire_colour

dot_edge

dot_graph

draw_dot

draw

Composition

par_l

bd_sum

split_r

split_m

split

merge_degree

merge_m

merge

rec_r

rec_m

rec

Constants

i_constant

r_constant

Primitives

u_prim

i_prim

r_prim

i_add

r_add

i_sub

r_sub

i_mul

r_mul

i_div

r_div

i_abs

r_abs

i_negate

r_negate

i_identity

r_identity

float_to_int32

int32_to_float

i32_to_normal_f32

out1

Type following primitives

ty_uop

ty_binop

ty_add

ty_div

ty_mul

ty_sub

ty_add1

ty_div1

ty_mul1

Code Gen

cg_k

cg_node_var

node_output

node_inputs

cg_node_c_call

bd_instructions

Audition

audition_rju

Figures from Quick Reference

fig_3_2

fig_3_3

fig_3_4

fig_3_5

fig_3_6

fig_3_6'

i_counter

List

adjacent

Tuple

bimap