arbitrary-haskell

Last updated: 2018-06-02 13:31:10 +0100

Upstream URL: git clone http://chriswarbo.net/git/arbitrary-haskell.git

Repo

View repository

View issue tracker

Contents of README follows


Arbitrary Haskell

This Haskell library provides an instance of QuickCheck's <code>Arbitrary</code> typeclass, which produces <code>String</code>s of Haskell code.

Specifically, we define <code>newtype Haskell = H String</code>, and give it an instance of <code>Arbitrary</code> which orchestrates the generation of well-typed Haskell expressions (using the <code>haskell-generate</code> library) then pretty-prints the results.