jbracker / supermonad
A plugin for GHC to support super monads.
☆25Updated 6 years ago
Alternatives and similar repositories for supermonad
Users that are interested in supermonad are comparing it to the libraries listed below
Sorting:
- Maps using values' monoidal structure during merging☆42Updated last month
- fleet-footed ByteString builder☆50Updated 9 months ago
- Haskell program configuration using higher kinded data☆29Updated 11 months ago
- Codo notation for programming with comonads in Haskell☆26Updated 4 years ago
- Text-based interactive GHC .prof viewer☆48Updated last year
- Extensible type-safe unions for Haskell☆33Updated 2 months ago
- All of `base` without the `Prelude` module☆44Updated 2 years ago
- Efficient conversion of values into Text☆40Updated 2 months ago
- Fast ByteString Builder☆21Updated 2 months ago
- ghci having DAP interface.☆21Updated 2 months ago
- A GHC plugin and library for analysing GHC Core☆54Updated 3 months ago
- Exhaustive pattern matching using lenses, traversals, and prisms☆32Updated 2 years ago
- Safe, checked exceptions☆13Updated 6 years ago
- Type-safe error handling☆64Updated last year
- An experiment in functional interface design☆24Updated 8 years ago
- Use hpack's phrasing in dhall to write cabal files☆31Updated 4 months ago
- Show programming language printed values in a web UI☆24Updated 6 years ago
- Backports of GHC deriving extensions☆13Updated 2 months ago
- Golden tests with Hspec☆27Updated 7 months ago
- ☆34Updated 3 years ago
- ☆19Updated 4 months ago
- Church-encoding of the Freer monad☆28Updated 8 years ago
- Zippers based on lenses and traversals☆40Updated last year
- Uniform interface to reified data type information via Template Haskell☆21Updated 2 months ago
- A monad for managed values☆50Updated 2 years ago
- QuasiQuoter for GHCJS JavaScript FFI☆20Updated 8 years ago
- Derive instances through isomorphisms☆20Updated 11 months ago
- Dual Traversable☆42Updated 2 years ago
- Generic data types in Haskell, utilities for GHC.Generics☆45Updated 3 weeks ago
- Automatic type class law checking.☆24Updated 4 months ago