1
1
mirror of https://github.com/github/semantic.git synced 2024-12-22 06:11:49 +03:00

Define a Show2 instance for StepF.

This commit is contained in:
Rob Rix 2017-03-13 12:01:10 -04:00
parent 1f56cd5b9d
commit 853c275b51

View File

@ -269,3 +269,9 @@ instance Show a => Show1 (MyersF a) where
instance Show a => Show (MyersF a b) where
showsPrec = liftShowsPrec (const (const identity)) (const identity)
instance Show2 StepF where
liftShowsPrec2 sp1 sl1 sp2 sl2 d step = case step of
M m -> showsUnaryWith (liftShowsPrec2 sp1 sl1 sp2 sl2) "M" d m
S s -> showsUnaryWith (liftShowsPrec2 showsPrec showList sp2 sl2) "S" d s
GetEq -> showString "GetEq"