liquidhaskell-0.8.10.1: include/Language/Haskell/Liquid/List.hs

module Language.Haskell.Liquid.List (transpose) where

{-@ lazy transpose @-}
transpose                  :: Int -> [[a]] -> [[a]]
transpose _ []             = []
transpose n ([]   : xss)   = transpose n xss
transpose n ((x:xs) : xss) = (x : [h | (h:_) <- xss]) : transpose (n - 1) (xs : [ t | (_:t) <- xss])