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

Define an orphan Pretty1 instance for Union.

Browse Source
This commit is contained in:
Rob Rix 2017-08-22 13:12:00 -04:00
parent 41e0ea41a4
commit 14335fd221
1 changed files with 5 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
src/Term.hs
View File

@ -22,8 +22,10 @@ import Data.Functor.Both
import Data.Functor.Classes.Pretty
import Data.Functor.Foldable
import Data.Maybe
import Data.Proxy
import Data.Record
import Data.These
import Data.Union
import Syntax
-- | A Term with an abstract syntax tree and an annotation.
@ -76,3 +78,6 @@ instance Pretty1 f => Pretty1 (Cofree.Cofree f) where
instance (Pretty1 f, Pretty a) => Pretty (Cofree.Cofree f a) where
pretty = pretty1
instance Apply1 Pretty1 fs => Pretty1 (Union fs) where
liftPretty p pl = apply1 (Proxy :: Proxy Pretty1) (liftPretty p pl)