âī¸
Core
Foundational functional types â Option, Either, Validated, and a full immutable collections hierarchy (IList, IMap, ISet, IVector).
Ribs
First-class functional programming for Dart
Skip to content
đšī¸
Effect
Purely functional effect system built around IO. Includes Ref, Deferred, Resource, Queue, Semaphore, and more structured concurrency primitives.
đ
Rill
Purely functional, composable streaming library powered by Pull. Build efficient chunked data pipelines with built-in resource safety and cancellation.
đ
JSON
Type-safe JSON encoding and decoding via composable Codec values. Supports cursors, streaming, and schema derivation.
đ
Binary
Low-level binary encoding and decoding with BitVector and ByteVector. Includes built in streaming and CRC support.
âī¸
Check
Property-based testing integrated with dart test. Define generators and let the framework find edge cases automatically.
đĸī¸
SQL
Type-safe SQL access for PostgreSQL and SQLite. Compose reads and writes using a functional query DSL with full Rill streaming support.
đ
Units
Dimensional analysis and unit-safe arithmetic. Catch unit mismatches at compile time with typed quantities and automatic conversions.
đŦ
Optics
Composable optics â Lens, Prism, Optional, and Iso â for immutable data access and transformation deep inside nested structures.
đ
IP
Typesafe representations of hosts, ports, IP addresses, and CIDR ranges. Parse and validate network addresses at the type level.
âąī¸
Limiter
Effect-based rate limiting primitives for controlling throughput in concurrent IO workflows.