bff: Bidirectionalization for Free! (POPL'09)

This is an implementation of the ideas presented in "Bidirectionalization for Free!" (paper at POPL'09) by Janis Voigtlaender.

It also includes an automatic deriver for the Zippable type class.

Using the cabal flag "binaries" will enable the creation of a web frontend to bff, in the form of a CGI program. Make sure you understand the security implications before allowing untrusted access to the script.

Using the cabal flag "stats" will generate programs that collect performance statistics about bff and print them as a table.

Using the cabal flag "render" will generate a program that renders collected performance statistics as PDF files.

Modules

Flags

Automatic Flags

Name	Description	Default
binaries	Build the binaries bff-shell and bff-cgi	Disabled
stats	Build the stats-generating and -printing programs	Disabled
render	Build the stats-rendering program	Disabled

Use -f <flag> to enable a flag, or -f -<flag> to disable that flag. More info

Downloads

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

Maintainer's Corner

Package maintainers

• DanielSeidel, JanisVoigtlaender, JoachimBreitner

For package maintainers and hackage trustees

• edit package information

Candidates

• No Candidates