import TypeClass

defimpl TypeClass.Property.Generator, for: BoolAlg do
  @moduledoc """
  Property generation for BoolAlg structs.
  """
  alias TypeClass.Property.Generator

  def generate(_) do
    op = Enum.random([:conj, :disj, :iff, :xor, :impl, :not])
    %BoolAlg{op: op, x: rand_node(), y: rand_node()}
  end

  defp rand_node, do: Enum.random([&rand_alg/0, &rand_prop/0]).()
  defp rand_alg, do: Generator.generate(%BoolAlg{})
  defp rand_prop, do: [Enum.random(?A..?Z)] |> :erlang.list_to_atom()
end

definst Witchcraft.Functor, for: BoolAlg do
  @moduledoc """
  Implementation of the Functor typeclass for BoolAlg structs.
  """
  def map(%{x: x, y: y} = b, fun), do: %{b | x: fun.(x), y: fun.(y)}
  def map(%{op: :not, x: x} = b, fun), do: %{b | x: fun.(x)}
end