View Source Guesswork.Ast.Term protocol (Guesswork v0.6.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

@type entity() :: atom() | number() | String.t() | list() | tuple() | map()
@type t() :: term()

All the types that implement this protocol.

Functions

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

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

Link to this function

get_variables(statement)

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

Pulls all variables from the term.