Theoria.Kernel.MatcherAdmission (theoria v0.4.0)

Copy Markdown View Source

Trusted-adjacent admission checks for matcher declarations.

Summary

Functions

add(env, spec)

Checks and installs a matcher declaration package.

Functions

add(env, spec)

@spec add(Theoria.Env.t(), Theoria.Equation.Matcher.Spec.t()) ::
  {:ok, Theoria.Env.t()} | {:error, Theoria.Error.t()}

Checks and installs a matcher declaration package.