1
1
mirror of https://github.com/github/semantic.git synced 2024-12-19 21:01:35 +03:00

Correct the docs for the GAlign instance over K1.

This commit is contained in:
Rob Rix 2016-07-11 15:38:17 -04:00
parent 63832980ba
commit 23b7fa4f87

View File

@ -40,7 +40,7 @@ instance GAlign U1 where
instance GAlign Par1 where instance GAlign Par1 where
galign (Par1 a) (Par1 b) = Just (Par1 (These a b)) galign (Par1 a) (Par1 b) = Just (Par1 (These a b))
-- | 'GAlign' over constants. -- | 'GAlign' over non-parameter fields.
instance Eq c => GAlign (K1 i c) where instance Eq c => GAlign (K1 i c) where
galign (K1 a) (K1 b) = guard (a == b) >> Just (K1 b) galign (K1 a) (K1 b) = guard (a == b) >> Just (K1 b)