From 59740d2273ba19a1abdee84a345b5d50a9b007c4 Mon Sep 17 00:00:00 2001 From: Yann Herklotz Grave Date: Sun, 3 Mar 2019 12:46:22 +0000 Subject: Add .gitAttributes --- src/VeriFuzz/Reduce.hs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src') 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 -- cgit