Makina.Types (Makina v0.3.1)

View Source

Provides definitions for types common to all Makina models.

Summary

Types

Represents a PBT generator.

Represents a symbolic call.

Represents a symbolic expression.

Represents a symbolic var.

Represents an unknown type.

Types

generator()

@type generator() :: {:"$type", any()} | {:eqc_gen, any()} | [generator()]

Represents a PBT generator.

generator(a)

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

symbolic_call()

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

Represents a symbolic call.

symbolic_expr()

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

Represents a symbolic expression.

symbolic_var()

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

Represents a symbolic var.

unknown()

@type unknown() :: any()

Represents an unknown type.