Theoria.Inductive.Shape (theoria v0.5.0)

Copy Markdown View Source

Structured classification of supported inductive shapes.

Summary

Types

kind()
t()

Functions

classify(spec)

Types

kind()

@type kind() :: :bool_like | :nat_like | :list_like | :unknown

t()

@type t() :: %Theoria.Inductive.Shape{
  constructors: map(),
  kind: kind(),
  parameters: list()
}

Functions

classify(spec)

@spec classify(Theoria.Inductive.Spec.t() | term()) :: t()