idris-0.9.15: Functional Programming Language with Dependent Types

Safe HaskellNone

Idris.Elab.Transform

Documentation

elabTransform :: ElabInfo -> FC -> Bool -> PTerm -> PTerm -> Idris (Term, Term)Source