liquidhaskell-0.8.10.1: Liquid Types for Haskell
Safe HaskellSafe-Inferred
LanguageHaskell98

Gradual.Misc

Synopsis

Documentation

mapThd3 :: (c -> d) -> (a, b, c) -> (a, b, d) #

Mapping ------------------------------------------------------------------

mapSndM :: Functor m => (b -> m c) -> (a, b) -> m (a, c) #

mapMWithLog :: String -> (a -> IO b) -> [a] -> IO [b] #

powersetUpTo :: Int -> [a] -> [[a]] #

Powersets ----------------------------------------------------------------

flatten :: [(k, (i, [v]))] -> [[(k, (i, v))]] #

Combining ----------------------------------------------------------------

expand :: (a -> [a]) -> [a] -> [[a]] #

expand2 :: (b -> [b]) -> [(a, b)] -> [[(a, b)]] #

expand3 :: (c -> [c]) -> [(a, b, c)] -> [[(a, b, c)]] #

allCombinations :: [[a]] -> [[a]] #