Bryan O'Sullivan avatar Bryan O'Sullivan committed 5efe521

Simplify the type of the B tuple.

Comments (0)

Files changed (1)

Criterion/Types.hs

+{-# LANGUAGE ExistentialQuantification, FlexibleInstances, GADTs #-}
+
 -- |
 -- Module      : Criterion.Types
 -- Copyright   : (c) Bryan O'Sullivan 2009
 -- For an action of type @IO a@, the benchmarking harness calls the
 -- action repeatedly, but does not reduce the result.
 
-{-# LANGUAGE FlexibleInstances, GADTs #-}
 module Criterion.Types
     (
       Benchmarkable(..)
 
 -- | A container for a pure function to benchmark, and an argument to
 -- supply to it each time it is evaluated.
-data B a b = B (a -> b) a
+data B a = forall b. B (a -> b) a
 
 instance Benchmarkable (a -> b, a) where
     run fx@(f,x) n
         | otherwise = evaluate (f x) >> run fx (n-1)
     {-# INLINE run #-}
 
-instance Benchmarkable (B a b) where
+instance Benchmarkable (B a) where
     run fx@(B f x) n
         | n <= 0    = return ()
         | otherwise = evaluate (f x) >> run fx (n-1)
Tip: Filter by directory path e.g. /media app.js to search for public/media/app.js.
Tip: Use camelCasing e.g. ProjME to search for ProjectModifiedEvent.java.
Tip: Filter by extension type e.g. /repo .js to search for all .js files in the /repo directory.
Tip: Separate your search with spaces e.g. /ssh pom.xml to search for src/ssh/pom.xml.
Tip: Use ↑ and ↓ arrow keys to navigate and return to view the file.
Tip: You can also navigate files with Ctrl+j (next) and Ctrl+k (previous) and view the file with Ctrl+o.
Tip: You can also navigate files with Alt+j (next) and Alt+k (previous) and view the file with Alt+o.