Packages

rustq

0.9.7
1.0.0-rc.1 0.11.1 0.11.0 0.10.0 0.9.11 0.9.10 0.9.9 0.9.8 0.9.7 0.9.6 0.9.5 0.9.4 0.9.3 0.9.2 0.9.1 0.9.0 0.8.3 0.8.2 0.8.1 0.8.0 0.7.0 0.6.0 0.5.1 0.5.0 0.4.0 0.3.0 0.2.2 0.2.1 0.2.0 0.1.2 0.1.1 0.1.0

Rust templates and quasiquoting for Elixir

HexDocs

Current section

Files

Jump to
Readme
32 Versions
4 Dependencies
1 Dependant
Files
Activity
rustq lib rustq meta semantics.ex
Raw

lib/rustq/meta/semantics.ex 

defmodule RustQ.Meta.Semantics do

  @moduledoc false



  alias RustQ.Meta.Type



  @spec binary_search_by_key_argument_types(Type.t(), Macro.t()) :: [Type.t() | nil] | nil

  def binary_search_by_key_argument_types(%Type{} = receiver_type, closure) do

    with %Type{} = item_type <- Type.slice_inner(receiver_type),

         %Type{} = key_type <- closure_field_type(closure, item_type) do

      [Type.ref(key_type), nil]

    end

  end



  defp closure_field_type(

         {:fn, _meta, [{:->, _, [[{name, _, context}], body]}]},

         %Type{} = item_type

       )

       when is_atom(name) and is_atom(context) do

    case body do

      {{:., _, [{^name, _, body_context}, field]}, _meta, []}

      when is_atom(body_context) and is_atom(field) ->

        Type.field_type(item_type, field)



      _other ->

        nil

    end

  end



  defp closure_field_type(_closure, _item_type), do: nil

end