Permalink
Switch branches/tags
Find file Copy path
Fetching contributors…
Cannot retrieve contributors at this time
12 lines (6 sloc) 213 Bytes
module spec Data.List where
import GHC.Base
import GHC.List
import GHC.Types
assume groupBy :: (a -> a -> GHC.Types.Bool) -> [a] -> [{v:[a] | len(v) > 0}]
assume transpose :: [[a]] -> [{v:[a] | (len v) > 0}]