Kan extensions, Kan lifts, the Yoneda lemma, and (co)monads generated by a functor
☆84Jan 10, 2026Updated 9 months ago
Alternatives and similar repositories for kan-extensions
Users that are interested in kan-extensions are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆76Sep 21, 2026Updated last month
- Dual Traversable☆42Jan 10, 2026Updated 9 months ago
- Haskell 98 Profunctors☆73Sep 28, 2026Updated last month
- Tools for programming with ConstraintKinds in GHC☆77Jan 26, 2026Updated 9 months ago
- Haskell 98 contravariant functors☆74Jan 10, 2026Updated 9 months ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- free monads☆190Jan 11, 2026Updated 9 months ago
- Haskell 98 bifunctors, bifoldables and bitraversables☆59Jan 11, 2026Updated 9 months ago
- Provides Data.Void, which is in base since ghc 7.8 or so☆20Sep 4, 2026Updated last month
- Simple adjunctions☆45Jan 10, 2026Updated 9 months ago
- the 'invariant' Haskell package for invariant functors☆16Jun 17, 2026Updated 4 months ago
- keyed functors☆23Jan 10, 2026Updated 9 months ago
- Haskell 98 comonads☆80Jan 10, 2026Updated 9 months ago
- Derive Template Haskell's Lift class for datatypes.☆13Jan 4, 2026Updated 10 months ago
- Semigroups, specialized containers and a general map/reduce framework☆47Mar 3, 2025Updated last year
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Haskell 2010 stream comonads☆25Dec 6, 2024Updated last year
- fast utf-8 character sets☆14Mar 3, 2025Updated last year
- Haskell 98 comonad transformers - as of 4.0 these have merged into the comonad package.☆12Oct 13, 2013Updated 13 years ago
- Backports of GHC deriving extensions☆14Jun 17, 2026Updated 4 months ago
- Control.Lens.Action☆17Mar 12, 2023Updated 3 years ago
- categories from category-extras☆34Oct 9, 2019Updated 7 years ago
- phantom types☆41Sep 28, 2026Updated last month
- An either-or-both data type, with corresponding hybrid error/writer monad transformer.☆122May 12, 2026Updated 5 months ago
- Run lifted IO operations asynchronously and wait for their results☆29Jun 26, 2026Updated 4 months ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Constraint-based generics☆51Jan 6, 2026Updated 9 months ago
- Right Kan extension transformers covering the entire MTL, IO, ST s, and STM in Haskell in a generalization of continuation passing style☆14Feb 10, 2024Updated 2 years ago
- A monad for interfacing with external SAT solvers☆65Jun 17, 2025Updated last year
- A class for types that can be converted to a hash value☆106Sep 23, 2026Updated last month
- Monad morphisms☆55Mar 29, 2026Updated 7 months ago
- Leibnizian type equality☆13Mar 12, 2023Updated 3 years ago
- Fake dependent types in Haskell using singletons☆295May 20, 2026Updated 5 months ago
- lazy promises☆28Jan 8, 2021Updated 5 years ago
- Reasonable Haskell default import☆27Mar 13, 2026Updated 7 months ago
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- Monad and transformer for deferred-effect pure prompt-response queries☆12Jun 28, 2019Updated 7 years ago
- Type classes for mapping, folding, and traversing monomorphic containers☆161Mar 27, 2025Updated last year
- Yet another concurrent playground☆32Nov 18, 2015Updated 10 years ago
- Type Safe LLVM IR ( Experimental )☆53Jun 13, 2018Updated 8 years ago
- Deep evaluation of data structures☆45Jun 14, 2025Updated last year
- Generic parser combinators☆92Mar 3, 2025Updated last year
- pointed and copointed data☆24Mar 3, 2025Updated last year