Packages

doma_algae

1.3.1-doma
1.3.2-doma 1.3.1-doma

Bootstrapped algebraic data types for Elixir, forked by doma for maintenance and testing packagesets

HexDocs

Current section

Files

Jump to
Readme
2 Versions
3 Dependencies
Dependants
Files
Activity
doma_algae lib algae tree binary_search semigroup.ex
Raw

lib/algae/tree/binary_search/semigroup.ex 

alias Algae.Tree.BinarySearch, as: BST

alias Algae.Tree.BinarySearch.{Empty, Node}



import TypeClass

use Witchcraft



definst Witchcraft.Semigroup, for: Algae.Tree.BinarySearch.Empty do

  def append(_, %Empty{}), do: %Empty{}

  def append(_, node = %Node{}), do: node

end



definst Witchcraft.Semigroup, for: Algae.Tree.BinarySearch.Node do

  def append(node, %Empty{}), do: node



  def append(node_a, node_b) do

    node_a

    |> BST.to_list()

    |> Enum.concat(BST.to_list(node_b))

    |> BST.from_list()

  end

end