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 



81
82
83
 
# File 'lib/kleisli/either.rb', line 81

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

#Maybe(v) ⇒ Object 



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

def Maybe(v)
  Maybe.(v)
end

#None ⇒ Object 



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

def None()
  Maybe(nil)
end

#Right(v) ⇒ Object 



77
78
79
 
# File 'lib/kleisli/either.rb', line 77

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

#Some(v) ⇒ Object 



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

def Some(v)
  Maybe(v)
end

#Try(&f) ⇒ Object 



54
55
56
 
# File 'lib/kleisli/try.rb', line 54

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