@hackage servant-gdp dependencies

5 results

library:servant-gdp (5 dependencies)

@haskell/text

An efficient packed Unicode text type.

BSD-2-Clause>=1.2 && <1.3

@haskell/base

Core data structures and operations

BSD-3-Clause>=4.7 && <5

@hackage/servant-server

A family of combinators for defining webservices APIs and serving them

BSD-3-Clause>=0.18 && <0.19

@hackage/gdp

Reason about invariants and preconditions with ghosts of departed proofs.

BSD-3-Clause<0.1

@hackage/aeson

Fast JSON parsing and encoding

BSD-3-Clause>=1.5 && <1.6