uwap / idris-httpLinks
An HTTP library for idris
☆39Updated 6 years ago
Alternatives and similar repositories for idris-http
Users that are interested in idris-http are comparing it to the libraries listed below
Sorting:
- A test framework for Idris☆54Updated 6 years ago
- Parsers for various configuration files written in Idris.☆20Updated 7 years ago
- Recursion schemes for Idris☆64Updated 6 years ago
- A proper network library for Idris, now that I know what I'm doing.☆58Updated 8 years ago
- Compile Dhall expressions to Cabal files☆101Updated 2 years ago
- the EitherT monad transformer☆55Updated 2 months ago
- Haskell Webapps on AWS Lambda☆43Updated 2 years ago
- A typed, persistent store for values of arbitrary types☆60Updated 2 months ago
- A Haskell package that provides a monad transformer for mocking mtl-style typeclasses☆71Updated 5 years ago
- A more flexible mtl☆64Updated 7 years ago
- Generalized folds, unfolds, and traversals for fixed point data structures☆59Updated 3 years ago
- A very general logging effect for Haskell☆61Updated last year
- Haskell types lined up to highlight their similarities☆30Updated 5 years ago
- Type provider library for Idris☆94Updated 7 years ago
- A set of patches to make Hackage compatible with the Eta language.☆64Updated 5 years ago
- An extension to Data.Serialize with built-in version control☆59Updated 2 months ago
- ♾️ Sized list☆46Updated last year
- A small bifunctor library for idris☆21Updated 4 years ago
- Evaluate special comments in your program on file save.☆38Updated 4 years ago
- Etlas, the build tool and package manager for the Eta programming language☆63Updated 5 years ago
- Js libraries for idris☆49Updated 5 years ago
- Can we write a querying language with Dhall? Let's find out!☆64Updated 6 years ago
- A purely-functional, strongly-typed functional mocking library for Free programs☆49Updated 9 years ago
- Type-safe time units in Haskell☆49Updated 4 months ago
- Retry combinators for monadic actions that may fail☆114Updated 2 years ago
- Free monads, Cofree comonads, Yoneda and Coyoneda functors, and the Trampoline monad.☆94Updated last year
- Superseded by the core team project Unison Share (https://github.com/unisonweb/share)☆22Updated 4 years ago
- Type-safe error handling☆64Updated last year
- Zippers based on lenses and traversals☆40Updated last year
- A Haskell translation of Idris's original algebraic effects library☆41Updated 8 years ago