Copyright | (c) Eric Crockett 2011-2017 Chris Peikert 2011-2017 |
---|---|
License | GPL-2 |
Maintainer | ecrockett0@email.com |
Stability | experimental |
Portability | POSIX |
Safe Haskell | None |
Language | Haskell2010 |
Benchmarks for the UCyc
interface.
- ucycBenches1 :: (Monad rnd, _) => Proxy '(t, m, r) -> Proxy gen -> rnd Benchmark
- ucycBenches2 :: (Monad rnd, _) => Proxy '(t, m, m', r) -> rnd Benchmark