new
Umwelt (root) Argument
All about types

attrs

signatures

⨌ resolve / 2 (signature) Signature inference is ambiguous, choose stricter type

Head of resolve/2


lib/umwelt/argument.ex
defprotocol(Umwelt.Argument) do @moduledoc "All about types" @doc "Head of resolve/2" @spec resolve(any, any) :: any def resolve(left, right) end

defprotocol(Umwelt.Argument) do
  @moduledoc "All about types"
  @doc "Head of resolve/2"
  @spec resolve(any, any) :: any
  def resolve(left, right)
end


test/umwelt/argument_test.exs
defprotocol(Umwelt.Argument) do @moduledoc "All about types" @doc "Head of resolve/2" @spec resolve(any, any) :: any def resolve(left, right) end

defprotocol(Umwelt.Argument) do
  @moduledoc "All about types"
  @doc "Head of resolve/2"
  @spec resolve(any, any) :: any
  def resolve(left, right)
end