1
1
mirror of https://github.com/github/semantic.git synced 2024-12-29 09:55:52 +03:00

🔥 genericLiftShowList.

This commit is contained in:
Rob Rix 2017-11-30 10:28:46 -05:00
parent 67f251e223
commit cd9e99eb59

View File

@ -6,7 +6,6 @@ module Data.Functor.Classes.Generic
, genericLiftCompare
, Show1(..)
, genericLiftShowsPrec
, genericLiftShowList
) where
import Data.Functor.Classes
@ -51,10 +50,6 @@ gliftShowList sp sl = showListWith (gliftShowsPrec sp sl 0)
genericLiftShowsPrec :: (Generic1 f, GShow1 (Rep1 f)) => (Int -> a -> ShowS) -> ([a] -> ShowS) -> Int -> f a -> ShowS
genericLiftShowsPrec sp sl d = gliftShowsPrec sp sl d . from1
-- | A suitable implementation of Show1s liftShowsPrec for Generic1 types.
genericLiftShowList :: (Generic1 f, GShow1 (Rep1 f)) => (Int -> a -> ShowS) -> ([a] -> ShowS) -> [f a] -> ShowS
genericLiftShowList sp sl = gliftShowList sp sl . map from1
-- Generics