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 foldable.ex
Raw

lib/algae/tree/binary_search/foldable.ex 

alias Algae.Tree.BinarySearch.Node

import TypeClass

use Witchcraft



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

  def right_fold(_, seed, _), do: seed

end



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

  def right_fold(%Node{node: node, left: left, right: right}, seed, fun) do

    folded_right = Witchcraft.Foldable.right_fold(right, seed,         fun)

    folded_left  = Witchcraft.Foldable.right_fold(left,  folded_right, fun)



    fun.(node, folded_left)

  end

end