Wingman.CodeGen.Utils

Documentation

mkCon :: ConLike -> [Type] -> [LHsExpr GhcPs] -> LHsExpr GhcPs

Make a data constructor with the given arguments.

coerceName :: HasOccName a => a -> RdrNameStr

var' :: Var a => OccName -> a

Like var, but works over standard GHC OccNames.

bvar' :: BVar a => OccName -> a

Like bvar, but works over standard GHC OccNames.

mkFunc :: String -> HsExpr GhcPs

Get an HsExpr corresponding to a function name.

mkVal :: String -> HsExpr GhcPs

Get an HsExpr corresponding to a value name.

infixCall :: String -> HsExpr GhcPs -> HsExpr GhcPs -> HsExpr GhcPs

Like op, but easier to call.

appDollar :: HsExpr GhcPs -> HsExpr GhcPs -> HsExpr GhcPs

Like (@@), but uses a dollar instead of parentheses.