View Source Guesswork.Ast.Term protocol (Guesswork v0.8.0)

A Term is any possible, computable value. Note that a term doesn't necessarily made any sense or have any semantic value.

Summary

Types

t()

All the types that implement this protocol.

Functions

Check if a term is concrete, that is that is has no variables in it.

Pulls all variables from the term.

Types

t()

@type t() :: term()

All the types that implement this protocol.

Functions

concrete?(term)

@spec concrete?(t()) :: boolean()

Check if a term is concrete, that is that is has no variables in it.

get_variables(statement)

@spec get_variables(t()) :: [Guesswork.Ast.Variable.t()]

Pulls all variables from the term.