1
1
mirror of https://github.com/github/semantic.git synced 2024-12-22 22:31:36 +03:00

Simpler definition of liftTiers2 over (,).

This commit is contained in:
Rob Rix 2017-02-14 12:20:56 -05:00
parent ad81f4f605
commit 319ecc61ce

View File

@ -95,7 +95,7 @@ instance Listable1 Maybe where
liftTiers tiers = cons0 Nothing \/ liftCons1 tiers Just
instance Listable2 (,) where
liftTiers2 = productWith (,)
liftTiers2 = (><)
instance Listable2 Either where
liftTiers2 leftTiers rightTiers = liftCons1 leftTiers Left \/ liftCons1 rightTiers Right