From d9c5411568bdf8014a1511f8bf84c6aebeb38a91 Mon Sep 17 00:00:00 2001 From: Rob Rix Date: Mon, 11 Jul 2016 14:27:38 -0400 Subject: [PATCH] Rename contrast to compare. --- src/Term.hs | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/Term.hs b/src/Term.hs index 105daceb9..d35af8ed9 100644 --- a/src/Term.hs +++ b/src/Term.hs @@ -37,7 +37,7 @@ termSize = cata size where size (_ :< syntax) = 1 + sum syntax alignCofreeWith :: Functor f => (forall a b. f a -> f b -> Maybe (f (These a b))) -> (a -> b -> c) -> These (Cofree f a) (Cofree f b) -> Free (CofreeF f c) (These (Cofree f a) (Cofree f b)) -alignCofreeWith contrast combine = go +alignCofreeWith compare combine = go where go terms = fromMaybe (pure terms) $ case terms of - These t1 t2 -> wrap . (combine (extract t1) (extract t2) :<) . fmap go <$> contrast (unwrap t1) (unwrap t2) + These t1 t2 -> wrap . (combine (extract t1) (extract t2) :<) . fmap go <$> compare (unwrap t1) (unwrap t2) _ -> Nothing