Makina.Types (Makina v0.3.1)

Provides definitions for types common to all Makina models.

Summary

generator()

Represents a PBT generator.

generator(a)

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() :: {:"$type", any()} | {:eqc_gen, any()} | [generator()]

Represents a PBT generator.

@type generator(a) :: a | 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.