View Source Corsa.Type (corsa v0.1.2)

Summary

This functionextracts types on dynamically loaded modules that use Corsa and stores it in Corsa.Type cache.

v <~> t

conforms(v, t)

conforms?(v, t)

This functionextracts types on dynamically loaded modules that use Corsa and stores it in Corsa.Type cache.

(macro)

(macro)

(macro)

@spec conforms_type(value :: any(), type :: Macro.t(), caller :: Macro.Env.t()) ::
  {:ok, Macro.t()} | false

@spec conforms_type?(any(), Macro.t(), Macro.Env.t()) :: boolean()

@spec fetch_protocols() :: [module()]

@spec fetch_type(
  module(),
  {atom(), non_neg_integer()}
) :: {:ok, Macro.t()} | :error

@spec fetch_types(module()) :: {:ok, Macro.t()} | :error

@spec solve_alias(module(), Macro.t()) :: {:ok, Macro.t()} | {:error, String.t()}