diff options
author | Yann Herklotz <git@ymhg.org> | 2019-04-15 19:50:49 +0100 |
---|---|---|
committer | Yann Herklotz <git@ymhg.org> | 2019-04-15 19:50:49 +0100 |
commit | 705bdb142b1088676ddc3178d8677bd40ab2b1d6 (patch) | |
tree | 74ad534cb5bb6b5156f8b468a149263ece2bdda5 /src/VeriFuzz/Fuzz.hs | |
parent | 398aefd8a90e8f7ade6958ccd8e006308fbf1410 (diff) | |
download | verismith-705bdb142b1088676ddc3178d8677bd40ab2b1d6.tar.gz verismith-705bdb142b1088676ddc3178d8677bd40ab2b1d6.zip |
Format with brittany and add right modules
Diffstat (limited to 'src/VeriFuzz/Fuzz.hs')
-rw-r--r-- | src/VeriFuzz/Fuzz.hs | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/VeriFuzz/Fuzz.hs b/src/VeriFuzz/Fuzz.hs index 1e48616..f0628e4 100644 --- a/src/VeriFuzz/Fuzz.hs +++ b/src/VeriFuzz/Fuzz.hs @@ -103,7 +103,8 @@ instance Monoid FuzzResult where type Fuzz m = StateT FuzzResult (ReaderT FuzzEnv m) runFuzz :: (Monad m) => [SynthTool] -> [SimTool] -> Fuzz m a -> m a -runFuzz synth sim m = runReaderT (evalStateT m (FuzzResult [] [])) (FuzzEnv synth sim) +runFuzz synth sim m = + runReaderT (evalStateT m (FuzzResult [] [])) (FuzzEnv synth sim) synthesisers :: (Monad m) => Fuzz m [SynthTool] synthesisers = lift $ asks getSynthesisers |