vow v0.0.1 Vow.Function View Source

TODO

Link to this section Summary

Types

conformed_function()

f()

fun_value()

t()

Functions

conform(spec, fun, args \\ [])

Link to this section Types

conformed_function()

conformed_function() :: %{
  args: [conformed_arg :: term()] | nil,
  ret: conformed_ret :: term() | nil,
  fun: %{args: [conformed_arg :: term()], ret: conformed_ret :: term()} | nil
}

f()

f() :: (... -> any()) | mfa() | {module(), atom()}

fun_value()

fun_value() :: %{args: [term()], ret: term()}

t()

t() :: %Vow.Function{
  args: [Vow.t()] | nil,
  fun: Vow.t() | nil,
  ret: Vow.t() | nil
}

Link to this section Functions

conform(spec, fun, args \\ [])

conform(t(), f(), args :: [term()]) ::
  {:ok, conformed_function()}
  | {:error, {:args | :ret | :fun, [Vow.ConformError.Problem.t()]}}