View Source Makina.Types (makina v0.2.1)

Provides definitions for types common to all Makina models.

Link to this section Summary

generator(a)

Represents a PBT generator.

symbolic_call()

Represents a symbolic call.

symbolic_expr()

Represents a symbolic expression.

symbolic_var()

Represents a symbolic var.

@type generator(a) :: a | any()

Represents a PBT generator.

@type symbolic_call() ::
  {:call, atom(), atom(), list()} | {:call, atom(), atom(), list(), any()}

Represents a symbolic call.

@type symbolic_expr() :: symbolic_var() | symbolic_call()

Represents a symbolic expression.

@type symbolic_var() :: {:var, pos_integer()}

Represents a symbolic var.