serv: Dependently typed API framework

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.

Modules

[Index]

Downloads

• serv-0.2.0.0.tar.gz [browse] (Cabal source package)
• Package description (as included in the package)

Maintainer's Corner

Package maintainers

• JosephAbrahamson

For package maintainers and hackage trustees

• edit package information

Candidates

• No Candidates