Errors and contracts — Irij

☰

Home Learn Seeds Playground Docs Dashboard

All lessons

Foundations

1Hello, Irij
2Values and bindings
3Functions
4Choosing and repeating
5Collections
6Pipelines
7Pattern matching

Modelling data

8Specs
9Protocols
10Errors and contracts

Effects

11Effect rows
12Effects and handlers
13Handlers in practice

Going further

14Concurrency
15Modules and Java
16Capstone and next steps

Learn · Modelling data · Lesson 10 of 16

Errors and contracts

Loading lesson…

← PreviousProtocols Next →Effect rows

Irij v0.11.376 — Where contracts meet effects