GroundPlane.Contracts.HandoffState (GroundPlane Contracts v0.1.0)

Copy Markdown View Source

Shared handoff lifecycle vocabulary.

Summary

Types

t()

Functions

transition_allowed?(from, to)
valid?(state)
values()

Types

t()

@type t() :: String.t()

Functions

transition_allowed?(from, to)

@spec transition_allowed?(t(), t()) :: boolean()

valid?(state)

@spec valid?(term()) :: boolean()

values()

@spec values() :: [t()]