diff options
author | Yann Herklotz Grave <git@yannherklotzgrave.com> | 2019-03-03 12:46:22 +0000 |
---|---|---|
committer | Yann Herklotz Grave <git@yannherklotzgrave.com> | 2019-03-03 12:46:22 +0000 |
commit | 59740d2273ba19a1abdee84a345b5d50a9b007c4 (patch) | |
tree | db8160045bf6ee6dc037fb8ff21388b99de9c47e /src/VeriFuzz | |
parent | acb51296f6fc5d7ec5ff91feace09c9f1d0a1fbc (diff) | |
download | verismith-59740d2273ba19a1abdee84a345b5d50a9b007c4.tar.gz verismith-59740d2273ba19a1abdee84a345b5d50a9b007c4.zip |
Add .gitAttributes
Diffstat (limited to 'src/VeriFuzz')
-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 |