Packages

algae

1.2.3
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 free chain.ex
Raw

lib/algae/free/chain.ex 

alias Algae.Free.{Pure, Roll}

alias Witchcraft.{Functor, Chain}



import TypeClass



definst Witchcraft.Chain, for: Algae.Free.Pure do

  def chain(%Pure{pure: pure}, link), do: link.(pure)

end



definst Witchcraft.Chain, for: Algae.Free.Roll do

  def chain(%Roll{roll: rolled}, link) do

    rolled

    |> Functor.map(&Chain.chain(&1, link))

    |> Roll.new()

  end

end