Simple adjunctions
☆46Jan 10, 2026Updated 4 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 4 months ago
- Haskell 98 Profunctors☆71Jun 17, 2025Updated 11 months ago
- Haskell 98 contravariant functors☆74Jan 10, 2026Updated 4 months ago
- Dual Traversable☆42Jan 10, 2026Updated 4 months ago
- pointed and copointed data☆23Mar 3, 2025Updated last year
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Kan extensions, Kan lifts, the Yoneda lemma, and (co)monads generated by a functor☆83Jan 10, 2026Updated 4 months ago
- Provides Data.Void, which is in base since ghc 7.8 or so☆20Dec 8, 2025Updated 5 months ago
- ☆76Jan 11, 2026Updated 4 months ago
- Haskell 98 bifunctors, bifoldables and bitraversables☆59Jan 11, 2026Updated 4 months ago
- Haskell 98 semigroups☆62Jan 10, 2026Updated 4 months ago
- Haskell98 indexed functors, monads, comonads☆25Mar 8, 2022Updated 4 years ago
- phantom types☆40Apr 8, 2026Updated last month
- 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
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Haskell 98 comonads☆79Jan 10, 2026Updated 4 months ago
- keyed functors☆23Jan 10, 2026Updated 4 months ago
- free monads☆190Jan 11, 2026Updated 4 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 4 months ago
- Zippers based on lenses and traversals☆41Aug 9, 2023Updated 2 years ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- A set of utilities for using indexed types including containers, equality, and comparison.☆60May 8, 2026Updated 2 weeks ago
- Compile-time checking for partial smart-constructors☆20Jul 13, 2023Updated 2 years ago
- Monad morphisms☆52Mar 29, 2026Updated last month
- Utility for creating .hsc files from C API header files☆26Mar 9, 2024Updated 2 years ago
- Tools for programming with ConstraintKinds in GHC☆76Jan 26, 2026Updated 3 months ago
- 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☆59Mar 2, 2026Updated 2 months ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Reifies arbitrary Haskell terms into types that can be reflected back into terms☆105Mar 3, 2025Updated last year
- Zippers for cofree types☆14Dec 7, 2021Updated 4 years ago
- constructive abstract algebra☆105Jan 30, 2020Updated 6 years ago
- Instances for QuickCheck classes☆17Apr 16, 2026Updated last month
- Haskell library for semigroup actions and torsors☆66Feb 3, 2025Updated last year
- Haskell 2010 stream comonads☆25Dec 6, 2024Updated last year
- Concise syntax for polymorphic values in Scala 2.x.☆55Apr 26, 2022Updated 4 years ago