isFunction :: Type -> Bool Source #

(<$$>) :: (Functor m, Functor n) => (a -> b) -> m (n a) -> m (n b) Source #

filterElseM :: Monad m => (a -> m Bool) -> [a] -> m [a] -> m [a] Source #

substInFExpr :: Symbol -> Symbol -> Expr -> Expr Source #

findM :: Monad m => (a -> m Bool) -> [a] -> m (Maybe a) Source #

composeM :: Monad m => (a -> m b) -> (b -> c) -> a -> m c Source #

solDelim :: String Source #

pprintMany :: [String] -> Doc Source #

showGoals :: [[String]] -> String Source #

showEmem :: (Show a1, Show a2) => [(Type, a1, a2)] -> String Source #

showEmem' :: (Show a1, Show a2) => [(Type, a1, a2)] -> [(String, String, String)] Source #

exprmemToExpr :: [(a2, CoreExpr, Int)] -> String Source #

showCand :: (a, (Type, b)) -> (String, b) Source #

showCands :: [(a, (Type, b))] -> [(String, b)] Source #

notrace :: String -> a -> a Source #

showCoreAlt :: CoreAlt -> String Source #

showCoreAlts :: [CoreAlt] -> String Source #