github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2024-12-19 12:51:52 +03:00
Code Issues Projects Releases Wiki Activity

Move the Data.Align.Align implementations into their own section.

Browse Source
This commit is contained in:
Rob Rix 2016-07-11 14:48:39 -04:00
parent 8fb0ba59c6
commit a7ee001f4d
1 changed files with 6 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
src/Data/Align/Generic.hs
View File

@ -15,6 +15,12 @@ class Functor f => GAlign f where
galign a b = to1 <$> galign (from1 a) (from1 b)
-- Types with 'Data.Align.Align' instances can (and probably should) reuse them.
instance GAlign [] where galign a = Just . align a
instance Eq key => GAlign (OrderedMap key) where galign a = Just . align a
-- Generics
instance GAlign U1 where
@ -44,6 +50,4 @@ instance (GAlign f, GAlign g) => GAlign (f :*: g) where
instance (Traversable f, Applicative f, GAlign g) => GAlign (f :.: g) where
galign (Comp1 a) (Comp1 b) = Comp1 <$> sequenceA (galign <$> a <*> b)
instance GAlign [] where galign a = Just . align a
instance Eq key => GAlign (OrderedMap key) where galign a = Just . align a
instance GAlign (Syntax a)