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.


Maintainer's Corner

Package maintainers

For package maintainers and hackage trustees


  • No Candidates
Versions [RSS],
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
Reverse Dependencies 1 direct, 1 indirect [details]
Downloads 1244 total (5 in the last 30 days)
Rating (no votes yet) [estimated by Bayesian average]
Your Rating
  • λ
  • λ
  • λ
Status Docs available [build log]
Last success reported on 2016-02-26 [all 1 reports]