Skip to content

Search /

Welcome

Get started

Installation
Ownership and errors

Tutorial

1. Eager pipelines
2. Folds and lazy iteration
3. Results and recovery
4. Algebraic data and pattern matching
5. Algebraic data types stored in place
6. Inductive data types
7. A configuration processor
8. Functors, applicatives and monads
9. Reader, State and Writer

Examples

Example gallery

Architecture

Overview
Design principles
Callables and invocation
Functions and partial application
Iteration
Result, Optional and ControlFlow
Algebraic data and matching
Algebra and effects
Laws
Performance and targets
Native Mojo boundaries
Verification

API reference

How to read the reference
fp.callables
fp.functions
fp.iteration
fp.control
fp.adt
fp.data
fp.algebra
fp.effects
fp.matching

Guides

Support and limitations
Troubleshooting

Contributing

Development
Benchmarks
Maintaining the docs

For Mojo 1.1
Native ownership. Explicit contracts.

FP Mojo documentation

Search the documentation¶

Search concepts, module names, and operations such as fold_left, Result, or with_match.

Search terms

Loading search index…

fp_mojo v1.0.0 for Mojo 1.1 · Apache License 2.0 · Source on GitHub

On this page