Control

This package provides the Mother of all Monads, in other words it provides an Elixir port of the continuation monad.

Other monads can be defined using the continuation monad.

It also provides do-notation via the macro monad do:

Usage

The code example below shows you how to create a monad instance using Maybe.

defmodule Maybe do
  @moduledoc false

  @nothing :nothing
  @just :just

  use ContinuationMonad

  defmacro __using__(_options) do
    quote do
      import unquote(__MODULE__)
      use ContinuationMonad
    end
  end

  defp _return(x) do
    {@just, x}
  end

  defp _bind(@nothing, _a2mb) do
    @nothing
  end

  defp _bind({@just, a}, a2mb) do
    a2mb.(a)
  end

  def return(x) do
    ic(_return(x))
  end

  def nothing() do
    ic(@nothing)
  end

  # Wrapping / Unwrapping
  defp ic(ma) do
    make_ic(&_bind/2).(ma)
  end

  def run(m) do
    make_run(&_return/1).(m)
  end
end

defmodule MaybeClient do

  use Maybe

  def some_fun() do
    monad do
      x <- return("eggs")
      y <- return("bacon")
      return({x, y})
    end
  end

  run(some_fun())
  
end

Installation

If available in Hex, the package can be installed by adding monad_cps to your list of dependencies in mix.exs:

def deps do
  [
    {:monad_cps, "~> 0.1.0"}
  ]
end

Documentation can be generated with ExDoc and published on HexDocs. Once published, the docs can be found at https://hexdocs.pm/control.