github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2025-01-05 14:11:33 +03:00
Code Issues Projects Releases Wiki Activity

Define a Pretty instance for Term.

Browse Source
This commit is contained in:
Rob Rix 2017-08-22 12:52:09 -04:00
parent fc62716003
commit 2b278c1688
1 changed files with 3 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
src/Term.hs
View File

@ -73,3 +73,6 @@ runCofree (a Cofree.:< f) = a CofreeF.:< f
instance Pretty1 f => Pretty1 (Cofree.Cofree f) where 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 (liftPrettyList p pl) f
instance (Pretty1 f, Pretty a) => Pretty (Cofree.Cofree f a) where
pretty = pretty1