Makina.Types (Makina v0.3.1)
View SourceProvides 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
Represents a PBT generator.
@type generator(a) :: a | generator()
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.