Documentation

Install the Ignis compiler from a release archive or build it from source.

Create a project, write a program that compiles, and run the binary.

What ignis init writes, and every section of the ignis.toml manifest.

The primitive types, what each one holds, and the coercions the compiler will and will not perform.

Named product types with fields, methods, static members and layout attributes.

Sum types with payloads, methods and static members, and the enums that power the try operator.

Type parameters on functions, records, enums and aliases, and how the compiler specializes them.

Shared behaviour declared as a contract, plus the three lang traits the compiler enforces itself.

match expressions, if let, while let and let else — one pattern grammar across all four.

Moves, copies, clones, drops and the exclusivity rules the borrow checker enforces.

Anonymous functions, the capture modes the compiler infers, and what @noescape buys you.

Conditions, loops, defer, and the statements that leave a block.

Literals, the operator set, casts, the try operator and the pipe.

Backtick strings with ${} interpolation, what a slot accepts, and why interpolating a variable does not move it.

Namespaces, import and export forms, extern blocks, and how an import path is resolved.

The @ annotations on declarations and parameters, and the compile-time directive surface.

The compiler-resolved operations, what each returns, and which three of them stop the program.

Choosing between str and String, arrays and Vector, and the three hash-based collections.

The ignis command — building, checking, testing, formatting and creating projects.

Canonical layout, the four settings that control it, and the cases where the formatter refuses to guess.

Writing @test functions, the assertions available, and how snapshots are stored and updated.