Module: Steep::Subtyping::Result::Helper

Included in:
Check
Defined in:
lib/steep/subtyping/result.rb

Instance Method Summary collapse

Instance Method Details

#All(relation, &block) ⇒ Object 



304
305
306
 
# File 'lib/steep/subtyping/result.rb', line 304

def All(relation, &block)
  All.new(relation).tap(&block)
end

#Any(relation, &block) ⇒ Object 



308
309
310
 
# File 'lib/steep/subtyping/result.rb', line 308

def Any(relation, &block)
  Any.new(relation).tap(&block)
end

#Expand(relation, &block) ⇒ Object 



300
301
302
 
# File 'lib/steep/subtyping/result.rb', line 300

def Expand(relation, &block)
  Expand.new(relation, &block)
end

#Failure(relation, error = nil) ⇒ Object 



318
319
320
 
# File 'lib/steep/subtyping/result.rb', line 318

def Failure(relation, error = nil)
  Failure.new(relation, error || yield)
end

#Skip(relation) ⇒ Object 



296
297
298
 
# File 'lib/steep/subtyping/result.rb', line 296

def Skip(relation)
  Skip.new(relation)
end

#Success(relation) ⇒ Object Also known as: success 



312
313
314
 
# File 'lib/steep/subtyping/result.rb', line 312

def Success(relation)
  Success.new(relation)
end