1
1
mirror of https://github.com/github/semantic.git synced 2024-12-23 06:41:45 +03:00

Define GShow1 lifted over compositions.

This commit is contained in:
Rob Rix 2017-04-06 11:52:08 -04:00
parent 4fe7be91c5
commit c62bbc17b1

View File

@ -61,3 +61,6 @@ instance (GShow1 f, GShow1 g) => GShow1 (f :+: g) where
instance (GShow1 f, GShow1 g) => GShow1 (f :*: g) where
gliftShowsPrec sp sl d (a :*: b) = gliftShowsPrec sp sl d a . showChar ' ' . gliftShowsPrec sp sl d b
instance (Show1 f, GShow1 g) => GShow1 (f :.: g) where
gliftShowsPrec sp sl d (Comp1 a) = liftShowsPrec (gliftShowsPrec sp sl) (gliftShowList sp sl) d a