HeinrichApfelmus / vaultLinks
A typed, persistent store for values of arbitrary types
☆60Updated 4 months ago
Alternatives and similar repositories for vault
Users that are interested in vault are comparing it to the libraries listed below
Sorting:
- Type-safe time units in Haskell☆49Updated 5 months ago
- Converting to/from HTTP API data like URL pieces, headers and query parameters.☆53Updated 3 months ago
- Type-safe error handling☆64Updated last year
- Haskell 98 contravariant functors☆73Updated 8 months ago
- Modern library for working with URIs☆68Updated 3 months ago
- Haskell 98 Profunctors☆70Updated 3 weeks ago
- A syntax for unions of constraints in Haskell☆70Updated 8 years ago
- tools for writing better type errors☆73Updated last year
- mtl friendly exceptions☆52Updated 3 weeks ago
- haskell memory☆48Updated last year
- An mtl-style typeclass and transformer for persistent☆11Updated 6 years ago
- Compile Dhall expressions to Cabal files☆101Updated 2 years ago
- A tiny EDSL to write type-level-unit tests☆49Updated 6 years ago
- Dependently-typed finite maps (partial dependent products)☆66Updated 5 months ago
- Cofun with Cofree Comonads☆32Updated 9 years ago
- Monad morphisms☆50Updated last month
- Swagger 2.0 data model.☆74Updated last month
- Cron data structure and parser for Haskell☆53Updated 8 months ago
- High-resolution clock functions: monotonic, realtime, cputime.☆59Updated last year
- Serializable closures for distributed programming.☆65Updated last year
- Generic types and functions for encoding and decoding columns☆44Updated 8 months ago
- Lift control operations, like exception catching, through monad transformers☆58Updated 2 years ago
- Dependent sums and supporting typeclasses for comparing and displaying them☆56Updated last year
- Type-level sets for Haskell (with value-level counterparts and various operations)☆66Updated last year
- deprecated in favor of -XQualifiedDo☆41Updated 4 years ago
- ☆50Updated 8 months ago
- A very general logging effect for Haskell☆61Updated last year
- ☆75Updated 4 months ago
- ☆44Updated 4 months ago
- Recursion schemes for Idris☆65Updated 6 years ago