Module: T
Overview
Note that in particular because sigs are lazily evaluated and ‘T::Sig::WithoutRuntime.sig` never forces the sig block, we don’t actually need implementations for anything that can only go inside the sig block.
Defined Under Namespace
Modules: Array, Enumerable, Enumerator, Hash, Range, Set, Sig
Class Method Summary
collapse
-
.all(type_a, type_b, *types) ⇒ Object
-
.any(type_a, type_b, *types) ⇒ Object
-
.assert_type!(value, type, checked: true) ⇒ Object
-
.bind(value, type, checked: true) ⇒ Object
-
.cast(value, type, checked: true) ⇒ Object
-
.class_of(klass) ⇒ Object
-
.enum(values) ⇒ Object
-
.let(value, type, checked: true) ⇒ Object
-
.must(arg, msg = nil) ⇒ Object
-
.nilable(type) ⇒ Object
-
.noreturn ⇒ Object
-
.proc ⇒ Object
-
.reveal_type(value) ⇒ Object
-
.self_type ⇒ Object
-
.type_alias(type = nil, &blk) ⇒ Object
-
.type_parameter(name) ⇒ Object
-
.unsafe(value) ⇒ Object
-
.untyped ⇒ Object
Class Method Details
.all(type_a, type_b, *types) ⇒ Object
23
|
# File 'lib/t.rb', line 23
def self.all(type_a, type_b, *types); end
|
.any(type_a, type_b, *types) ⇒ Object
19
|
# File 'lib/t.rb', line 19
def self.any(type_a, type_b, *types); end
|
.assert_type!(value, type, checked: true) ⇒ Object
34
|
# File 'lib/t.rb', line 34
def self.assert_type!(value, type, checked: true); value; end
|
.bind(value, type, checked: true) ⇒ Object
33
|
# File 'lib/t.rb', line 33
def self.bind(value, type, checked: true); value; end
|
.cast(value, type, checked: true) ⇒ Object
31
|
# File 'lib/t.rb', line 31
def self.cast(value, type, checked: true); value; end
|
.class_of(klass) ⇒ Object
27
|
# File 'lib/t.rb', line 27
def self.class_of(klass); end
|
.enum(values) ⇒ Object
24
|
# File 'lib/t.rb', line 24
def self.enum(values); end
|
.let(value, type, checked: true) ⇒ Object
32
|
# File 'lib/t.rb', line 32
def self.let(value, type, checked: true); value; end
|
.must(arg, msg = nil) ⇒ Object
36
|
# File 'lib/t.rb', line 36
def self.must(arg, msg=nil); arg; end
|
.nilable(type) ⇒ Object
20
|
# File 'lib/t.rb', line 20
def self.nilable(type); end
|
.noreturn ⇒ Object
22
|
# File 'lib/t.rb', line 22
def self.noreturn; end
|
.proc ⇒ Object
25
|
# File 'lib/t.rb', line 25
def self.proc; end
|
.reveal_type(value) ⇒ Object
37
|
# File 'lib/t.rb', line 37
def self.reveal_type(value); value; end
|
.self_type ⇒ Object
26
|
# File 'lib/t.rb', line 26
def self.self_type; end
|
.type_alias(type = nil, &blk) ⇒ Object
28
|
# File 'lib/t.rb', line 28
def self.type_alias(type=nil, &blk); end
|
.type_parameter(name) ⇒ Object
29
|
# File 'lib/t.rb', line 29
def self.type_parameter(name); end
|
.unsafe(value) ⇒ Object
35
|
# File 'lib/t.rb', line 35
def self.unsafe(value); value; end
|
.untyped ⇒ Object
21
|
# File 'lib/t.rb', line 21
def self.untyped; end
|