Definitively.Spec.Validator (definitively v0.3.0)

Copy Markdown

Cross-checks on a loaded Program before execution.

Summary

Functions

validate(program)

Runs structural validation checks on a loaded program.

Functions

validate(program)

@spec validate(Definitively.Domain.Program.t()) ::
  :ok | {:error, Definitively.Spec.Error.t()}

Runs structural validation checks on a loaded program.