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.

Downloads

Maintainer's Corner

Package maintainers

For package maintainers and hackage trustees

Candidates

  • No Candidates
Versions [RSS] 0.1.0.0, 0.2.0.0
Dependencies base (>=4.7 && <5), containers, http-kinder, singletons, text [details]
License BSD-3-Clause
Copyright 2015 Joseph Abrahamson
Author Joseph Abrahamson <me@jspha.com>
Maintainer me@jspha.com
Category Web
Home page http://github.com/tel/serv#readme
Source repo head: git clone https://github.com/tel/serv
Uploaded by JosephAbrahamson at 2016-02-26T04:33:08Z
Distributions NixOS:0.2.0.0
Reverse Dependencies 1 direct, 1 indirect [details]
Downloads 1191 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]