term-rewriting-0.4.0.1: Term Rewriting Library

Data.Rewriting.Context.Ops

Synopsis

# Documentation

apply :: Ctxt f v -> Term f v -> Term f v Source #

Apply a context to a term (i.e., replace the hole in the context by the term).

compose :: Ctxt f v -> Ctxt f v -> Ctxt f v Source #

Compose two contexts (i.e., replace the hole in the left context by the right context).

ofTerm :: Term f v -> Pos -> Maybe (Ctxt f v) Source #

Create a context from a term by placing the hole at a specific position.