deprecated in favor of -XQualifiedDo
☆41May 8, 2021Updated 4 years ago
Alternatives and similar repositories for do-notation
Users that are interested in do-notation are comparing it to the libraries listed below
Sorting:
- A GHC source plugin which detects opportunities to use coerce☆17Aug 8, 2018Updated 7 years ago
- Simplify and render Template Haskell☆18Aug 19, 2018Updated 7 years ago
- static analysis of free monads☆24Jul 10, 2018Updated 7 years ago
- it's a starcraft clone but with a dope typesystem☆51Apr 7, 2020Updated 5 years ago
- Lists, Texts, ByteStrings and Vectors with type-encoded length☆10Jul 11, 2021Updated 4 years ago
- Type-level lenses using singletons because why not☆15Dec 19, 2018Updated 7 years ago
- Units of measure as a GHC typechecker plugin☆31Oct 12, 2022Updated 3 years ago
- IO without any PseudoExceptions☆28May 13, 2020Updated 5 years ago
- Clowns to the left of me, jokers to the right☆15Sep 3, 2019Updated 6 years ago
- A terminal UI for inspecting steps taken by a rewriting process. Useful for the optimization phase of a compiler, or even evaluators of s…☆21Oct 28, 2019Updated 6 years ago
- Automatic type class law checking.☆24Dec 19, 2025Updated 2 months ago
- The Pico core language, and the Bake algorithm for elaborating Dependent Haskell into the former (WIP)☆15Feb 15, 2018Updated 8 years ago
- GRIN Haskell backend stripped out from JHC. (GRIN from scratch: https://github.com/grin-tech/grin)☆16Dec 13, 2018Updated 7 years ago
- Automatically finds dependencies and runs a Haskell file with stack (no cabal manifest, no stack.yaml, no project, no friction)☆32Aug 11, 2016Updated 9 years ago
- 🌳 a monadic FRP game library for haskell☆25Apr 7, 2020Updated 5 years ago
- Send textual messages to a Handle in a thread-friendly way☆29Aug 15, 2018Updated 7 years ago
- Haskell typechecker☆39May 7, 2019Updated 6 years ago
- A simple wrapper of an IO computation to show the used CPU time.☆16Mar 14, 2025Updated 11 months ago
- parser for config files, shell variables, command line args.☆22Jun 30, 2016Updated 9 years ago
- Kind-safe framework for type-safe APIs☆78Aug 4, 2019Updated 6 years ago
- Constraint-based generics☆50Jan 6, 2026Updated last month
- Serialization primitives that work with both cereal and binary.☆23Jan 10, 2026Updated last month
- deprecated by `design-tools`☆17Dec 5, 2018Updated 7 years ago
- An example of dynamically loading a Haskell source module☆18May 9, 2018Updated 7 years ago
- Well-typed paths☆20Dec 17, 2018Updated 7 years ago
- An approach to managing composable effects, ala mtl/transformers/extensible-effects/Eff☆24Mar 22, 2018Updated 7 years ago
- type level sets☆67Nov 19, 2019Updated 6 years ago
- Give Haskell development tools access to Cabal project environment.☆24Feb 14, 2021Updated 5 years ago
- A nice Haskell graphics API. There's always room for jello.☆41May 31, 2018Updated 7 years ago
- A monadic interface for DAG construction.☆24May 11, 2021Updated 4 years ago
- A magic typeclass that just does it☆126Aug 1, 2022Updated 3 years ago
- Helpers which allow safe partial pattern matching in lambdas☆31Oct 21, 2020Updated 5 years ago
- Yet another Haskell build system.☆115Jul 3, 2020Updated 5 years ago
- Ghosts of Departed Proofs☆63Nov 26, 2020Updated 5 years ago
- Haskell 98 Profunctors☆70Jun 17, 2025Updated 8 months ago
- Edit is a monad for rewriting things.☆23Sep 9, 2020Updated 5 years ago
- A simple, easily embeddable pure-functional language with static typing and row polymorphism.☆10Jul 9, 2015Updated 10 years ago
- GHC-WPC is an extended GHC that exports the STG and other IR (.modpak) for the compiled modules and linker metadata (.ghc_stgapp) at appl…☆10Feb 14, 2024Updated 2 years ago
- An attempt to formalize unix cat in fiat☆11May 28, 2017Updated 8 years ago