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 rose apply.ex
Raw

lib/algae/tree/rose/apply.ex 

alias  Algae.Tree.Rose

alias  Witchcraft.{Apply, Functor}

import TypeClass



definst Witchcraft.Apply, for: Algae.Tree.Rose do

  def convey(tree = %Rose{rose: rose, forest: forest}, %Rose{rose: fun, forest: funs}) do

    new_forest =

         Functor.map(forest, &Functor.map(&1, fun))

      ++ Functor.map(funs,   &Apply.convey(tree, &1))



    %Rose{

      rose:   fun.(rose),

      forest: new_forest

    }

  end

end