Selective Applicative Functors: Declare Your Effects Statically, Select Which to Execute Dynamically
☆211Oct 22, 2025Updated 4 months ago
Alternatives and similar repositories for selective
Users that are interested in selective are comparing it to the libraries listed below
Sorting:
- Inspection Testing for Haskell☆189Jan 17, 2026Updated last month
- A reference library for constraint-solving with propagators and CDCL.☆308Jul 2, 2024Updated last year
- tools for writing better type errors☆73Sep 15, 2023Updated 2 years ago
- Delete half (minus ε) of your Haskell code!☆30Feb 13, 2026Updated 2 weeks ago
- Generically derive traversals, lenses, and prisms.☆441Aug 27, 2025Updated 6 months ago
- Type-level assertion operators☆16Mar 20, 2018Updated 7 years ago
- Combine and enhance Functors☆39Aug 12, 2025Updated 6 months ago
- Standard containers, with keys that carry type-level proofs of their own presence.☆82Feb 20, 2020Updated 6 years ago
- higher-order, no-boilerplate monads☆1,076Mar 15, 2025Updated 11 months ago
- A utility for managing Hackage dependencies and manipulating Cabal files from the command line.☆77Jun 3, 2023Updated 2 years ago
- Library for generating Haskell source files and code fragments.☆102Feb 9, 2026Updated 2 weeks ago
- ☆25Jun 10, 2023Updated 2 years ago
- Named parameters (keyword arguments) for Haskell☆98Mar 16, 2025Updated 11 months ago
- Algebraic graphs☆753Jan 18, 2026Updated last month
- A convenient DSL for describing web routes☆42Nov 21, 2020Updated 5 years ago
- Text lenses using PCRE regexes☆128Dec 11, 2024Updated last year
- Optics as an abstract interface☆387Feb 10, 2026Updated 2 weeks ago
- Serializable closures for distributed programming.☆66Nov 27, 2023Updated 2 years ago
- Map and Set over contiguous memory☆22Aug 9, 2023Updated 2 years ago
- Higher-kinded data via generics☆170Aug 20, 2024Updated last year
- Haskell Standard Input and Output☆104Oct 24, 2020Updated 5 years ago
- United Monoids☆24Oct 2, 2022Updated 3 years ago
- Equational laws for free☆265May 10, 2025Updated 9 months ago
- A set of utilities for using indexed types including containers, equality, and comparison.☆60Feb 3, 2026Updated 3 weeks ago
- Transactional key-value store written entirely in Haskell☆94Mar 4, 2021Updated 4 years ago
- Notes on space leaks☆103Sep 28, 2020Updated 5 years ago
- Using Backpack to abstract over the main Haskell streaming libraries.☆34Sep 16, 2017Updated 8 years ago
- 💂♂️ Lightweight pure validation based on Applicative and Selective functors☆72Jan 2, 2026Updated last month
- 🚧 a work in progress effect system for Haskell 🚧☆558May 5, 2023Updated 2 years ago
- Release with confidence, state-of-the-art property testing for Haskell.☆690Jan 12, 2026Updated last month
- This package provides various primitive memory-related operations.☆121Feb 20, 2026Updated last week
- 👅 Parse Haskell Language Extensions☆48Sep 27, 2025Updated 5 months ago
- First-class type families☆91Nov 6, 2025Updated 3 months ago
- Haskell tool to generate expressions from types☆101Aug 1, 2017Updated 8 years ago
- An efficient graph library for Haskell☆41Aug 26, 2025Updated 6 months ago
- a modern library for typed path manipulation in Haskell☆36Jul 24, 2025Updated 7 months ago
- Hopefully verifiable code generation in GHC☆94May 10, 2017Updated 8 years ago
- All of `base` without the `Prelude` module☆44Jan 30, 2023Updated 3 years ago
- A re-implementation of weeder using HIE files☆184Dec 23, 2025Updated 2 months ago