Theoria.Validation.Checkable protocol (theoria v0.3.0)

Copy Markdown View Source

Protocol for running Theoria validation checks.

Summary

Types

t()

All the types that implement this protocol.

Functions

check(check, env)

Runs a validation check against the standard prelude environment.

Types

t()

@type t() :: term()

All the types that implement this protocol.

Functions

check(check, env)

@spec check(t(), Theoria.Env.t()) :: :ok | {:error, term()}

Runs a validation check against the standard prelude environment.