Safe Haskell | Safe-Inferred |
---|
Data.Rewriting.Context
Documentation
Important operations
ofTerm :: Term f v -> Pos -> Maybe (Ctxt f v)Source
Create a context from a term by placing the hole at a specific position.
apply :: Ctxt f v -> Term f v -> Term f vSource
Apply a context to a term (i.e., replace the hole in the context by the term).
Reexported modules
module Data.Rewriting.Context.Type
module Data.Rewriting.Context.Ops