Idris.Syntax.Traversals

Definitions

mapPTermM : (PTerm' nm -> Core (PTerm' nm)) -> PTerm' nm -> Core (PTerm' nm)

Visibility: export

mapPTerm : (PTerm' nm -> PTerm' nm) -> PTerm' nm -> PTerm' nm

Visibility: export

substFC : FC -> PTerm' nm -> PTerm' nm

  Replace the FCs in a term with the one provided.
  The current implementation is not correct: we're only substituting
  in PTerm but it should be enough for our purposes (making sure the
  ellipsis used in a with clause's LHS refers to the correct line).

Visibility: export