Monads

Finally, monads! Still could use more documentation, but they're here and they work 😄

[1, 2, 3] >>> fn x ->
  [x + 1] >>> fn y ->
    [y * x, y * 10, x - 1]
  end
end
#=> [2, 20, 0, 6, 30, 1, 12, 40, 2]

[1, 2, 3]
>>> fn x -> [x + 1] end
>>> fn y -> [y * 10, y - 1] end
#=> [20, 1, 30, 2, 40, 3]

Of course they work on things other than lists. I'll will be moving the ADT...

Applicative Functors are here!

Things to note:

• wrap (i.e.: pure) & apply are here!
  • Operator for apply: <<~ and ~>>
  • Reversed operator arrow direction for consistence with Elixir
    • ie: in Haskell we think about applyping "over" things (apply [(+1)] [1,2,3])
    • In Elixir, we're piping thing into the application ([1,2,3] ~>> [&(&1 + 1)])
    • Can still write in the...

Functor protocol, functions, and spot-check helpers

• Only the covariant functor, more varieties will follow

First draft of the Monoid protocol