Language.Haskell.Liquid.Synthesize.Misc

Documentation

isFunction :: Type -> Bool

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

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

substInFExpr :: Symbol -> Symbol -> Expr -> Expr

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

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

solDelim :: String

pprintMany :: [String] -> Doc

showGoals :: [[String]] -> String

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

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

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

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

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

notrace :: String -> a -> a

showCoreAlt :: CoreAlt -> String

showCoreAlts :: [CoreAlt] -> String

Orphan instances

PPrint AltCon

Methods

pprintTidy :: Tidy -> AltCon -> Doc

pprintPrec :: Int -> Tidy -> AltCon -> Doc