slepher / elixirdo Goto Github PK

deftype Vector :: %Vector{}, deriving: [:eq, :ord]
deftype Matrix :: %Matrix{}, deriving: [:eq, :ord]

defclass monad_writer(m, m: monad)
definstance monad_writer(writer_t(w, m), m: monad, w: monoid) do

defclass monad_writer(w, m) | (m -> w) <= (monoid(w), monad(m))
definstance monad_writer(w, maybe_t(m)) <= monad_writer(w, m)

Functor.fmap(a_b, functor_a, f) #Functor.fmap(a_b, functor_a, f)
Functor.fmap(a_b functor_a) #Functor.fmap(a_b, functor_a)
Functor.fmap(a_b) # &Functor.fmap(a_b, &1)
Functor.fmap() # &Functor.fmap(&1, &2)
f.fmap(a_b, functor_a) # Functor.fmap(a_b, functor_a, f)
f.fmap(a_b) # &Functor.fmap(a_b, &2, f)
f.fmap() # &Functor.fmap(&1, &2, f)

defmodule Elixirdo.Instance.Maybe do
  deftype maybe(a) :: %Just{value: a} | %Nothing{}

  defmodule Just do
    defstruct [:value]

    def new(a) do
      %Just{value: a}
    end

    def run(%Just{value: a}) do
      a
    end
  end

  defmodule Nothing do
    defstruct []

    def new() do
      %Nothing{}
    end
  end
end

defmodule Elixirdo.Instance.Maybe do
  deftype maybe(a) :: %Just{run: a} | %Nothing{}
end