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.