Packages

pantagruel

0.2.0
0.3.99999 0.3.0 0.2.0 0.1.0 0.0.9 0.0.8 0.0.7 0.0.5 0.0.4 0.0.3 0.0.2 0.0.1

A program specification language with a defined syntax, and ad-hoc semantics.

HexDocs

Current section

Files

Jump to
Readme
12 Versions
2 Dependencies
Dependants
Files
Activity
pantagruel lib bool_alg macros.ex
Raw

lib/bool_alg/macros.ex 

defmodule BoolAlg.Macros do

  defmacro deftrue(operation, result, result2 \\ nil) do

    result2 = result2 || result



    quote do

      defp reduce(%__MODULE__{op: unquote(operation), x: true, y: var!(q)}), do: unquote(result)

      defp reduce(%__MODULE__{op: unquote(operation), x: var!(q), y: true}), do: unquote(result2)

    end

  end



  defmacro deffalse(operation, result, result2 \\ nil) do

    result2 = result2 || result



    quote do

      defp reduce(%__MODULE__{op: unquote(operation), x: false, y: var!(q)}), do: unquote(result)

      defp reduce(%__MODULE__{op: unquote(operation), x: var!(q), y: false}), do: unquote(result2)

    end

  end

end