function-combine-0.0.1: Control/Combine/SmallCheck.hs

module Control.Combine.SmallCheck where

import Control.Combine as C
import Test.SmallCheck as SC

prop_rot2_works a b c = rot C.two (,,) a b c == (b, c, a)
    where types = (a :: Bool, b :: Bool, c :: Bool)

-- vim: expandtab:tabstop=4:shiftwidth=4