View Source Makina.Types (Makina v0.3.0)

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.

unknown()

Represents an unknown type.

@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.

@type unknown() :: any()

Represents an unknown type.