Core.TT.Traversals

Definitions

unBinds : Term vars -> Exists (\outer => Term (outer <>> vars))

Visibility: export

onPRefs : Monoid m => (Name -> m) -> Term vars -> m

Visibility: export

allGlobals : Term vars -> NameMap ()

Visibility: export

onConstants : Monoid m => (Constant -> m) -> Term vars -> m

Visibility: export

allConstants : Term vars -> SortedSet Constant

Visibility: export

mapTermM : Monad m => (Term vars -> m (Term vars)) -> Term vars -> m (Term vars)

Visibility: export

mapTerm : (Term vars -> Term vars) -> Term vars -> Term vars

Visibility: export