Packages

doma_algae

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

lib/algae/state/apply.ex 

alias  Algae.State

import TypeClass



definst Witchcraft.Apply, for: Algae.State do

  @force_type_instance true

  def convey(%State{runner: state_g}, %State{runner: state_f}) do

    fg =

      fn(s) ->

        {x, t} = state_f.(s)

        {y, u} = state_g.(t)

        {x.(y), u}

      end



    State.new(fn x -> fg.(x) end)

  end

end