github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2025-01-02 04:10:29 +03:00
Code Issues Projects Releases Wiki Activity

Move instance

Browse Source
This commit is contained in:
Rick Winfrey 2017-07-21 10:50:24 -07:00
parent dc0d6ed90b
commit 62129785f2
1 changed files with 4 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
src/Algorithm.hs
View File

@ -94,10 +94,6 @@ class Diffable f where
default algorithmFor :: (Generic1 f, Diffable' (Rep1 f)) => f term -> f term -> Maybe (Algorithm term diff (f diff))
algorithmFor a b = fmap to1 <$> algorithmFor' (from1 a) (from1 b)
-- | Diff two list parameters using RWS.
instance Diffable [] where
algorithmFor a b = Just (byRWS a b)
-- | Diff a Union of Syntax terms. Left is the "rest" of the Syntax terms in the Union,
-- Right is the "head" of the Union. `weaken` relaxes the Union to allow the possible
-- diff terms from the "rest" of the Union, and `inj` adds the diff terms into the Union.
@ -110,6 +106,10 @@ instance (Diffable f, Diffable (Union fs)) => Diffable (Union (f ': fs)) where
-- | Diffing an empty Union is technically impossible because Union is a strictly
-- non-empty Set-like value. This instance is included for completeness.
-- | Diff two list parameters using RWS.
instance Diffable [] where
algorithmFor a b = Just (byRWS a b)
instance Diffable (Union '[]) where
algorithmFor _ _ = Nothing