liquidhaskell-0.8.10.1: Liquid Types for Haskell
Safe HaskellNone
LanguageHaskell98

Language.Haskell.Liquid.Synthesize.Misc

Documentation

(<$$>) :: (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 #

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

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

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

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

notrace :: String -> a -> a #

Orphan instances

PPrint AltCon # 
Instance details

Methods

pprintTidy :: Tidy -> AltCon -> Doc #

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