serv: Dependently typed API framework

[ bsd3, library, web ] [ Propose Tags ]

Types and kinds for describing APIs.

This package defines the kind Serv.Api.Api which classifies types which statically describe an API. Define your Serv.Api.Api-kinded types and then write/derive compliant servers, clients, and documentation all statically guaranteed to match.

Import Serv.Api.Prelude for the smoothest experience defining these types.

See the README for more details.

Versions [faq],
Dependencies base (>=4.7 && <5), containers, http-kinder, singletons, text [details]
License BSD-3-Clause
Copyright 2015 Joseph Abrahamson
Author Joseph Abrahamson <>
Category Web
Home page
Source repo head: git clone
Uploaded by JosephAbrahamson at 2016-02-26T04:33:08Z
Distributions NixOS:
Downloads 1042 total (3 in the last 30 days)
Rating (no votes yet) [estimated by Bayesian average]
Your Rating
  • λ
  • λ
  • λ
Status Hackage Matrix CI
Docs available [build log]
Last success reported on 2016-02-26 [all 1 reports]




Maintainer's Corner

For package maintainers and hackage trustees