Functions — github.com/VictorTaelin/absal-rs

CodeHub MCPcopy Create free account

hub / github.com/VictorTaelin/absal-rs / functions

Functions24 in github.com/VictorTaelin/absal-rs

⨍ Functions 24 ◇ Types & classes 3

↓ 52 callersFunctionport

(node : u32, slot : u32)

↓ 18 callersFunctionlink

(net : &mut Net, ptr_a : u32, ptr_b : u32)

↓ 16 callersFunctionenter

(net : &Net, port : Port)

↓ 10 callersFunctionnode

↓ 6 callersFunctionkind

(net : &Net, node : u32)

↓ 6 callersFunctionnew_node

(net : &mut Net, kind : u32)

↓ 5 callersFunctionslot

↓ 4 callersFunctionparse_name

Parses a name, returns the remaining code and the name.

↓ 3 callersFunctionextend

Extends a context with a (name, value) assignments.

↓ 3 callersFunctionnarrow

Removes an assignment from a context.

↓ 2 callersFunctionvar_name

Builds a var name from an index (0="a", 1="b", 26="aa"...).

src/term.rs:115

↓ 1 callersFunctionbuild

(code : &mut Vec<u8>, term : &Term, dph : u32)

src/term.rs:128

↓ 1 callersFunctionencode

(net : &mut Net, _kind : &mut u32, scope : &mut Vec<u32>, term : &Term)

src/term.rs:197

↓ 1 callersFunctionfrom_net

src/term.rs:158

↓ 1 callersFunctionfrom_string

Converts a source-code to a λ-term.

src/term.rs:108

↓ 1 callersFunctiongo

(net : &Net, node_depth : &mut Vec<u32>, next : Port, exit : &mut Vec<Port>, depth : u32)

src/term.rs:159

↓ 1 callersFunctionparse_term

Parses a term, returns the remaining code and the term. Syntax: - lam: #var body -- same as: λvar. body - app: /f x -- same as: f(x

↓ 1 callersFunctionreduce

↓ 1 callersFunctionrewrite

(net : &mut Net, x : Port, y : Port)

↓ 1 callersFunctionto_net

src/term.rs:196

↓ 1 callersFunctionto_string

Converts a λ-term back to a source-code.

src/term.rs:127

(&self, f: &mut std::fmt::Formatter)

src/term.rs:153

(net : &mut Net)