Dependently typed API framework http://github.com/tel/serv#readme
|Latest on Hackage:||0.2.0.0|
This package is not currently in any snapshots. If you're interested in using it, we recommend adding it to Stackage Nightly. Doing so will make builds more reliable, and allow stackage.org to host generated Haddocks.
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.
Serv.Api.Prelude for the smoothest experience defining these types.
See the README for more details.