1
1
mirror of https://github.com/github/semantic.git synced 2024-12-19 12:51:52 +03:00

Define a Show1 instance for TermF.

This commit is contained in:
Rob Rix 2017-09-08 17:00:09 +01:00
parent 0ca7a4bdcf
commit c358bfad08

View File

@ -141,3 +141,6 @@ instance (Eq1 f, Eq a) => Eq1 (TermF f a) where
instance Show1 f => Show2 (TermF f) where
liftShowsPrec2 spA _ spB slB d (a :<< f) = showParen (d > 5) $ spA 6 a . showString " :<< " . liftShowsPrec spB slB 5 f
instance (Show1 f, Show a) => Show1 (TermF f a) where
liftShowsPrec = liftShowsPrec2 showsPrec showList