Packages

algae

1.2.4
1.3.1 1.3.0 1.2.5 1.2.4 1.2.3 1.2.2 1.2.1 1.2.0 1.1.0 1.0.0 0.12.2 0.12.1 0.12.0 0.11.0 0.10.0 0.9.1 0.9.0 0.8.0 0.7.0 0.6.1 0.6.0 0.5.2 0.5.1

Bootstrapped algebraic data types for Elixir

HexDocs

Current section

Files

Jump to
Readme
23 Versions
3 Dependencies
Dependants
Files
Activity
algae lib algae tree binary_search apply.ex
Raw

lib/algae/tree/binary_search/apply.ex 

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

import TypeClass

use Witchcraft



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

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

end



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

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

  def convey(%{node: node, left: left, right: right}, tree_funs = %Node{node: fun}) do

    %Node{

      node:  fun.(node),

      left:  Witchcraft.Apply.convey(left,  tree_funs),

      right: Witchcraft.Apply.convey(right, tree_funs)

    }

  end

end