Idris.Transforms
Description
transformPats :: IState -> [Either Term (Term, Term)] -> [Either Term (Term, Term)] #
transformPatsWith :: [(Term, Term)] -> [Either Term (Term, Term)] -> [Either Term (Term, Term)] #
applyTransRulesWith :: [(Term, Term)] -> Term -> Term #
Work on explicitly named terms, so we don't have to manipulate de Bruijn indices
applyTransRules :: IState -> Term -> Term #