Simple adjunctions
☆45Jan 10, 2026Updated 2 months ago
Alternatives and similar repositories for adjunctions
Users that are interested in adjunctions are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- the 'invariant' Haskell package for invariant functors☆16Jan 10, 2026Updated 2 months ago
- Haskell 98 Profunctors☆70Jun 17, 2025Updated 9 months ago
- Haskell 98 contravariant functors☆73Jan 10, 2026Updated 2 months ago
- Dual Traversable☆41Jan 10, 2026Updated 2 months ago
- pointed and copointed data☆23Mar 3, 2025Updated last year
- Kan extensions, Kan lifts, the Yoneda lemma, and (co)monads generated by a functor☆83Jan 10, 2026Updated 2 months ago
- Provides Data.Void, which is in base since ghc 7.8 or so☆20Dec 8, 2025Updated 3 months ago
- ☆76Jan 11, 2026Updated 2 months ago
- Haskell 98 bifunctors, bifoldables and bitraversables☆58Jan 11, 2026Updated 2 months ago
- Haskell 98 semigroups☆62Jan 10, 2026Updated 2 months ago
- Haskell98 indexed functors, monads, comonads☆25Mar 8, 2022Updated 4 years ago
- phantom types☆39Jan 3, 2026Updated 2 months ago
- Get terminal window width and height☆14Aug 14, 2024Updated last year
- Semigroups, specialized containers and a general map/reduce framework☆46Mar 3, 2025Updated last year
- Haskell 98 comonads☆78Jan 10, 2026Updated 2 months ago
- keyed functors☆23Jan 10, 2026Updated 2 months ago
- free monads☆188Jan 11, 2026Updated 2 months ago
- Codo notation for programming with comonads in Haskell☆25Jan 24, 2021Updated 5 years ago
- A monad, perhaps.☆32Feb 10, 2020Updated 6 years ago
- Filter with effects☆76Jan 5, 2025Updated last year
- categories from category-extras☆34Oct 9, 2019Updated 6 years ago
- Dependently typed elimination functions using singletons☆28Jan 11, 2026Updated 2 months ago
- Zippers based on lenses and traversals☆41Aug 9, 2023Updated 2 years ago
- A set of utilities for using indexed types including containers, equality, and comparison.☆60Mar 9, 2026Updated 2 weeks ago
- Compile-time checking for partial smart-constructors☆20Jul 13, 2023Updated 2 years ago
- Monad morphisms☆51Jan 10, 2026Updated 2 months ago
- Utility for creating .hsc files from C API header files☆26Mar 9, 2024Updated 2 years ago
- Tools for programming with ConstraintKinds in GHC☆74Jan 26, 2026Updated last month
- Interop between fs2 and scalaz☆14Feb 9, 2018Updated 8 years ago
- Experiments with incremental compiler construction on the JVM☆13Mar 15, 2022Updated 4 years ago
- ☆10Mar 2, 2021Updated 5 years ago
- the EitherT monad transformer☆58Mar 2, 2026Updated 3 weeks ago
- Reifies arbitrary Haskell terms into types that can be reflected back into terms☆104Mar 3, 2025Updated last year
- Zippers for cofree types☆14Dec 7, 2021Updated 4 years ago
- constructive abstract algebra☆104Jan 30, 2020Updated 6 years ago
- Instances for QuickCheck classes☆17Jan 8, 2026Updated 2 months ago
- Haskell library for semigroup actions and torsors☆65Feb 3, 2025Updated last year
- Haskell 2010 stream comonads☆24Dec 6, 2024Updated last year
- Concise syntax for polymorphic values in Scala 2.x.☆55Apr 26, 2022Updated 3 years ago