Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell98 |
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 v Source
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