atzeus / RoyalMonadLinks
Bow before the ultimate generality of the Royal Monad!
☆10Updated 9 years ago
Alternatives and similar repositories for RoyalMonad
Users that are interested in RoyalMonad are comparing it to the libraries listed below
Sorting:
- Prints lines with IDE friendly stack traces in Haskell.☆12Updated 5 years ago
- Code accompanying the paper Reflection without Remorse:Revealing a hidden sequence to speed up monadic reflection☆66Updated 3 years ago
- Commutative Applicatives and Semigroups☆31Updated 7 years ago
- Lens powered regular expression☆16Updated 4 years ago
- ☆23Updated 8 years ago
- Integration between scodec and scalaz☆10Updated 6 years ago
- Yet another concurrent playground☆33Updated 9 years ago
- "Fail Fast" process management for Haskell; inspired by Erlang☆16Updated 8 years ago
- Catenable lists☆21Updated 3 years ago
- A recursion scheme library for Idris.☆25Updated 2 months ago
- Haskell suite library for name resolution☆52Updated 3 months ago
- Implementing Abstract Binding Trees (in Scala, ...)☆19Updated 9 years ago
- Type classes for creating memoized functions☆18Updated 7 years ago
- the EitherT monad transformer☆55Updated last month
- Derive Template Haskell's Lift class for datatypes.☆13Updated 7 months ago
- A port of QuickCheck to Idris☆59Updated 7 years ago
- The prelude.☆16Updated 6 years ago
- Free Monads and useful constructions to work with them☆26Updated 6 years ago
- Computing lenses generically using generics-sop☆16Updated 8 months ago
- IO without any PseudoExceptions☆28Updated 5 years ago
- A compatibility layer for base☆21Updated 7 months ago
- A collection of ready-to-use Prometheus Metrics to monitor your Haskell application☆13Updated last week
- Quiver stream processing library☆15Updated 8 years ago
- Event-driven bidirectional channels☆14Updated 9 years ago
- Functional Programing in Scala (in Idris) [Idris]☆16Updated 10 years ago
- A Haskell library for generating Ruby consumers of Servant APIs.☆23Updated last month
- Streaming data library built around first-class stream fusion for high efficiency☆11Updated 9 years ago
- A Map data structure at the type level.☆8Updated 7 years ago
- Finitely represented /total/ maps☆17Updated 5 years ago
- A constant-memory approximation of set membership☆25Updated 5 months ago