diff options
Diffstat (limited to 'src')
-rw-r--r-- | src/VeriFuzz/Reduce.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/VeriFuzz/Reduce.hs b/src/VeriFuzz/Reduce.hs index c0ce721..3cecbe4 100644 --- a/src/VeriFuzz/Reduce.hs +++ b/src/VeriFuzz/Reduce.hs @@ -35,7 +35,7 @@ instance Functor Replacement where fmap _ None = None instance Applicative Replacement where - pure a = Single a + pure = Single (Dual a b) <*> (Dual c d) = Dual (a c) $ b d (Dual a b) <*> (Single c) = Dual (a c) $ b c (Single a) <*> (Dual b c) = Dual (a b) $ a c |