flexiwrap-0.1.0: Data/Flex/Arbitrary.hs

{-# LANGUAGE ScopedTypeVariables #-}
{-# LANGUAGE Rank2Types #-}
-- .$Header: c:/Source/Haskell/Wrapper/Data/Flex/RCS/Arbitrary.hs,v 1.1 2011/06/10 00:56:23 dosuser Exp dosuser $
module Data.Flex.Arbitrary (
    -- * Polymorphic function wrapper
    WrapCoarbitrary(..)
) where

import Test.QuickCheck (Gen)

-- | Polymorphic function wrapper for @'coarbitrary'@
newtype WrapCoarbitrary = WrapCoarbitrary {
        unwrapCoarbitrary :: forall b. Gen b -> Gen b
    }

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