HeinrichApfelmus / vault
A typed, persistent store for values of arbitrary types
☆60Updated 2 months ago
Related projects ⓘ
Alternatives and complementary repositories for vault
- Type-safe time units in Haskell☆49Updated 10 months ago
- Converting to/from HTTP API data like URL pieces, headers and query parameters.☆52Updated 3 months ago
- Haskell 98 Profunctors☆70Updated 4 months ago
- A syntax for unions of constraints in Haskell☆70Updated 7 years ago
- Modern library for working with URIs☆68Updated 3 weeks ago
- haskell memory☆48Updated last year
- Swagger 2.0 data model.☆74Updated 4 months ago
- A tiny EDSL to write type-level-unit tests☆49Updated 5 years ago
- mtl friendly exceptions☆49Updated 3 weeks ago
- Type-safe error handling☆64Updated last year
- deprecated in favor of -XQualifiedDo☆41Updated 3 years ago
- Haskell 98 contravariant functors☆73Updated last month
- ☆55Updated 5 years ago
- Dependently-typed finite maps (partial dependent products)☆63Updated 5 months ago
- the EitherT monad transformer☆55Updated 6 months ago
- ☆49Updated last week
- JSON decoding/encoding/manipulation library.☆94Updated 2 years ago
- Haskell Webapps on AWS Lambda☆44Updated last year
- Type-level sets for Haskell (with value-level counterparts and various operations)☆66Updated 11 months ago
- Declarative configuration spec for Haskell projects☆47Updated 5 years ago
- Recursion schemes for Idris☆64Updated 6 years ago
- Compile Dhall expressions to Cabal files☆100Updated last year
- A very general logging effect for Haskell☆60Updated 6 months ago
- Cron data structure and parser for Haskell☆53Updated last week
- A book about large-scale design in Haskell☆75Updated 10 years ago
- simple client connection library in haskell with builtin features: SSL/TLS, SOCKS, session management.☆61Updated last year
- Sum and Product types and such☆29Updated 4 years ago
- Generic Programming using True Sums of Products☆157Updated 6 months ago
- A more flexible mtl☆64Updated 6 years ago
- HoTT Note-taking action☆25Updated 5 years ago