defmodule Bunch do
  @moduledoc """
  A bunch of general-purpose helper and convenience functions.
  """

  @doc """
  Brings some useful functions to the scope.
  """
  defmacro __using__(_args) do
    quote do
      import unquote(__MODULE__),
        only: [withl: 1, withl: 2, ~>: 2, ~>>: 2, provided: 2, int_part: 2]
    end
  end

  @compile {:inline, listify: 1, error_if_nil: 2, int_part: 2}

  @doc """
  A labeled version of the `with` macro.

  Helps to determine in `else` block which `with clause` did not match.
  Therefore `else` block is always required. Due to the Elixir syntax requirements,
  all clauses have to be labeled.

  Labels also make it possible to access results of already succeeded matches
  from else clauses. That is why labels have to be known at the compile time.

  ## Examples
  ```
  iex> use Bunch
  iex> list = [-1, 3, 2]
  iex> binary = <<1,2>>
  iex> withl max: i when i > 0 <- list |> Enum.max(),
  ...>       bin: <<b::binary-size(i), _::binary>> <- binary do
  ...>   {list, b}
  ...> else
  ...>   max: i -> {:error, :invalid_maximum, i}
  ...>   bin: b -> {:error, :binary_too_short, b, i}
  ...> end
  {:error, :binary_too_short, <<1,2>>, 3}
  ```
  """
  @spec withl(keyword(with_clause :: term), do: code_block :: term(), else: match_clauses :: term) ::
          term
  defmacro withl(with_clauses, do: block, else: else_clauses) do
    do_withl(with_clauses, block, else_clauses)
  end

  @doc """
  Works like `withl/2`, but allows shorter syntax.

  ## Examples
  ```
  iex> use Bunch
  iex> x = 1
  iex> y = 2
  iex> withl a: true <- x > 0,
  ...>       b: false <- y |> rem(2) == 0,
  ...>       do: {x, y},
  ...>       else: (a: false -> {:error, :x}; b: true -> {:error, :y})
  {:error, :y}
  ```

  For more details and more verbose and readable syntax, check docs for `withl/2`.
  """
  @spec withl(
          keyword :: [
            {key :: atom(), with_clause :: term}
            | {:do, code_block :: term}
            | {:else, match_clauses :: term}
          ]
        ) :: term
  defmacro withl(keyword) do
    {{:else, else_clauses}, keyword} = keyword |> List.pop_at(-1)
    {{:do, block}, keyword} = keyword |> List.pop_at(-1)
    with_clauses = keyword
    do_withl(with_clauses, block, else_clauses)
  end

  defp do_withl(with_clauses, block, else_clauses) do
    else_clauses =
      else_clauses
      |> Enum.map(fn {:->, meta, [[[{label, left}]], right]} ->
        {label, {:->, meta, [[left], right]}}
      end)
      |> Enum.group_by(fn {k, _v} -> k end, fn {_k, v} -> v end)

    with_clauses
    |> Enum.reverse()
    |> Enum.reduce(block, fn {label, clause}, acc ->
      else_block =
        case else_clauses[label] do
          nil -> []
          clauses -> [else: clauses]
        end

      args = [clause, [do: acc] ++ else_block]

      quote do
        with unquote_splicing(args)
      end
    end)
  end

  @doc """
  Embeds the argument in a one-element list if it is not a list itself. Otherwise
  works as identity.

  ## Examples
  ```
  iex> #{inspect(__MODULE__)}.listify(:a)
  [:a]
  iex> #{inspect(__MODULE__)}.listify([:a, :b, :c])
  [:a, :b, :c]
  ```
  """
  @spec listify(a | [a]) :: [a] when a: any
  def listify(list) when is_list(list) do
    list
  end

  def listify(non_list) do
    [non_list]
  end

  @doc """
  Returns error tuple if given value is nil and ok tuple otherwise.
  """
  @spec error_if_nil(value, reason) :: {:ok, value} | {:error, reason}
        when value: any(), reason: any()
  def error_if_nil(nil, reason), do: {:error, reason}
  def error_if_nil(v, _), do: {:ok, v}

  @doc """
  Returns given stateful try value along with its status.
  """
  @spec stateful_try_with_status(result) :: {status, result}
        when error: {:error, any()},
             status: :ok | error,
             result: {:ok | {:ok, value :: any()} | error, state :: any()}
  def stateful_try_with_status({:ok, _state} = res), do: {:ok, res}
  def stateful_try_with_status({{:ok, _res}, _state} = res), do: {:ok, res}
  def stateful_try_with_status({{:error, reason}, _state} = res), do: {{:error, reason}, res}

  @doc """
  Returns `value` decreased by `value (mod divisor)`

  ## Examples
  ```
  iex> #{inspect(__MODULE__)}.int_part(10, 4)
  8
  iex> #{inspect(__MODULE__)}.int_part(7, 7)
  7
  ```
  """
  @spec int_part(value :: non_neg_integer, divisor :: pos_integer) :: non_neg_integer
  def int_part(value, divisor) do
    remainder = value |> rem(divisor)
    value - remainder
  end

  @doc """
  Helper for writing pipeline-like syntax. Maps given value using match clauses
  or lambda-like syntax.

  ## Examples
  ```
  iex> use #{inspect(__MODULE__)}
  iex> {:ok, 10} ~> ({:ok, x} -> x)
  10
  iex> 5 ~> &1 + 2
  7
  ```

  Useful especially when dealing with a pipeline of operations (made up e.g.
  with pipe (`|>`) operator) some of which are hard to express in such form:
  ```
  iex> use #{inspect(__MODULE__)}
  iex> ["Joe", "truck", "jacket"]
  ...> |> Enum.map(&String.downcase/1)
  ...> |> Enum.filter(& &1 |> String.starts_with?("j"))
  ...> ~> ["Words:" | &1]
  ...> |> Enum.join("\\n")
  "Words:
  joe
  jacket"
  ```
  """
  # Case when the mapper is a list of match clauses
  defmacro value ~> ([{:->, _, _} | _] = mapper) do
    quote do
      case unquote(value) do
        unquote(mapper)
      end
    end
  end

  # Case when the mapper is a piece of lambda-like code
  defmacro x ~> mapper do
    quote do
      unquote({:&, [], [mapper]}).(unquote(x))
    end
  end

  @doc """
  Works similar to `~>/2`, but accepts only `->` clauses and appends default
  identity clause at the end.

  ## Examples
  ```
  iex> use #{inspect(__MODULE__)}
  iex> {:ok, 10} ~>> ({:ok, x} -> {:ok, x+1})
  {:ok, 11}
  iex> :error ~>> ({:ok, x} -> {:ok, x+1})
  :error
  ```
  """
  defmacro value ~>> mapper_clauses do
    default =
      quote do
        _ -> unquote(value)
      end

    quote do
      case unquote(value) do
        unquote(mapper_clauses ++ default)
      end
    end
  end

  @doc """
  Macro providing support for python-style condition notation.

  ## Examples
  ```
  iex> use #{inspect(__MODULE__)}
  iex> x = 10
  iex> x |> provided(that: x > 0, else: 0)
  10
  iex> x = -4
  iex> x |> provided(that: x > 0, else: 0)
  0
  ```

  Apart from `that`, supported are also `do` and `not` keys:
  ```
  iex> use #{inspect(__MODULE__)}
  iex> x = -4
  iex> x |> provided do x > 0 else 0 end
  0
  iex> x = -4
  iex> x |> provided(not: x > 0, else: 0)
  -4
  ```
  """
  defmacro provided(value, that: condition, else: default),
    do: do_provided(value, condition, default)

  defmacro provided(value, do: condition, else: default),
    do: do_provided(value, condition, default)

  defmacro provided(value, not: condition, else: default),
    do: do_provided(default, condition, value)

  defp do_provided(value, condition, default) do
    quote do
      if unquote(condition) do
        unquote(value)
      else
        unquote(default)
      end
    end
  end

  @doc """
  Returns stacktrace as a string.

  The stacktrace is formatted to the readable format.
  """
  defmacro stacktrace do
    quote do
      use unquote(__MODULE__)
      # drop excludes `Process.info/2` call
      Process.info(self(), :current_stacktrace)
      ~> ({:current_stacktrace, trace} -> trace)
      |> Enum.drop(1)
      |> Exception.format_stacktrace()
    end
  end
end