Language.Haskell.Liquid.Synthesize.Check
check :: CGInfo -> CGEnv -> Config -> Var -> CoreExpr -> Maybe SpecType -> IO Bool Source #
hasType :: SpecType -> CoreExpr -> SM Bool Source #
isWellTyped :: CoreExpr -> SM Bool Source #
checkError :: SpecType -> SM (Maybe CoreExpr) Source #