rdl 2.0.1 → 2.1.0

data/lib/types/core/gem.rb

@@ -0,0 +1,19 @@
+RDL.nowrap :Gem
+
+RDL.type :Gem, 'self.bin_path', '(String name, ?String exec_name, *Gem::Requirement requirements) -> String'
+RDL.type :Gem, 'self.binary_mode', '() -> String'
+RDL.type :Gem, 'self.bindir', '(?String install_dir) -> String'
+RDL.type :Gem, 'self.clear_default_specs', '() -> Hash'
+RDL.type :Gem, 'self.clear_paths', '() -> nil'
+RDL.type :Gem, 'self.config_file', '() -> String'
+RDL.type :Gem, 'self.configuration', '() -> Gem::ConfigFile'
+RDL.type :Gem, 'self.configuration=', '(%any) -> %any' #returns param
+RDL.type :Gem, 'self.datadir', '(String gem_name) -> String or nil'
+RDL.type :Gem, 'self.default_bindir', '() -> String or nil'
+RDL.type :Gem, 'self.default_cert_path', '() -> String or nil'
+RDL.type :Gem, 'self.default_dir', '() -> String or nil'
+RDL.type :Gem, 'self.default_exec_format', '() -> String or nil'
+RDL.type :Gem, 'self.default_key_path', '() -> String or nil'
+RDL.type :Gem, 'self.default_path', '() -> String or nil'
+RDL.type :Gem, 'self.default_rubygems_dirs', '() -> Array<String> or nil'
+RDL.type :Gem, 'self.default_sources', '() -> Array<String> or nil'

data/lib/types/core/hash.rb

@@ -0,0 +1,72 @@
+RDL.nowrap :Hash
+
+RDL.type_params :Hash, [:k, :v], :all?
+
+RDL.type :Hash, 'self.[]', '(*u) -> Hash<u, u>'  # example: Hash[1,2,3,4]
+RDL.type :Hash, 'self.[]', '(Array<[a,b]>) -> Hash<a, b>'
+RDL.type :Hash, 'self.[]', '([to_hash: () -> Hash<a, b>]) -> Hash<a, b>'
+
+RDL.type :Hash, :[], '(k) -> v'
+RDL.type :Hash, :[]=, '(k, v) -> v'
+RDL.type :Hash, :store, '(k,v) -> v'
+
+# RDL.type :Hash, :assoc, '(k) -> [k, v]' # TODO
+RDL.type :Hash, :assoc, '(k) -> Array<k or v>'
+RDL.type :Hash, :clear, '() -> Hash<k,v>'
+RDL.type :Hash, :compare_by_identity, '() -> Hash<k,v>'
+RDL.type :Hash, :compare_by_identity?,  '() -> %bool'
+RDL.type :Hash, :default, '(?k) -> v'
+RDL.type :Hash, :default, '(k) {(k) -> v} -> v'
+RDL.type :Hash, :default=, '(v) -> v'
+
+# TODO: check on default_proc
+# RDL.type :Hash, :default_proc, '() -> (Hash<k,v>,k) -> v'
+# RDL.type :Hash, :default_proc=, '((Hash<k,v>,k) -> v) -> (Hash<k,v>,k) -> v'
+
+RDL.type :Hash, :delete, '(k) -> v'
+RDL.type :Hash, :delete, '(k) { (k) -> u } -> u or v'
+RDL.type :Hash, :delete_if, '() { (k,v) -> %bool } -> Hash<k,v>'
+RDL.type :Hash, :delete_if, '() -> Enumerator<[k, v]>'
+RDL.type :Hash, :each, '() { (k,v) -> %any } -> Hash<k,v>'
+RDL.type :Hash, :each, '() -> Enumerator<[k, v]>'
+RDL.type :Hash, :each_pair, '() { (k,v) -> %any } -> Hash<k,v>'
+RDL.type :Hash, :each_pair, '() -> Enumerator<[k, v]>'
+RDL.type :Hash, :each_key, '() { (k) -> %any } -> Hash<k,v>'
+RDL.type :Hash, :each_key, '() -> Enumerator<[k, v]>'
+RDL.type :Hash, :each_value, '() { (v) -> %any } -> Hash<k,v>'
+RDL.type :Hash, :each_value, '() -> Enumerator<[k, v]>'
+RDL.type :Hash, :empty?, '() -> %bool'
+RDL.type :Hash, :fetch, '(k) -> v'
+RDL.type :Hash, :fetch, '(k,u) -> u or v'
+RDL.type :Hash, :fetch, '(k) { (k) -> u } -> u or v'
+RDL.type :Hash, :member?, '(t) -> %bool'
+RDL.type :Hash, :has_key?, '(t) -> %bool'
+RDL.type :Hash, :key?, '(t) -> %bool'
+RDL.type :Hash, :has_value?, '(t) -> %bool'
+RDL.type :Hash, :value?, '(t) -> %bool'
+RDL.type :Hash, :to_s, '() -> String'
+RDL.type :Hash, :inspect, '() -> String'
+RDL.type :Hash, :invert, '() -> Hash<v,k>'
+RDL.type :Hash, :keep_if, '() { (k,v) -> %bool } -> Hash<k,v>'
+RDL.type :Hash, :keep_if, '() -> Enumerator<[k, v]>'
+RDL.type :Hash, :key, '(t) -> k'
+RDL.type :Hash, :keys, '() -> Array<k>'
+RDL.type :Hash, :length, '() -> Integer'
+RDL.type :Hash, :size, '() -> Integer'
+RDL.type :Hash, :merge, '(Hash<a,b>) -> Hash<a or k, b or v>'
+RDL.type :Hash, :merge, '(Hash<a,b>) { (k,v,b) -> v or b } -> Hash<a or k, b or v>'
+# RDL.type :Hash, :rassoc, '(k) -> Tuple<k,v>'
+RDL.type :Hash, :rassoc, '(k) -> Array<k or v>'
+RDL.type :Hash, :rehash, '() -> Hash<k,v>'
+RDL.type :Hash, :reject, '() -> Enumerator<[k, v]>'
+RDL.type :Hash, :reject, '() {(k,v) -> %bool} -> Hash<k,v>'
+RDL.type :Hash, :reject!, '() {(k,v) -> %bool} -> Hash<k,v>'
+RDL.type :Hash, :select, '() {(k,v) -> %bool} -> Hash<k,v>'
+RDL.type :Hash, :select!, '() {(k,v) -> %bool} -> Hash<k,v>'
+# RDL.type :Hash, :shift, '() -> Tuple<k,v>'
+RDL.type :Hash, :shift, '() -> Array<k or v>'
+# RDL.type :Hash, :to_a, '() -> Array<Tuple<k,v>>'
+RDL.type :Hash, :to_a, '() -> Array<Array<k or v>>'
+RDL.type :Hash, :to_hash, '() -> Hash<k,v>'
+RDL.type :Hash, :values, '() -> Array<v>'
+RDL.type :Hash, :values_at, '(*k) -> Array<v>'

data/lib/types/core/integer.rb

@@ -0,0 +1,194 @@
+RDL.nowrap :Integer
+
+RDL.type :Integer, :%, '(Integer x {{ x!=0 }}) -> Integer'
+RDL.type :Integer, :%, '(Float x {{ x!=0 }}) -> Float'
+RDL.type :Integer, :%, '(Rational x {{ x!=0 }}) -> Rational'
+RDL.type :Integer, :%, '(BigDecimal x {{ x!=0 }}) -> BigDecimal'
+
+RDL.type :Integer, :&, '(Integer) -> Integer'
+
+RDL.type :Integer, :*, '(Integer) -> Integer'
+RDL.type :Integer, :*, '(Float) -> Float'
+RDL.type :Integer, :*, '(Rational) -> Rational'
+RDL.type :Integer, :*, '(BigDecimal) -> BigDecimal'
+RDL.type :Integer, :*, '(Complex) -> Complex'
+RDL.pre(:Integer, :*) { |x| if (x.real.is_a?(BigDecimal)||x.imaginary.is_a?(BigDecimal)) then (if x.real.is_a?(Float) then (x.real!=Float::INFINITY && !(x.real.nan?)) elsif(x.imaginary.is_a?(Float)) then x.imaginary!=Float::INFINITY && !(x.imaginary.nan?) else true end) else true end} #can't have a complex with part BigDecimal, other part infinity/NAN
+
+RDL.type :Integer, :**, '(Integer) -> %numeric'
+RDL.type :Integer, :**, '(Float) -> %numeric'
+RDL.type :Integer, :**, '(Rational) -> %numeric'
+RDL.type :Integer, :**, '(BigDecimal) -> BigDecimal'
+RDL.pre(:Integer, :**) { |x| x!=BigDecimal::INFINITY && if self<0 then x<=-1||x>=0 else true end}
+RDL.post(:Integer, :**) { |r,x| r.real?}
+RDL.type :Integer, :**, '(Complex) -> Complex'
+RDL.pre(:Integer, :**) { |x| x!=0 && if (x.real.is_a?(BigDecimal)||x.imaginary.is_a?(BigDecimal)) then (if x.real.is_a?(Float) then (x.real!=Float::INFINITY && !(x.real.nan?)) elsif(x.imaginary.is_a?(Float)) then x.imaginary!=Float::INFINITY && !(x.imaginary.nan?) else true end) else true end}
+
+RDL.type :Integer, :+, '(Integer) -> Integer'
+RDL.type :Integer, :+, '(Float) -> Float'
+RDL.type :Integer, :+, '(Rational) -> Rational'
+RDL.type :Integer, :+, '(BigDecimal) -> BigDecimal'
+RDL.type :Integer, :+, '(Complex) -> Complex'
+
+RDL.type :Integer, :-, '(Integer) -> Integer'
+RDL.type :Integer, :-, '(Float) -> Float'
+RDL.type :Integer, :-, '(Rational) -> Rational'
+RDL.type :Integer, :-, '(BigDecimal) -> BigDecimal'
+RDL.type :Integer, :-, '(Complex) -> Complex'
+
+RDL.type :Integer, :-@, '() -> Integer'
+
+RDL.type :Integer, :+@, '() -> Integer'
+
+RDL.type :Integer, :/, '(Integer x {{ x!=0 }}) -> Integer'
+RDL.type :Integer, :/, '(Float x {{ x!=0 }}) -> Float'
+RDL.type :Integer, :/, '(Rational x {{ x!=0 }}) -> Rational'
+RDL.type :Integer, :/, '(BigDecimal x {{ x!=0 }}) -> BigDecimal'
+RDL.type :Integer, :/, '(Complex x {{ x!=0 }}) -> Complex'
+RDL.pre(:Integer, :/) { |x| x!=0 && if (x.real.is_a?(BigDecimal)||x.imaginary.is_a?(BigDecimal)) then (if x.real.is_a?(Float) then (x.real!=Float::INFINITY && !(x.real.nan?)) elsif(x.imaginary.is_a?(Float)) then x.imaginary!=Float::INFINITY && !(x.imaginary.nan?) else true end) else true end && if (x.real.is_a?(Rational) && x.imaginary.is_a?(Float)) then !x.imaginary.nan? else true end}
+
+RDL.type :Integer, :<, '(Integer) -> %bool'
+RDL.type :Integer, :<, '(Float) -> %bool'
+RDL.type :Integer, :<, '(Rational) -> %bool'
+RDL.type :Integer, :<, '(BigDecimal) -> %bool'
+
+RDL.type :Integer, :<<, '(Integer) -> Integer'
+
+RDL.type :Integer, :<=, '(Integer) -> %bool'
+RDL.type :Integer, :<=, '(Float) -> %bool'
+RDL.type :Integer, :<=, '(Rational) -> %bool'
+RDL.type :Integer, :<=, '(BigDecimal) -> %bool'
+
+RDL.type :Integer, :<=>, '(Integer) -> Object'
+RDL.post(:Integer, :<=>) { |r,x| r == -1 || r == 0 || r == 1 }
+RDL.type :Integer, :<=>, '(Float) -> Object'
+RDL.post(:Integer, :<=>) { |r,x| r == -1 || r == 0 || r == 1 }
+RDL.type :Integer, :<=>, '(Rational) -> Object'
+RDL.post(:Integer, :<=>) { |r,x| r == -1 || r == 0 || r == 1 }
+RDL.type :Integer, :<=>, '(BigDecimal) -> Object'
+RDL.post(:Integer, :<=>) { |r,x| r == -1 || r == 0 || r == 1 }
+
+RDL.type :Integer, :==, '(Object) -> %bool'
+
+RDL.type :Integer, :===, '(Object) -> %bool'
+
+RDL.type :Integer, :>, '(Integer) -> %bool'
+RDL.type :Integer, :>, '(Float) -> %bool'
+RDL.type :Integer, :>, '(Rational) -> %bool'
+RDL.type :Integer, :>, '(BigDecimal) -> %bool'
+
+RDL.type :Integer, :>=, '(Integer) -> %bool'
+RDL.type :Integer, :>=, '(Float) -> %bool'
+RDL.type :Integer, :>=, '(Rational) -> %bool'
+RDL.type :Integer, :>=, '(BigDecimal) -> %bool'
+
+RDL.type :Integer, :>>, '(Integer) -> Integer r {{ r >= 0 }}'
+
+RDL.type :Integer, :[], '(Integer) -> Integer'
+RDL.post(:Integer, :[]) { |r,x| r == 0 || r==1}
+RDL.type :Integer, :[], '(Rational) -> Integer'
+RDL.post(:Integer, :[]) { |r,x| r == 0 || r==1}
+RDL.type :Integer, :[], '(Float) -> Integer'
+RDL.pre(:Integer, :[]) { |x| x != Float::INFINITY && !x.nan? }
+RDL.post(:Integer, :[]) { |r,x| r == 0 || r==1}
+RDL.type :Integer, :[], '(BigDecimal) -> Integer'
+RDL.pre(:Integer, :[]) { |x| x != BigDecimal::INFINITY && !x.nan? }
+RDL.post(:Integer, :[]) { |r,x| r == 0 || r == 1 }
+
+RDL.type :Integer, :^, '(Integer) -> Integer'
+
+RDL.type :Integer, :|, '(Integer) -> Integer'
+
+RDL.type :Integer, :~, '() -> Integer'
+
+RDL.type :Integer, :abs, '() -> Integer r {{ r>=0 }}'
+
+RDL.type :Integer, :bit_length, '() -> Integer r {{ r>=0 }}'
+
+RDL.type :Integer, :div, '(Integer x {{ x!=0 }}) -> Integer'
+RDL.type :Integer, :div, '(Float x {{ x!=0 && !x.nan? }}) -> Integer'
+RDL.type :Integer, :div, '(Rational x {{ x!=0 }}) -> Integer'
+RDL.type :Integer, :div, '(BigDecimal x {{ x!=0 && !x.nan? }}) -> Integer'
+
+RDL.type :Integer, :divmod, '(%real x {{ x!=0 }}) -> [%real, %real]'
+RDL.pre(:Integer, :divmod) { |x| if x.is_a?(Float) then !x.nan? else true end}
+
+RDL.type :Integer, :fdiv, '(Integer) -> Float'
+RDL.type :Integer, :fdiv, '(Float) -> Float'
+RDL.type :Integer, :fdiv, '(Rational) -> Float'
+RDL.type :Integer, :fdiv, '(BigDecimal) -> BigDecimal'
+RDL.type :Integer, :fdiv, '(Complex) -> Complex'
+RDL.pre(:Integer, :fdiv) { |x| if (x.real.is_a?(BigDecimal)||x.imaginary.is_a?(BigDecimal)) then (if x.real.is_a?(Float) then (x.real!=Float::INFINITY && !(x.real.nan?)) elsif(x.imaginary.is_a?(Float)) then x.imaginary!=Float::INFINITY && !(x.imaginary.nan?) else true end) else true end && if (x.real.is_a?(Rational) && x.imaginary.is_a?(Float)) then !x.imaginary.nan? else true end}
+
+RDL.type :Integer, :to_s, '() -> String'
+RDL.type :Integer, :inspect, '() -> String'
+
+RDL.type :Integer, :magnitude, '() -> Integer r {{ r>=0 }}'
+
+RDL.type :Integer, :modulo, '(Integer x {{ x!=0 }}) -> Integer'
+RDL.type :Integer, :modulo, '(Float x {{ x!=0 }}) -> Float'
+RDL.type :Integer, :modulo, '(Rational x {{ x!=0 }}) -> Rational'
+RDL.type :Integer, :modulo, '(BigDecimal x {{ x!=0 }}) -> BigDecimal'
+
+RDL.type :Integer, :quo, '(Integer x {{ x!=0 }}) -> Rational'
+RDL.type :Integer, :quo, '(Float x {{ x!=0 }}) -> Float'
+RDL.type :Integer, :quo, '(Rational x {{ x!=0 }}) -> Rational'
+RDL.type :Integer, :quo, '(BigDecimal x {{ x!=0 }}) -> BigDecimal'
+RDL.type :Integer, :quo, '(Complex x {{ x!=0 }}) -> Complex'
+RDL.pre(:Integer, :quo) { |x| if (x.real.is_a?(BigDecimal)||x.imaginary.is_a?(BigDecimal)) then (if x.real.is_a?(Float) then (x.real!=Float::INFINITY && !(x.real.nan?)) elsif(x.imaginary.is_a?(Float)) then x.imaginary!=Float::INFINITY && !(x.imaginary.nan?) else true end) else true end && if (x.real.is_a?(Rational) && x.imaginary.is_a?(Float)) then !x.imaginary.nan? else true end}
+
+RDL.type :Integer, :abs2, '() -> Integer r {{ r>=0 }}'
+RDL.type :Integer, :angle, '() -> %numeric'
+RDL.post(:Integer, :angle) { |r,x| r == 0 || r == Math::PI}
+RDL.type :Integer, :arg, '() -> %numeric'
+RDL.post(:Integer, :arg) { |r,x| r == 0 || r == Math::PI}
+RDL.type :Integer, :equal?, '(Object) -> %bool'
+RDL.type :Integer, :eql?, '(Object) -> %bool'
+RDL.type :Integer, :hash, '() -> Integer'
+RDL.type :Integer, :ceil, '() -> Integer'
+RDL.type :Integer, :chr, '(Encoding) -> String'
+RDL.type :Integer, :coerce, '(%numeric) -> [%real, %real]'
+RDL.pre(:Integer, :coerce) { |x| if x.is_a?(Complex) then x.imaginary==0 else true end}
+RDL.type :Integer, :conj, '() -> Integer'
+RDL.type :Integer, :conjugate, '() -> Integer'
+RDL.type :Integer, :denominator, '() -> Integer'
+RDL.post(:Integer, :denominator) { |r,x| r == 1 }
+RDL.type :Integer, :downto, '(Integer) { (Integer) -> %any } -> Integer'
+RDL.type :Integer, :downto, '(Integer limit) -> Enumerator<Integer>'
+RDL.type :Integer, :even?, '() -> %bool'
+RDL.type :Integer, :gcd, '(Integer) -> Integer'
+RDL.type :Integer, :gcdlcm, '(Integer) -> [Integer, Integer]'
+RDL.type :Integer, :floor, '() -> Integer'
+RDL.type :Integer, :imag, '() -> Integer r {{ r==0 }}'
+RDL.type :Integer, :imaginary, '() -> Integer r {{ r==0 }}'
+RDL.type :Integer, :integer?, '() -> true'
+RDL.type :Integer, :lcm, '(Integer) -> Integer'
+RDL.type :Integer, :next, '() -> Integer'
+RDL.type :Integer, :numerator, '() -> Integer'
+RDL.type :Integer, :odd?, '() -> %bool'
+RDL.type :Integer, :ord, '() -> Integer'
+RDL.type :Integer, :phase, '() -> %numeric'
+RDL.type :Integer, :pred, '() -> Integer'
+RDL.type :Integer, :rationalize, '() -> Rational'
+RDL.type :Integer, :rationalize, '(%numeric) -> Rational'
+RDL.type :Integer, :real, '() -> Integer'
+RDL.type :Integer, :real?, '() -> true'
+RDL.type :Integer, :remainder, '(Integer x {{ x!=0 }}) -> Integer r {{ r>=0 }}'
+RDL.type :Integer, :remainder, '(Float x {{ x!=0 }}) -> Float'
+RDL.type :Integer, :remainder, '(Rational x {{ x!=0 }}) -> Rational r {{ r>=0 }}'
+RDL.type :Integer, :remainder, '(BigDecimal x {{ x!=0 }}) -> BigDecimal'
+RDL.type :Integer, :round, '() -> Integer'
+RDL.type :Integer, :round, '(%numeric) -> %numeric'
+RDL.pre(:Integer, :round) { |x| x!=0 && if x.is_a?(Complex) then x.imaginary==0 && (if x.real.is_a?(Float)||x.real.is_a?(BigDecimal) then !x.real.infinite? && !x.real.nan? else true end) elsif x.is_a?(Float) then x!=Float::INFINITY && !x.nan? elsif x.is_a?(BigDecimal) then x!=BigDecimal::INFINITY && !x.nan? else true end} #Also, x must be in range [-2**31, 2**31].
+RDL.type :Integer, :size, '() -> Integer'
+RDL.type :Integer, :succ, '() -> Integer'
+RDL.type :Integer, :times, '() { (Integer) -> %any } -> Integer'
+RDL.type :Integer, :times, '() -> Enumerator<Integer>'
+RDL.type :Integer, :to_c, '() -> Complex r {{ r.imaginary==0 }}'
+RDL.type :Integer, :to_f, '() -> Float'
+RDL.type :Integer, :to_i, '() -> Integer'
+RDL.type :Integer, :to_int, '() -> Integer'
+RDL.type :Integer, :to_r, '() -> Rational'
+RDL.type :Integer, :truncate, '() -> Integer'
+RDL.type :Integer, :upto, '(Integer) { (Integer) -> %any } -> Integer'
+RDL.type :Integer, :upto, '(Integer) -> Enumerator<Integer>'
+RDL.type :Integer, :zero?, '() -> %bool'

data/lib/types/core/io.rb

@@ -0,0 +1,101 @@
+RDL.nowrap :IO # Do not wrap this class. Leads to mysterious errors.
+
+RDL.type :IO, :initialize, '(Integer fd, ?Integer mode, ?Integer opt) -> self'
+RDL.type :IO, 'self.binread', '(String name, ?Integer length, ?Integer offset) -> String'
+RDL.type :IO, 'self.binwrite', '(String name, String, ?Integer offset, %open_args) -> Integer'
+RDL.type :IO, 'self.copy_stream', '(String or IO src, String or IO dst, ?Integer copy_length, ?Integer src_offset) -> Integer'
+RDL.rdl_alias :IO, 'self.for_fd', 'initialize'
+RDL.type :IO, 'self.foreach', '(String name, ?String sep, ?Integer limit, %open_args) { (String) -> %any } -> nil'
+RDL.type :IO, 'self.foreach', '(String name, ?String sep, ?Integer limit, %open_args) -> Enumerator<String>'
+RDL.type :IO, 'self.open', '(Integer fd, ?String mode, %open_args) -> IO'
+RDL.type :IO, 'self.open', '(Integer fd, ?String mode, %open_args) { (IO) -> t } -> t'
+RDL.type :IO, 'self.pipe', '(?String ext_or_ext_int_enc, %open_args) -> [IO, IO]'
+RDL.type :IO, 'self.pipe', '(?String ext_enc, ?String int_enc, %open_args) -> [IO, IO]'
+RDL.type :IO, 'self.pipe', '(?String ext_or_ext_int_enc, %open_args) { ([IO, IO]) -> t } -> t'
+RDL.type :IO, 'self.pipe', '(?String ext_enc, ?String int_enc, %open_args) { ([IO, IO]) -> t } -> t'
+RDL.type :IO, 'self.popen', '(?Hash<String, String> env, String cmd, ?String mode, %open_args) -> IO'
+RDL.type :IO, 'self.popen', '(?Hash<String, String> env, String cmd, ?String mode, %open_args) { (IO) -> t } -> t'
+RDL.type :IO, 'self.read', '(String name, ?Integer length, ?Integer offset, %open_args) -> String'
+RDL.type :IO, 'self.readlines', '(String name, ?String sep, ?Integer limit, %open_args) -> Array<String>'
+RDL.type :IO, 'self.select', '(Array<IO> read_array, ?Array<IO> write_array, ?Array<IO> error_array, ?Integer timeout) -> Array<IO> or nil'
+RDL.type :IO, 'self.sysopen', '(String path, ?String mode, ?String perm) -> Integer' # TODO unsure of RDL.type of perm
+RDL.type :IO, 'self.try_convert', '([to_io: () -> IO]) -> IO or nil'
+RDL.type :IO, 'self.write', '(String name, String, ?Integer offset, %open_args) -> Integer'
+RDL.type :IO, :<<, '([to_s: () -> String]) -> self'
+RDL.type :IO, :advise, '(:normal or :sequence or :random or :willneed or :dontneed or :noreuse, ?Integer offset, ?Integer len) -> nil'
+RDL.type :IO, :autoclose=, '(%bool) -> %bool'
+RDL.type :IO, :autoclose?, '() -> %bool'
+RDL.type :IO, :binmode, '() -> self'
+RDL.type :IO, :binmode?, '() -> %bool'
+RDL.rdl_alias :IO, :bytes, :each_byte # deprecated
+RDL.rdl_alias :IO, :chars, :each_char # deprecated
+RDL.type :IO, :close, '() -> nil'
+RDL.type :IO, :close_on_exec=, '(%bool) -> %bool'
+RDL.type :IO, :close_on_exec?, '() -> %bool'
+RDL.type :IO, :close_read, '() -> nil'
+RDL.type :IO, :close_write, '() -> nil'
+RDL.type :IO, :closed?, '() -> %bool'
+RDL.rdl_alias :IO, :codepoints, :each_codepoint # deprecated
+RDL.type :IO, :each, '(?String sep, ?Integer limit) { (String) -> %any } -> self'
+RDL.type :IO, :each, '(?String sep, ?Integer limit) -> Enumerator<String>'
+RDL.rdl_alias :IO, :each_line, :each
+RDL.type :IO, :each_byte, '() { (Integer) -> %any } -> self'
+RDL.type :IO, :each_byte, '() -> Enumerator<Integer>'
+RDL.type :IO, :each_char, '() { (String) -> %any } -> self'
+RDL.type :IO, :each_char, '() -> Enumerator<String>'
+RDL.type :IO, :each_codepoint, '() { (Integer) -> %any } -> self'
+RDL.type :IO, :each_codepoint, '() -> Enumerator<Integer>'
+RDL.type :IO, :eof, '() -> %bool'
+RDL.rdl_alias :IO, :eof?, :eof
+RDL.type :IO, :external_enconding, '() -> Enconding'
+RDL.type :IO, :fcntl, '(Integer integer_cmd, String or Integer arg) -> Integer'
+RDL.type :IO, :fdatasync, '() -> 0 or nil'
+RDL.type :IO, :fileno, '() -> Integer'
+RDL.type :IO, :flush, '() -> self'
+RDL.type :IO, :fsync, '() -> 0 or nil'
+RDL.type :IO, :getbyte, '() -> Integer or nil'
+RDL.type :IO, :getc, '() -> String or nil'
+RDL.type :IO, :gets, '(?String sep, ?Integer limit) -> String or nil'
+RDL.type :IO, :inspect, '() -> String'
+RDL.type :IO, :internal_encoding, '() -> Encoding'
+RDL.type :IO, :ioctl, '(Integer integer_cmd, String or Integer arg) -> Integer'
+RDL.type :IO, :isatty, '() -> %bool'
+RDL.type :IO, :lineno, '() -> Integer'
+RDL.type :IO, :lineno=, '(Integer) -> Integer'
+RDL.rdl_alias :IO, :lines, :each_line # deprecated
+RDL.type :IO, :pid, '() -> Integer'
+RDL.type :IO, :pos, '() -> Integer'
+RDL.type :IO, :pos=, '(Integer) -> Integer'
+RDL.type :IO, :print, '(*[to_s: () -> String]) -> nil'
+RDL.type :IO, :printf, '(String format_string, *%any) -> nil'
+RDL.type :IO, :putc, '(Numeric or String) -> %any'
+RDL.type :IO, :puts, '(*[to_s: () -> String]) -> nil'
+RDL.type :IO, :read, '(?Integer length, ?String outbuf) -> String or nil'
+RDL.type :IO, :read_nonblock, '(Integer maxlen) -> String'
+RDL.type :IO, :read_nonblock, '(Integer maxlen, String outbuf) -> String outbuf'
+RDL.type :IO, :readbyte, '() -> Integer'
+RDL.type :IO, :readchar, '() -> String'
+RDL.type :IO, :readline, '(?String sep, ?Integer limit) -> String'
+RDL.type :IO, :readlines, '(?String sep, ?Integer limit) -> Array<String>'
+RDL.type :IO, :readpartial, '(Integer maxlen) -> String'
+RDL.type :IO, :readpartial, '(Integer maxlen, String outbuf) -> String outbuf'
+RDL.type :IO, :reopen, '(IO other_IO) -> IO'
+RDL.type :IO, :reopen, '(String path, String mode_str) -> IO'
+RDL.type :IO, :rewrind, '() -> 0'
+RDL.type :IO, :seek, '(Integer amount, ?Integer whence) -> 0'
+RDL.type :IO, :set_encoding, '(?String or Encoding ext_or_ext_int_enc) -> self'
+RDL.type :IO, :set_encoding, '(?String or Encoding ext_enc, ?String or Encoding int_enc) -> self'
+RDL.type :IO, :stat, '() -> File::Stat'
+RDL.type :IO, :sync, '() -> %bool'
+RDL.type :IO, :sync=, '(%bool) -> %bool'
+RDL.type :IO, :sysread, '(Integer maxlen, String outbuf) -> String'
+RDL.type :IO, :sysseek, '(Integer amount, ?Integer whence) -> Integer'
+RDL.type :IO, :syswrite, '(String) -> Integer'
+RDL.type :IO, :tell, '() -> Integer'
+RDL.rdl_alias :IO, :to_i, :fileno
+RDL.type :IO, :to_io, '() -> self'
+RDL.type :IO, :tty?, '() -> %bool'
+RDL.type :IO, :ungetbyte, '(String or Integer) -> nil'
+RDL.type :IO, :ungetc, '(String) -> nil'
+RDL.type :IO, :write, '(String) -> Integer'
+RDL.type :IO, :write_nonbloc, '(String, ?Integer options) -> Integer'

data/lib/types/core/kernel.rb

@@ -0,0 +1,89 @@
+RDL.nowrap :Kernel
+
+# RDL.type :Kernel, 'self.Array', '([to_ary: () -> Array<t>]) -> Array<t>'
+# RDL.type :Kernel, 'self.Array', '([to_a: () -> Array<t>]) -> Array<t>'
+RDL.type :Kernel, 'self.Complex', '(Numeric x, Numeric y) -> Complex'
+RDL.type :Kernel, 'self.Complex', '(String x) -> Complex'
+RDL.type :Kernel, 'self.Float', '(Numeric x) -> Float'
+# RDL.type :Kernel, 'self.Float', '(x : [to_f : () -> Float]) -> Float'
+# RDL.type :Kernel, 'self.Hash', '(x : [to_hash : () -> Hash<k,v>]) -> Hash<k,v>'
+RDL.type :Kernel, 'self.Hash', '(nil x) -> Hash<k,v>'
+# RDL.type :Kernel, 'self.Hash, '(x : []) -> Hash<k,v>'
+RDL.type :Kernel, 'self.Integer', '(Numeric or String arg, ?Integer base) -> Integer'
+# RDL.type :Kernel, 'self.Integer', '(arg : [to_int : () -> Integer], base : ?Integer) -> Integer'
+# RDL.type :Kernel, 'self.Integer', '(arg : [to_i : () -> Integer], base : ?Integer) -> Integer'
+RDL.type :Kernel, 'self.Rational', '(Numeric x, Numeric y) -> Rational'
+RDL.type :Kernel, 'self.Rational', '(String x) -> Rational'
+# RDL.type :Kernel, 'self.String', '(arg : [to_s : () -> String]) -> String'
+RDL.type :Kernel, 'self.__callee__', '() -> Symbol or nil'
+RDL.type :Kernel, 'self.__dir__', '() -> String or nil'
+RDL.type :Kernel, 'self.__method__', '() -> Symbol or nil'
+RDL.type :Kernel, 'self.`', '(String) -> String'
+RDL.type :Kernel, 'self.abort', '(?String msg) -> %bot'
+RDL.type :Kernel, 'self.at_exit', '() { () -> %any} -> Proc' # TODO: Fix proc
+RDL.type :Kernel, 'self.autoload', '(String or Symbol module, String filename) -> nil'
+RDL.type :Kernel, 'self.autoload?', '(Symbol or String name) -> String or nil'
+RDL.type :Kernel, 'self.binding', '() -> Binding'
+RDL.type :Kernel, 'self.block_given?', '() -> %bool'
+RDL.type :Kernel, 'self.caller', '(?Integer start, ?Integer length) -> Array<String> or nil'
+RDL.type :Kernel, 'self.caller', '(Range) -> Array<String> or nil'
+RDL.type :Kernel, 'self.caller_locations', '(?Integer start, ?Integer length) -> Array<String> or nil'
+RDL.type :Kernel, 'self.caller_locations', '(Range) -> Array<String> or nil'
+# RDL.type :Kernel, 'self.catch' # TODO
+RDL.type :Kernel, 'self.eval', '(String, ?Binding, ?String filename, ?Integer lineno) -> %any'
+# RDL.type :Kernel, 'self.exec' #TODO
+RDL.type :Kernel, 'self.exit', '() -> %bot'
+RDL.type :Kernel, 'self.exit', '(Integer or %bool status) -> %bot'
+RDL.type :Kernel, 'self.exit!', '(Integer or %bool status) -> %bot'
+RDL.type :Kernel, 'self.fail', '() -> %bot'
+RDL.type :Kernel, 'self.fail', '(String) -> %bot'
+RDL.type :Kernel, 'self.fail', '(Class, Array<String>) -> %bot'
+RDL.type :Kernel, 'self.fail', '(Class, String, Array<String>) -> %bot'
+# RDL.type :Kernel, 'self.fail', '(String or [exception : () -> String], ?String, ?Array<String>) -> %any'
+# RDL.type :Kernel, 'self.fork' #TODO
+RDL.type :Kernel, 'self.format', '(String format, *%any args) -> String'
+RDL.type :Kernel, 'self.gets', '(?String, ?Integer) -> String'
+RDL.type :Kernel, 'self.global_variables', '() -> Array<Symbol>'
+RDL.type :Kernel, 'self.iterator?', '() -> %bool'
+# RDL.type :Kernel, 'self.lambda' # TODO
+RDL.type :Kernel, 'self.load', '(String filename, ?%bool) -> %bool'
+RDL.type :Kernel, 'self.local_variables', '() -> Array<Symbol>'
+# RDL.type :Kernel, 'self.loop' #TODO
+RDL.type :Kernel, 'self.open', '(String path, ?(String or Integer) mode, ?String perm) -> IO or nil'
+# RDL.type :Kernel, 'self.open', '(String path, mode : ?String, perm: ?String) {(IO) -> %any)} -> %any' # TODO: returns block value
+# RDL.type :Kernel, 'self.open', '(String path, mode : ?Integer, perm: ?String) {(IO) -> %any)} -> %any' # TODO: returns block value
+# RDL.type :Kernel, 'self.p', '(*[inspect : () -> String]) -> nil'
+# RDL.type :Kernel, 'self.print', '(*[to_s : () -> String] -> nil'
+RDL.type :Kernel, 'self.printf', '(?IO, ?String, *%any) -> nil'
+RDL.type :Kernel, :proc, '() {(*%any) -> %any} -> Proc' # TODO more precise
+RDL.type :Kernel, 'self.putc', '(Integer) -> Integer'
+RDL.type :Kernel, 'self.puts', '(*[to_s : () -> String]) -> nil'
+RDL.type :Kernel, 'self.raise', '() -> %bot'
+# RDL.type :Kernel, 'self.raise', '(String or [exception : () -> String], ?String, ?Array<String>) -> %any'
+# TODO: above same as fail?
+RDL.type :Kernel, 'self.rand', '(Integer or Range max) -> Numeric'
+RDL.type :Kernel, 'self.readline', '(?String, ?Integer) -> String'
+RDL.type :Kernel, 'self.readlines', '(?String, ?Integer) -> Array<String>'
+RDL.type :Kernel, 'self.require', '(String name) -> %bool'
+RDL.type :Kernel, 'self.require_relative', '(String name) -> %bool'
+RDL.type :Kernel, 'self.select',
+          '(Array<IO> read, ?Array<IO> write, ?Array<IO> error, ?Integer timeout) -> Array<String>' # TODO: return RDL.type?
+# RDL.type :Kernel, 'self.set_trace_func' #TODO
+RDL.type :Kernel, 'self.sleep', '(Numeric duration) -> Integer'
+# RDL.type :Kernel, 'self.spawn' #TODO
+RDL.rdl_alias :Kernel, :sprintf, :format # TODO: are they aliases?
+RDL.type :Kernel, 'self.srand', '(Numeric number) -> Numeric'
+RDL.type :Kernel, 'self.syscall', '(Integer num, *%any args) -> %any' # TODO : ?
+# RDL.type :Kernel, 'self.system' # TODO
+RDL.type :Kernel, 'self.test', '(String cmd, String file1, ?String file2) -> %bool or Time' # TODO: better, dependent RDL.type?
+# RDL.type :Kernel, 'self.throw' # TODO
+# RDL.type :Kernel, 'self.trace_var' # TODO
+# RDL.type :Kernel, 'self.trap' # TODO
+# RDL.type :Kernel, 'self.untrace_var' # TODO
+RDL.type :Kernel, 'self.warn', '(*String msg) -> nil'
+RDL.type :Kernel, :clone, '() -> self'
+RDL.type :Kernel, :raise, '() -> %bot'
+RDL.type :Kernel, :raise, '(String) -> %bot'
+RDL.type :Kernel, :raise, '(Class, String, Array<String>) -> %bot'
+RDL.type :Kernel, :send, '(String or Symbol, *%any) -> %any'
+RDL.type :Kernel, :send, '(String or Symbol, *%any) { (*%any) -> %any } -> %any'