Simple adjunctions
☆45Jan 10, 2026Updated last month
Alternatives and similar repositories for adjunctions
Users that are interested in adjunctions are comparing it to the libraries listed below
Sorting:
- Haskell 98 Profunctors☆70Jun 17, 2025Updated 8 months ago
- Haskell 98 contravariant functors☆73Jan 10, 2026Updated last month
- Kan extensions, Kan lifts, the Yoneda lemma, and (co)monads generated by a functor☆83Jan 10, 2026Updated last month
- the 'invariant' Haskell package for invariant functors☆16Jan 10, 2026Updated last month
- Dual Traversable☆41Jan 10, 2026Updated last month
- ☆76Jan 11, 2026Updated last month
- pointed and copointed data☆23Mar 3, 2025Updated last year
- phantom types☆39Jan 3, 2026Updated 2 months ago
- Haskell 98 bifunctors, bifoldables and bitraversables☆58Jan 11, 2026Updated last month
- Haskell 98 semigroups☆62Jan 10, 2026Updated last month
- Provides Data.Void, which is in base since ghc 7.8 or so☆20Dec 8, 2025Updated 2 months ago
- A monad, perhaps.☆32Feb 10, 2020Updated 6 years ago
- A set of utilities for using indexed types including containers, equality, and comparison.☆60Feb 3, 2026Updated 3 weeks ago
- Haskell98 indexed functors, monads, comonads☆25Mar 8, 2022Updated 3 years ago
- Zippers based on lenses and traversals☆41Aug 9, 2023Updated 2 years ago
- ☆13Oct 11, 2018Updated 7 years ago
- Get terminal window width and height☆14Aug 14, 2024Updated last year
- Zippers for cofree types☆14Dec 7, 2021Updated 4 years ago
- Haskell 98 comonads☆78Jan 10, 2026Updated last month
- Codo notation for programming with comonads in Haskell☆25Jan 24, 2021Updated 5 years ago
- free monads☆188Jan 11, 2026Updated last month
- Dependently typed elimination functions using singletons☆28Jan 11, 2026Updated last month
- Experiments with incremental compiler construction on the JVM☆13Mar 15, 2022Updated 3 years ago
- Semigroups, specialized containers and a general map/reduce framework☆46Mar 3, 2025Updated last year
- Haskell 2010 stream comonads☆24Dec 6, 2024Updated last year
- Interop between fs2 and scalaz☆14Feb 9, 2018Updated 8 years ago
- Library of categories, with categorical constructions on them☆59Aug 12, 2023Updated 2 years ago
- Free applicative functors for PureScript☆26Apr 29, 2022Updated 3 years ago
- Interpret Haskell programs into any cartesian closed category.☆69Feb 12, 2026Updated 2 weeks ago
- constructive abstract algebra☆104Jan 30, 2020Updated 6 years ago
- Tools for programming with ConstraintKinds in GHC☆74Jan 26, 2026Updated last month
- A Krivine machine for the call-by-name reduction of lambda calculus (+ call/cc) expressions in Haskell.☆15Feb 26, 2024Updated 2 years ago
- Fake dependent types in Haskell using singletons☆293Feb 15, 2026Updated 2 weeks ago
- An encoding of linear logic in Coq with minimal Sokoban and blocks world examples☆22Feb 4, 2022Updated 4 years ago
- Concise syntax for polymorphic values in Scala 2.x.☆55Apr 26, 2022Updated 3 years ago
- Get all your structure and rip it apart.☆33Oct 21, 2018Updated 7 years ago
- Filter with effects☆76Jan 5, 2025Updated last year
- categories from category-extras☆34Oct 9, 2019Updated 6 years ago
- Utility for creating .hsc files from C API header files☆26Mar 9, 2024Updated last year