Code
Hub
Workspaces
Following
Trending
Connect
MCP
copy
Create free account
hub
/
github.com/HigherOrderCO-archive/hvm-64
/ types & classes
Types & classes
73 in github.com/HigherOrderCO-archive/hvm-64
⨍
Functions
335
◇
Types & classes
73
↓ 13 callers
Class
Port
runtime/src/port.rs:20
↓ 9 callers
Class
Addr
runtime/src/addr.rs:13
↓ 5 callers
Class
Num
num/src/num.rs:10
↓ 4 callers
Class
Wire
runtime/src/wire.rs:16
↓ 3 callers
Class
Trg
runtime/src/linker.rs:233
↓ 1 callers
Class
InertDef
transform/src/pre_reduce.rs:89
↓ 1 callers
Class
LabelSets
host/src/calc_labels.rs:95
↓ 1 callers
Class
Trgs
Points to an array of `Trg`s of length at least `def.trgs`. The `Trg`s may not all be initialized. Only `TrgId`s with index less than `def.trgs` may
runtime/src/def.rs:234
Class
Allocator
Manages allocating and freeing nodes within the net.
runtime/src/allocator.rs:57
Interface
AsDef
runtime/src/def.rs:107
Class
BareCli
src/bare.rs:7
Class
Book
ast/src/ast.rs:29
Enum
CliMode
src/full.rs:29
Class
CreatedNode
runtime/src/node.rs:28
Class
Def
`Ref` ports are `Align4`
runtime/src/def.rs:88
Class
DefInfo
src/compile.rs:15
Class
Dynamic
An internal type used to mark dynamic `Def`s. This should be unsized, but there is no stable way to do this at the moment.
runtime/src/def.rs:102
Interface
Encoder
host/src/encode.rs:107
Interface
EtaReduce
transform/src/eta_reduce.rs:63
Class
ExpandDef
runtime/src/net.rs:72
Class
FmtWord
runtime/src/trace.rs:466
Interface
FromWord
util/src/ops/word.rs:1
Class
FullCli
src/full.rs:22
Class
Heap
runtime/src/allocator.rs:17
Class
Host
host/src/host.rs:17
Interface
Inline
transform/src/inline.rs:10
Class
InlineState
transform/src/inline.rs:33
Enum
Instruction
runtime/src/instruction.rs:34
Class
InterpretedDef
runtime/src/def.rs:194
Class
LabSet
runtime/src/def.rs:7
Enum
LabelState
host/src/calc_labels.rs:113
Class
Linker
Manages linking ports and wires within the net. When threads interfere, this uses the atomic linking algorithm described in `paper/`. Linking wires
runtime/src/linker.rs:10
Class
Net
ast/src/ast.rs:43
Class
Net
An interaction combinator net.
runtime/src/net.rs:7
Class
Node
runtime/src/allocator.rs:13
Enum
NodeType
transform/src/eta_reduce.rs:82
Interface
Numeric
util/src/ops/num.rs:2
Class
Phase1
transform/src/eta_reduce.rs:92
Class
Phase2
transform/src/eta_reduce.rs:127
Interface
PreReduce
transform/src/pre_reduce.rs:27
Class
PreReduceStats
transform/src/pre_reduce.rs:76
Interface
Prune
transform/src/prune.rs:6
Class
PruneState
transform/src/prune.rs:24
Class
ReadbackState
See [`Host::readback`].
host/src/readback.rs:37
Class
RedexQueue
runtime/src/linker.rs:308
Class
Rewrites
runtime/src/runtime.rs:73
Class
RunArgs
src/args.rs:6
Class
RuntimeOpts
src/args.rs:21
Enum
SeenState
transform/src/pre_reduce.rs:82
Interface
ShouldInline
transform/src/inline.rs:82
Class
State
host/src/calc_labels.rs:106
Class
State
host/src/encode.rs:38
Class
State
State of the pre-reduction algorithm.
transform/src/pre_reduce.rs:105
Class
ThreadContext
Local thread context
runtime/src/parallel.rs:42
Interface
ToWord
util/src/ops/word.rs:5
Interface
TraceArg
runtime/src/trace.rs:324
Interface
TraceArgs
runtime/src/trace.rs:431
Class
TraceData
runtime/src/trace.rs:171
Class
TraceLock
runtime/src/trace.rs:166
Class
TraceMetadata
runtime/src/trace.rs:157
Class
TraceReader
runtime/src/trace.rs:235
Class
TraceSource
runtime/src/trace.rs:148
Interface
TraceSourceBearer
runtime/src/trace.rs:143
Class
TraceWriter
runtime/src/trace.rs:188
Class
Tracer
runtime/src/trace.rs:84
Interface
Transform
transform/src/transform.rs:31
Class
TransformArgs
src/args.rs:72
Enum
TransformError
transform/src/transform.rs:19
Class
TransformOpts
src/args.rs:45
Class
TransformOpts
transform/src/transform.rs:80
Class
TraverseNode
See [`Port::traverse_node`].
runtime/src/node.rs:4
Enum
Tree
ast/src/ast.rs:57
Class
TrgId
runtime/src/instruction.rs:81