1
1
mirror of https://github.com/github/semantic.git synced 2024-12-23 14:54:16 +03:00

Define a Listable1 instance over [].

This commit is contained in:
Rob Rix 2017-01-05 15:11:05 -05:00
parent d95077037e
commit b39a9c2d0e

View File

@ -55,3 +55,7 @@ instance Listable2 (,) where
instance Listable a => Listable1 ((,) a) where
liftTiers = liftTiers2 tiers
instance Listable1 [] where
liftTiers tiers = go
where go = cons0 [] \/ liftCons2 tiers go (:)