Documentation

decompileUPT :: UnprocessedParsedTerm -> String Source #

decompileTerm1 :: Term1 -> UnprocessedParsedTerm Source #

decompileTerm2 :: Term2 -> Term1 Source #

decompileFragMap :: Map FragIndex (Cofree (FragExprF a) LocTag) -> Term2 Source #

decompileTerm4 :: Term4 -> Term2 Source #

decompileTerm3 :: Term3 -> Term2 Source #

decompileIExpr :: IExpr -> Term4 Source #