Safe Haskell	None
Language	Haskell98

Language.Haskell.Liquid.Bare.Elaborate

Description

This module uses GHC API to elaborate the resolves expressions

Synopsis

fixExprToHsExpr :: HashSet Symbol -> Expr -> LHsExpr GhcPs
elaborateSpecType :: (CoreExpr -> Expr) -> (CoreExpr -> TcRn CoreExpr) -> SpecType -> TcRn SpecType

Documentation

fixExprToHsExpr :: HashSet Symbol -> Expr -> LHsExpr GhcPs Source #

Embed fixpoint expressions into parsed haskell expressions. It allows us to bypass the GHC parser and use arbitrary symbols for identifiers (compared to using the string API)

elaborateSpecType :: (CoreExpr -> Expr) -> (CoreExpr -> TcRn CoreExpr) -> SpecType -> TcRn SpecType Source #

Key	Shortcut
s	Open this search box
esc	Close this search box
↓,ctrl + j	Move down in search results
↑,ctrl + k	Move up in search results
↵	Go to active search result