View Source Z.Type behaviour (Z! v1.0.0)

A module for defining Z types

Link to this section Summary

Types

Custom types are represented by user-defined modules.

Primitive Z types (handled by Z).

t()

A Z type, primitive or custom.

Link to this section Types

@type custom() :: module()

Custom types are represented by user-defined modules.

@type primitive() ::
  :any
  | :atom
  | :boolean
  | :integer
  | :float
  | :string
  | :map
  | :list
  | :datetime
  | :date
  | :time

Primitive Z types (handled by Z).

@type t() :: primitive() | custom()

A Z type, primitive or custom.

Link to this section Callbacks

@callback check(Z.Result.t(), atom(), any(), Z.Context.t()) :: Z.Result.t()

Link to this section Functions