1.
Introduction
2.
Installation
3.
Simulation and Testing
4.
Interfacing with Verilog
5.
Sample project: ws2128 RGB LED driver
5.1.
Creating a Project
5.2.
Led Protocol Overview
5.3.
Driver Interface
5.4.
State Machine
5.5.
Testing the State Machine
5.6.
Output generation
5.7.
Testing in hardware
6.
Language Reference
6.1.
Items
6.1.1.
Units
6.1.2.
Type Declarations
6.2.
Statements
6.3.
Expressions
6.3.1.
Blocks
6.3.2.
If
6.3.3.
Match
6.3.4.
Instantiation
6.3.5.
Indexing
6.3.6.
Stage References
6.4.
Patterns
6.4.1.
Refutability
6.5.
Type system
6.5.1.
Primitive Types
6.5.2.
Generics
6.5.3.
Ports and Wires
6.5.4.
Inverted Ports
6.6.
Dynamic Pipelines
6.7.
Binding
6.8.
Constructs by syntax
7.
Swim Project Configuration
8.
Swim Plugin Configuration
9.
Compiler Internals
9.1.
Naming
9.2.
Type Representation
Light (default)
Rust
Coal
Navy
Ayu
The Spade Programming Language
Primitive Types
These are the types built into the Spade language which aren't defined in the standard library.
bool