Theoria.Equation.Pattern (theoria v0.6.0)

Experimental/internal API for 0.2; subject to change before 0.3. Equation compiler patterns.

Summary

t()

Builds a constructor pattern.

var(name)

Builds a variable pattern.

wildcard()

Builds a wildcard pattern.

@type t() ::
  Theoria.Equation.Pattern.Var.t()
  | Theoria.Equation.Pattern.Wildcard.t()
  | Theoria.Equation.Pattern.Constructor.t()

@spec constructor(atom(), [t()]) :: Theoria.Equation.Pattern.Constructor.t()

Builds a constructor pattern.

@spec var(atom()) :: Theoria.Equation.Pattern.Var.t()

Builds a variable pattern.

@spec wildcard() :: Theoria.Equation.Pattern.Wildcard.t()

Builds a wildcard pattern.