This blog post series has moved here.
You might also be interested in the 2016 version.
{-# LANGUAGE MultiParamTypeClasses, FlexibleInstances #-} | |
module Main where | |
import Test.QuickCheck | |
class Arbiter f r where | |
arbiter :: f -> Gen r | |
instance Arbiter r r where |
This blog post series has moved here.
You might also be interested in the 2016 version.