@hackage / serv

Dependently typed API framework

Latest0.2.0.0

About

Metadata

  • Last updated , by JosephAbrahamson
  • License BSD-3-Clause
  • Categories Web Development

  • Maintained by: me@jspha.com

  • Lottery factor: 0

Links

Installation

Readme

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.