Top Level Namespace

Defined Under Namespace

Modules: Kernel, Kleisli Classes: Blank, Module, Object

Constant Summary collapse

Maybe = 
Kleisli::Maybe.method(:lift)
Right = 
Kleisli::Either::Right.method(:new)
Left = 
Kleisli::Either::Left.method(:new)
F = 
Kleisli::ComposedFn.new

Instance Method Summary collapse

Instance Method Details

#Future(v = nil, &block) ⇒ Object 



31
32
33
 
# File 'lib/kleisli/future.rb', line 31

def Future(v=nil, &block)
  Kleisli::Future.lift(v, &block)
end

#Left(v) ⇒ Object 



91
92
93
 
# File 'lib/kleisli/either.rb', line 91

def Left(v)
  Kleisli::Either::Left.new(v)
end

#Maybe(v) ⇒ Object 



78
79
80
 
# File 'lib/kleisli/maybe.rb', line 78

def Maybe(v)
  Maybe.(v)
end

#None ⇒ Object 



82
83
84
 
# File 'lib/kleisli/maybe.rb', line 82

def None()
  Maybe(nil)
end

#Right(v) ⇒ Object 



87
88
89
 
# File 'lib/kleisli/either.rb', line 87

def Right(v)
  Kleisli::Either::Right.new(v)
end

#Some(v) ⇒ Object 



86
87
88
 
# File 'lib/kleisli/maybe.rb', line 86

def Some(v)
  Maybe(v)
end

#Try(&f) ⇒ Object 



62
63
64
 
# File 'lib/kleisli/try.rb', line 62

def Try(&f)
  Kleisli::Try.lift(f)
end