Theoria.Rewrite.Proof.Capabilities (theoria v0.5.0)

Copy Markdown View Source

Experimental proof-lifting capability matrix for Theoria 0.5.

The shape may change before 1.0.

Summary

Types

capability()

Functions

explain(path)
matrix()
matrix_paths()
supported?(path)

Types

capability()

@type capability() :: Theoria.Rewrite.Proof.Capability.t()

Functions

explain(path)

@spec explain([atom()]) :: capability()

matrix()

@spec matrix() :: [Theoria.Rewrite.Proof.Capability.Entry.t()]

matrix_paths()

@spec matrix_paths() :: [[atom()]]

supported?(path)

@spec supported?([atom()]) :: boolean()