ekmett / adjunctions
Simple adjunctions
☆45Updated last week
Alternatives and similar repositories for adjunctions:
Users that are interested in adjunctions are comparing it to the libraries listed below
- Dual Traversable☆42Updated last year
- Sort any Traversable container☆41Updated 2 years ago
- Haskell 98 Profunctors☆71Updated 8 months ago
- Generic data types in Haskell, utilities for GHC.Generics☆45Updated 2 months ago
- Functions and newtype wrappers for traversing Trees☆30Updated 6 months ago
- experimenting with unlifted classes via backpack☆36Updated 2 years ago
- There are many category theory implementations, but this one is mine☆15Updated 6 months ago
- All of `base` without the `Prelude` module☆44Updated 2 years ago
- A syntax for unions of constraints in Haskell☆70Updated 7 years ago
- ☆35Updated 5 months ago
- A suite of Haskell libraries for representing, manipulating, and sampling random variables☆42Updated last year
- Subclasses of Monoid with a solid theoretical foundation and practical purposes☆33Updated last week
- Filter with effects☆73Updated 2 months ago
- Maps using values' monoidal structure during merging☆42Updated 3 months ago
- ☆19Updated last month
- rewrite rules for type-level equalities☆62Updated 10 months ago
- Structured logging solution.☆35Updated last year
- a modern library for typed path manipulation in Haskell☆36Updated 3 years ago
- Some useful control operators for looping☆48Updated 4 years ago
- Haskell time library focusing on performance☆57Updated 3 months ago
- Type-level sets for Haskell (with value-level counterparts and various operations)☆66Updated last year
- Reasonable Haskell default import☆27Updated 2 years ago
- Type-safe time units in Haskell☆49Updated last month
- Generic functions for single-sorted first-order structural unification☆42Updated last week
- Beseder: make impossible state transitions impossible☆31Updated 4 years ago
- System F implemented in Haskell☆24Updated 12 years ago
- Extensible type-safe unions for Haskell☆33Updated 6 months ago
- Provides free functors that are adjoint to functors that forget class constraints.☆29Updated 6 months ago
- join and meet semilattices, lower and upper bounds.☆43Updated 5 months ago
- Atom LSP plugin for HIE (Haskell IDE Engine)☆26Updated 5 years ago