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

Gradual.Misc

Synopsis

Documentation

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

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

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

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

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

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

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

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

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

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

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

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