@@ -156,6 +156,7 @@ prop_TL_intercalate c = L.intercalate c `eq` (unpackT . TL.intercalate (TL.pack
156prop_T_intersperse c = L.intersperse c `eqP` (unpackT . T.intersperse c)
156prop_T_intersperse c = L.intersperse c `eqP` (unpackT . T.intersperse c)
157prop_TL_intersperse c = L.intersperse c `eqP` (unpackT . TL.intersperse c)
157prop_TL_intersperse c = L.intersperse c `eqP` (unpackT . TL.intersperse c)
158prop_T_transpose = L.transpose `eq` (map unpackT . T.transpose . map T.pack)
158prop_T_transpose = L.transpose `eq` (map unpackT . T.transpose . map T.pack)
159+prop_TL_transpose = L.transpose `eq` (map unpackT . TL.transpose . map TL.pack)
159prop_T_reverse = L.reverse `eqP` (unpackT . T.reverse)
160prop_T_reverse = L.reverse `eqP` (unpackT . T.reverse)
160prop_T_reverse_short n = L.reverse `eqP` (unpackT . S.reverse . shorten n . S.stream)
161prop_T_reverse_short n = L.reverse `eqP` (unpackT . S.reverse . shorten n . S.stream)
@@ -385,6 +386,7 @@ tests = [
385 ("prop_T_intersperse", mytest prop_T_intersperse),
386 ("prop_T_intersperse", mytest prop_T_intersperse),
386 ("prop_TL_intersperse", mytest prop_TL_intersperse),
387 ("prop_TL_intersperse", mytest prop_TL_intersperse),
387 ("prop_T_transpose", mytest prop_T_transpose),
388 ("prop_T_transpose", mytest prop_T_transpose),
389+ ("prop_TL_transpose", mytest prop_TL_transpose),
388 ("prop_T_reverse", mytest prop_T_reverse),
390 ("prop_T_reverse", mytest prop_T_reverse),
389 ("prop_T_reverse_short", mytest prop_T_reverse_short),
391 ("prop_T_reverse_short", mytest prop_T_reverse_short),