Module: Funkr::Categories::Monad

Defined in:
lib/funkr/categories/monad.rb

Overview

A functor can also be made an instance of Monad if you can define a bind operation on it. The bind operation must follow the monads laws :

- Functor.unit(x).bind(f) == f.call(X)
- monad.bind{|x| Functor.unit(x)} == monad
- monad.bind{|x| f(monad).bind(g)} == monad.bind{|x| f(x)}.bind{|x| g(x)}

Usually you will want your type to be a monad if you need to chain functions returning your type, and want to implement chaining logic once and for all (in bind).

Defined Under Namespace

Modules: ClassMethods

Instance Method Summary collapse

Instance Method Details

#bind(&block) ⇒ Object

Bind operation on monads. The type must be as follow : Monad(A).bind{|A| λ(A) : Monad(B)} : Monad(B)



19
20
21
 
# File 'lib/funkr/categories/monad.rb', line 19

def bind(&block)
  raise "Monad#bind not implemented"
end

#bind_(&block) ⇒ Object 



31
32
33
 
# File 'lib/funkr/categories/monad.rb', line 31

def bind_(&block)
  self.bind{|*args| yield}
end