github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2024-12-18 20:31:55 +03:00
Code Issues Projects Releases Wiki Activity

Fix up a few manual instances.

Browse Source
This commit is contained in:
Rob Rix 2017-08-23 11:52:00 -04:00
parent fdd12d4718
commit 562be941fe
3 changed files with 5 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
src/Diff.hs
View File

@ -68,7 +68,7 @@ runFree (Free.Pure a) = FreeF.Pure a
instance Pretty1 f => Pretty1 (Free.Free f) where
liftPretty p pl = go where go (Free.Pure a) = p a
go (Free.Free f) = liftPretty go (liftPrettyList p pl) f
go (Free.Free f) = liftPretty go (list . map (liftPretty p pl)) f
instance (Pretty1 f, Pretty a) => Pretty (Free.Free f a) where
pretty = pretty1
pretty = liftPretty pretty prettyList

2
src/Patch.hs
View File

@ -95,4 +95,4 @@ instance Pretty1 Patch where
liftPretty p _ (Delete a) = nest 2 (vsep [ pretty ("Delete" :: String), p a ])
instance Pretty a => Pretty (Patch a) where
pretty = pretty1
pretty = liftPretty pretty prettyList

4
src/Term.hs
View File

@ -74,10 +74,10 @@ runCofree (a Cofree.:< f) = a CofreeF.:< f
instance Pretty1 f => Pretty1 (Cofree.Cofree f) where
liftPretty p pl = go where go (a Cofree.:< f) = p a <+> liftPretty go (liftPrettyList p pl) f
liftPretty p pl = go where go (a Cofree.:< f) = p a <+> liftPretty go (list . map (liftPretty p pl)) f
instance (Pretty1 f, Pretty a) => Pretty (Cofree.Cofree f a) where
pretty = pretty1
pretty = liftPretty pretty prettyList
instance Apply1 Pretty1 fs => Pretty1 (Union fs) where
liftPretty p pl = apply1 (Proxy :: Proxy Pretty1) (liftPretty p pl)