rdl 2.0.1 → 2.1.0

data/lib/types/core/random.rb

@@ -0,0 +1,13 @@
+RDL.nowrap :Random
+
+RDL.type :Random, :initialize, '(?Integer seed) -> self' # Floats can be passed also, but just truncated to int?
+RDL.type :Random, 'self.new_seed', '() -> Integer'
+RDL.type :Random, 'self.rand', '(?Integer max) -> Numeric'
+RDL.type :Random, 'self.srand', '(?Integer number) -> Numeric old_seed'
+
+RDL.type :Random, :==, '(%any) -> %bool'
+RDL.type :Random, :bytes, '(Integer size) -> String'
+RDL.type :Random, :rand, '(?(Integer or Range<Integer>) max) -> Integer'
+RDL.type :Random, :rand, '(?(Float or Range<Float>) max) -> Float'
+RDL.pre(:Random, :rand) { |max| max > 0 }
+RDL.type :Random, :seed, '() -> Integer'

data/lib/types/core/range.rb

@@ -0,0 +1,37 @@
+RDL.nowrap :Range
+
+# Range is immutable, so covariant
+RDL.type_params(:Range, [:t], nil, variance: [:+]) { |t| t.member?(self.begin) && t.member?(self.end) } # TODO: And instantiated if t instantiated
+
+# TODO: Parse error
+#RDL.type :Range, :Range, 'self.new', '(begin: [<=> : (u, u) -> Integer], end: [<=>, (u, u) -> Integer], exclude_end: ?%bool) -> Range<u>'
+RDL.type :Range, :==, '(%any obj) -> %bool'
+RDL.type :Range, :===, '(%any obj) -> %bool'
+RDL.type :Range, :begin, '() -> t'
+RDL.type :Range, :bsearch, '() { (t) -> %bool } -> u or nil'
+RDL.type :Range, :cover?, '(%any obj) -> %bool'
+RDL.type :Range, :each, '() { (t) -> %any } -> self'
+RDL.type :Range, :each, '() -> Enumerator<t>'
+RDL.type :Range, :end, '() -> t'
+RDL.rdl_alias :Range, :eql?, :==
+RDL.type :Range, :exclude_end?, '() -> %bool'
+RDL.type :Range, :first, '() -> t'
+RDL.type :Range, :first, '(Integer n) -> Array<t>'
+RDL.type :Range, :hash, '() -> Integer'
+RDL.type :Range, :include?, '(%any obj) -> %bool'
+RDL.type :Range, :inspect, '() -> String'
+RDL.type :Range, :last, '() -> t'
+RDL.type :Range, :last, '(Integer n) -> Array<t>'
+RDL.type :Range, :max, '() -> t'
+RDL.type :Range, :max, '() { (t, t) -> Integer } -> t'
+RDL.type :Range, :max, '(Integer n) -> Array<t>'
+RDL.type :Range, :max, '(Integer n) { (t, t) -> Integer } -> Array<t>'
+RDL.rdl_alias :Range, :member?, :include
+RDL.type :Range, :min, '() -> t'
+RDL.type :Range, :min, '() { (t, t) -> Integer } -> t'
+RDL.type :Range, :min, '(Integer n) -> Array<t>'
+RDL.type :Range, :min, '(Integer n) { (t, t) -> Integer } -> Array<t>'
+RDL.type :Range, :size, '() -> Integer or nil'
+RDL.type :Range, :step, '(?Integer n) { (t) -> %any } -> self'
+RDL.type :Range, :step, '(?Integer n) -> Enumerator<t>'
+RDL.type :Range, :to_s, '() -> String'

data/lib/types/core/rational.rb

@@ -0,0 +1,207 @@
+RDL.nowrap :Rational
+
+RDL.type :Rational, :%, '(Integer) -> Rational'
+RDL.pre(:Rational, :%) { |x| x!=0}
+RDL.type :Rational, :%, '(Float) -> Float'
+RDL.pre(:Rational, :%) { |x| x!=0&&!x.nan?}
+RDL.type :Rational, :%, '(Rational) -> Rational'
+RDL.pre(:Rational, :%) { |x| x!=0}
+RDL.type :Rational, :%, '(BigDecimal) -> BigDecimal'
+RDL.pre(:Rational, :%) { |x| x!=0&&!x.nan?}
+
+RDL.type :Rational, :*, '(Integer) -> Rational'
+RDL.type :Rational, :*, '(Float) -> Float'
+RDL.type :Rational, :*, '(Rational) -> Rational'
+RDL.type :Rational, :*, '(BigDecimal) -> BigDecimal'
+RDL.type :Rational, :*, '(Complex) -> Complex'
+RDL.pre(:Rational, :*) { |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 :Rational, :+, '(Integer) -> Rational'
+RDL.type :Rational, :+, '(Float) -> Float'
+RDL.type :Rational, :+, '(Rational) -> Rational'
+RDL.type :Rational, :+, '(BigDecimal) -> BigDecimal'
+RDL.type :Rational, :+, '(Complex) -> Complex'
+
+RDL.type :Rational, :-, '(Integer) -> Rational'
+RDL.type :Rational, :-, '(Float) -> Float'
+RDL.type :Rational, :-, '(Rational) -> Rational'
+RDL.type :Rational, :-, '(BigDecimal) -> BigDecimal'
+RDL.type :Rational, :-, '(Complex) -> Complex'
+
+RDL.type :Rational, :-@, '() -> Rational'
+
+RDL.type :Rational, :+@, '() -> Rational'
+
+RDL.type :Rational, :**, '(Integer) -> %numeric'
+RDL.type :Rational, :**, '(Float) -> %numeric'
+RDL.type :Rational, :**, '(Rational) -> %numeric'
+RDL.type :Rational, :**, '(BigDecimal) -> BigDecimal'
+RDL.pre(:Rational, :**) { |x| x!=BigDecimal::INFINITY && if self<0 then x<=-1||x>=0 else true end}
+RDL.post(:Rational, :**) { |r,x| r.real?}
+RDL.type :Rational, :**, '(Complex) -> Complex'
+RDL.pre(:Rational, :**) { |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 :Rational, :/, '(Integer) -> Rational'
+RDL.pre(:Rational, :/) { |x| x!=0}
+RDL.type :Rational, :/, '(Float) -> Float'
+RDL.pre(:Rational, :/) { |x| x!=0}
+RDL.type :Rational, :/, '(Rational) -> Rational'
+RDL.pre(:Rational, :/) { |x| x!=0}
+RDL.type :Rational, :/, '(BigDecimal) -> BigDecimal'
+RDL.pre(:Rational, :/) { |x| x!=0}
+RDL.type :Rational, :/, '(Complex) -> Complex'
+RDL.pre(:Rational, :/) { |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 :Rational, :<, '(Integer) -> %bool'
+RDL.type :Rational, :<, '(Float) -> %bool'
+RDL.pre(:Rational, :<) { |x| !x.nan?}
+RDL.type :Rational, :<, '(Rational) -> %bool'
+RDL.type :Rational, :<, '(BigDecimal) -> %bool'
+RDL.pre(:Rational, :<) { |x| !x.nan?}
+
+RDL.type :Rational, :<=, '(Integer) -> %bool'
+RDL.type :Rational, :<=, '(Float) -> %bool'
+RDL.pre(:Rational, :<=) { |x| !x.nan?}
+RDL.type :Rational, :<=, '(Rational) -> %bool'
+RDL.type :Rational, :<=, '(BigDecimal) -> %bool'
+RDL.pre(:Rational, :<=) { |x| !x.nan?}
+
+RDL.type :Rational, :>, '(Integer) -> %bool'
+RDL.type :Rational, :>, '(Float) -> %bool'
+RDL.pre(:Rational, :>) { |x| !x.nan?}
+RDL.type :Rational, :>, '(Rational) -> %bool'
+RDL.type :Rational, :>, '(BigDecimal) -> %bool'
+RDL.pre(:Rational, :>) { |x| !x.nan?}
+
+RDL.type :Rational, :>=, '(Integer) -> %bool'
+RDL.type :Rational, :>=, '(Float) -> %bool'
+RDL.pre(:Rational, :>=) { |x| !x.nan?}
+RDL.type :Rational, :>=, '(Rational) -> %bool'
+RDL.type :Rational, :>=, '(BigDecimal) -> %bool'
+RDL.pre(:Rational, :>=) { |x| !x.nan?}
+
+RDL.type :Rational, :<=>, '(Integer) -> Object'
+RDL.post(:Rational, :<=>) { |r,x| r == -1 || r==0 || r==1}
+RDL.type :Rational, :<=>, '(Float) -> Object'
+RDL.post(:Rational, :<=>) { |r,x| r == -1 || r==0 || r==1}
+RDL.type :Rational, :<=>, '(Rational) -> Object'
+RDL.post(:Rational, :<=>) { |r,x| r == -1 || r==0 || r==1}
+RDL.type :Rational, :<=>, '(BigDecimal) -> Object'
+RDL.post(:Rational, :<=>) { |r,x| r == -1 || r==0 || r==1}
+
+RDL.type :Rational, :==, '(Object) -> %bool'
+
+RDL.type :Rational, :abs, '() -> Rational'
+RDL.post(:Rational, :abs) { |r,x| r >= 0 }
+
+RDL.type :Rational, :abs2, '() -> Rational'
+RDL.post(:Rational, :abs2) { |r,x| r >= 0 }
+
+RDL.type :Rational, :angle, '() -> %numeric'
+RDL.post(:Rational, :angle) { |r,x| r == 0 || r == Math::PI}
+
+RDL.type :Rational, :arg, '() -> %numeric'
+RDL.post(:Rational, :arg) { |r,x| r == 0 || r == Math::PI}
+
+RDL.type :Rational, :div, '(Integer) -> Integer'
+RDL.pre(:Rational, :div) { |x| x!=0}
+RDL.type :Rational, :div, '(Float) -> Integer'
+RDL.pre(:Rational, :div) { |x| x!=0 && !x.nan?}
+RDL.type :Rational, :div, '(Rational) -> Integer'
+RDL.pre(:Rational, :div) { |x| x!=0}
+RDL.type :Rational, :div, '(BigDecimal) -> Integer'
+RDL.pre(:Rational, :div) { |x| x!=0 && !x.nan?}
+
+RDL.type :Rational, :modulo, '(Integer) -> Rational'
+RDL.pre(:Rational, :modulo) { |x| x!=0}
+RDL.type :Rational, :modulo, '(Float) -> Float'
+RDL.pre(:Rational, :modulo) { |x| x!=0&&!x.nan?}
+RDL.type :Rational, :modulo, '(Rational) -> Rational'
+RDL.pre(:Rational, :modulo) { |x| x!=0}
+RDL.type :Rational, :modulo, '(BigDecimal) -> BigDecimal'
+RDL.pre(:Rational, :modulo) { |x| x!=0&&!x.nan?}
+
+RDL.type :Rational, :ceil, '() -> Integer'
+RDL.type :Rational, :ceil, '(Integer) -> %numeric'
+
+RDL.type :Rational, :denominator, '() -> Integer'
+RDL.post(:Rational, :denominator) { |r,x| r > 0 }
+
+RDL.type :Rational, :divmod, '(%real) -> [%real, %real]'
+RDL.pre(:Rational, :divmod) { |x| x!=0 && if x.is_a?(BigDecimal) then !x.nan? else true end}
+
+RDL.type :Rational, :equal?, '(Object) -> %bool'
+
+RDL.type :Rational, :fdiv, '(Integer) -> Float'
+RDL.type :Rational, :fdiv, '(Float) -> Float'
+RDL.type :Rational, :fdiv, '(Rational) -> Float'
+RDL.type :Rational, :fdiv, '(BigDecimal) -> Float'
+RDL.type :Rational, :fdiv, '(Complex) -> Float'
+RDL.pre(:Rational, :fdiv) { |x| x.imaginary==0 && x.real.class != Float}
+
+RDL.type :Rational, :floor, '() -> Integer'
+
+RDL.type :Rational, :floor, '(Integer) -> %numeric'
+
+RDL.type :Rational, :hash, '() -> Integer'
+
+RDL.type :Rational, :inspect, '() -> String'
+
+RDL.type :Rational, :numerator, '() -> Integer'
+
+RDL.type :Rational, :phase, '() -> %numeric'
+
+RDL.type :Rational, :quo, '(Integer) -> Rational'
+RDL.pre(:Rational, :quo) { |x| x!=0}
+RDL.type :Rational, :quo, '(Float) -> Float'
+RDL.pre(:Rational, :quo) { |x| x!=0}
+RDL.type :Rational, :quo, '(Rational) -> Rational'
+RDL.pre(:Rational, :quo) { |x| x!=0}
+RDL.type :Rational, :quo, '(BigDecimal) -> BigDecimal'
+RDL.pre(:Rational, :quo) { |x| x!=0}
+RDL.type :Rational, :quo, '(Complex) -> Complex'
+RDL.pre(:Rational, :quo) { |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 :Rational, :rationalize, '() -> Rational'
+
+RDL.type :Rational, :rationalize, '(%numeric) -> Rational'
+RDL.pre(:Rational, :quo) { |x| if x.is_a?(Float) then x!=Float::INFINITY && !x.nan? else true end}
+
+RDL.type :Rational, :round, '() -> Integer'
+
+RDL.type :Rational, :round, '(Integer) -> %numeric'
+
+RDL.type :Rational, :to_f, '() -> Float'
+RDL.pre(:Rational, :to_f) { self<=Float::MAX}
+
+RDL.type :Rational, :to_i, '() -> Integer'
+
+RDL.type :Rational, :to_r, '() -> Rational'
+
+RDL.type :Rational, :to_s, '() -> String'
+
+RDL.type :Rational, :truncate, '() -> Integer'
+
+RDL.type :Rational, :truncate, '(Integer) -> Rational'
+
+RDL.type :Rational, :zero?, '() -> %bool'
+
+RDL.type :Rational, :conj, '() -> Rational'
+RDL.type :Rational, :conjugate, '() -> Rational'
+
+RDL.type :Rational, :imag, '() -> Integer'
+RDL.post(:Rational, :imag) { |r,x| r == 0 }
+RDL.type :Rational, :imaginary, '() -> Integer'
+RDL.post(:Rational, :imaginary) { |r,x| r == 0 }
+
+RDL.type :Rational, :real, '() -> Rational'
+
+RDL.type :Rational, :real?, '() -> true'
+
+RDL.type :Rational, :to_c, '() -> Complex'
+RDL.post(:Rational, :to_c) { |r,x| r.imaginary == 0 }
+
+RDL.type :Rational, :coerce, '(Integer) -> [Rational, Rational]'
+RDL.type :Rational, :coerce, '(Float) -> [Float, Float]'
+RDL.type :Rational, :coerce, '(Rational) -> [Rational, Rational]'
+RDL.type :Rational, :coerce, '(Complex) -> [%numeric, %numeric]'

data/lib/types/core/regexp.rb

@@ -0,0 +1,28 @@
+RDL.nowrap :Regexp
+
+RDL.type :Regexp, 'self.escape', '(String or Symbol) -> String'
+RDL.type :Regexp, 'self.last_match', '() -> MatchData', wrap: false # Can't wrap or messes up MatchData
+RDL.type :Regexp, 'self.last_match', '(Integer) -> String', wrap: false
+RDL.type :Regexp, :initialize, '(String, ?%any options, ?String kcode) -> self'
+RDL.type :Regexp, :initialize, '(Regexp) -> self'
+RDL.rdl_alias :Regexp, 'self.compile', 'self.new'
+RDL.rdl_alias :Regexp, 'self.quote', 'self.escape'
+RDL.type :Regexp, 'self.try_convert', '(%any obj) -> Regexp or nil'
+RDL.type :Regexp, 'self.union', '(*(Regexp or String) pats) -> Regexp'
+RDL.type :Regexp, 'self.union', '(Array<Regexp or String> pats) -> Regexp'
+RDL.type :Regexp, :==, '(%any other) -> %bool'
+RDL.type :Regexp, :===, '(%any other) -> %bool', wrap: false # Can't wrap this of it messes with $1, $2, etc as well!
+RDL.type :Regexp, :=~, '(String str) -> Integer or nil', wrap: false # Can't wrap this or it will mess with $1, $2, etc
+RDL.type :Regexp, :casefold?, '() -> %bool'
+RDL.type :Regexp, :encoding, '() -> Encoding'
+RDL.rdl_alias :Regexp, :eql?, :==
+RDL.type :Regexp, :fixed_encoding?, '() -> %bool'
+RDL.type :Regexp, :hash, '() -> Integer'
+RDL.type :Regexp, :inspect, '() -> String'
+RDL.type :Regexp, :match, '(String, ?Integer) -> MatchData or nil'
+RDL.type :Regexp, :named_captures, '() -> Hash<String, Array<Integer>>'
+RDL.type :Regexp, :names, '() -> Array<String>'
+RDL.type :Regexp, :options, '() -> Integer'
+RDL.type :Regexp, :source, '() -> String'
+RDL.type :Regexp, :to_s, '() -> String'
+RDL.type :Regexp, :~, '() -> Integer or nil'

data/lib/types/core/set.rb

@@ -0,0 +1,56 @@
+RDL.nowrap :Set
+
+RDL.type_params :Set, [:t], :all?
+
+RDL.type :Set, 'self.[]', '(*u) -> Set<u>'
+RDL.type :Set, :initialize, '(?Enumerable<u> enum) -> self<u>'
+
+RDL.rdl_alias :Set, :&, :intersection
+RDL.type :Set, :+, '(Enumerable<t> enum) -> Set<t>'
+RDL.rdl_alias :Set, :-, :difference
+RDL.rdl_alias :Set, :<, :proper_subset?
+RDL.rdl_alias :Set, :<<, :add
+RDL.rdl_alias :Set, :<=, :subset?
+RDL.rdl_alias :Set, :>, :proper_superset?
+RDL.rdl_alias :Set, :>=, :superset?
+RDL.type :Set, :^, '(Enumerable<t> enum) -> Set<t>'
+RDL.type :Set, :add, '(t o) -> self'
+RDL.type :Set, :add?, '(t o) -> self or nil'
+RDL.type :Set, :classify, '() { (u) -> t } -> Hash<u, Set<t>>'
+RDL.type :Set, :clear, '() -> self'
+RDL.rdl_alias :Set, :collect!, :map
+RDL.type :Set, :delete, '(t o) -> self'
+RDL.type :Set, :delete?, '(t o) -> self or nil'
+RDL.type :Set, :delete_if, '() { (t) -> %bool } -> self'
+RDL.type :Set, :difference, '(Enumerable<t> enum) -> Set<t>'
+RDL.type :Set, :disjoint?, '(Set<t> set) -> %bool'
+#??RDL.type :Set, :divide, '() { BLOCK }'
+RDL.type :Set, :each, '() { (t) -> %any } -> self'
+RDL.type :Set, :each, '() -> Enumerator<t>'
+RDL.type :Set, :empty?, '() -> %bool'
+RDL.type :Set, :flatten!, '() -> self or nil'
+RDL.post(:Set, :flatten!) { |r| (not r) || (r.none? { |x| x.is_a?(Set) }) }
+RDL.type :Set, :flatten, '() -> Set'
+RDL.post(:Set, :flatten) { |r| r.none? { |x| x.is_a?(Set) } }
+# RDL.type :Set, :flatten_merge, '(set : XXXX, seen : ?XXXX)' #??
+RDL.rdl_alias :Set, :include?, :member?
+RDL.type :Set, :intersect?, '(Set<t> set) -> %bool'
+RDL.type :Set, :intersection, '(Enumerable<t> enum) -> Set<t>'
+RDL.type :Set, :keep_if, '() { (t) -> %bool } -> self'
+RDL.rdl_alias :Set, :length, :size
+RDL.type :Set, :map!, '() { (t) -> u } -> Set<u>' # !! Fix, actually changes RDL.type!
+RDL.type :Set, :member?, '(t o) -> %bool'
+RDL.type :Set, :merge, '(Enumerable<t> enum) -> self'
+RDL.type :Set, :proper_subset?, '(Set<t> set) -> %bool'
+RDL.type :Set, :proper_superset?, '(Set<t> set) -> %bool'
+RDL.type :Set, :reject!, '() { (t) -> %bool } -> self or nil'
+RDL.type :Set, :replace, '(Enumerable<u> enum) -> Set<u>' # !! Fix, actually changes RDL.type!
+RDL.type :Set, :select!, '() { (t) -> %bool } -> self or nil'
+RDL.type :Set, :size, '() -> Integer'
+RDL.type :Set, :subset?, '(Set<t> set) -> %bool'
+RDL.type :Set, :subtract, '(Enumerable<t> enum) -> self'
+RDL.type :Set, :superset?, '(Set<t> set) -> %bool'
+RDL.type :Set, :to_a, '() -> Array<t>'
+#RDL.type :Set, :to_set, '(klass: ?Class, args : *XXXX) { BLOCK }' # ??
+RDL.rdl_alias :Set, :|, :+
+RDL.rdl_alias :Set, :union, :+

data/lib/types/core/string.rb

@@ -0,0 +1,140 @@
+RDL.nowrap :String
+RDL.type :String, :initialize, '(?String str) -> self new_str'
+RDL.type :String, :try_convert, '(Object obj) -> String or nil new_string'
+RDL.type :String, :%, '(Object) -> String'
+RDL.type :String, :*, '(Integer) -> String'
+RDL.type :String, :+, '(String) -> String'
+RDL.type :String, :<<, '(Object) -> String'
+RDL.type :String, :<=>, '(String other) -> Integer or nil ret'
+RDL.type :String, :==, '(%any) -> %bool'
+RDL.type :String, :===, '(%any) -> %bool'
+RDL.type :String, :=~, '(Object) -> Integer or nil', wrap: false # Wrapping this messes up $1 etc
+RDL.type :String, :[], '(Integer, ?Integer) -> String or nil'
+RDL.type :String, :[], '(Range<Integer> or Regexp) -> String or nil'
+RDL.type :String, :[], '(Regexp, Integer) -> String or nil'
+RDL.type :String, :[], '(Regexp, String) -> String or nil'
+RDL.type :String, :[], '(String) -> String or nil'
+RDL.type :String, :ascii_only?, '() -> %bool'
+RDL.type :String, :b, '() -> String'
+RDL.type :String, :bytes, '() -> Array' # TODO: bindings to parameterized (vars)
+RDL.type :String, :bytesize, '() -> Integer'
+RDL.type :String, :byteslice, '(Integer, ?Integer) -> String or nil'
+RDL.type :String, :byteslice, '(Range<Integer>) -> String or nil'
+RDL.type :String, :capitalize, '() -> String'
+RDL.type :String, :capitalize!, '() -> String or nil'
+RDL.type :String, :casecmp, '(String) -> nil or Integer'
+RDL.type :String, :center, '(Integer, ?String) -> String'
+RDL.type :String, :chars, '() -> Array'  #deprecated
+RDL.type :String, :chomp, '(?String) -> String'
+RDL.type :String, :chomp!, '(?String) -> String or nil'
+RDL.type :String, :chop, '() -> String'
+RDL.type :String, :chop!, '() -> String or nil'
+RDL.type :String, :chr, '() -> String'
+RDL.type :String, :clear, '() -> String'
+RDL.type :String, :codepoints, '() -> Array<Integer>' # TODO
+RDL.type :String, :codepoints, '() {(?%any) -> %any} -> Array<Integer>' # TODO
+RDL.type :String, :concat, '(Integer or Object) -> String'
+RDL.type :String, :count, '(String, *String) -> Integer'
+RDL.type :String, :crypt, '(String) -> String'
+RDL.type :String, :delete, '(String, *String) -> String'
+RDL.type :String, :delete!, '(String, *String) -> String or nil'
+RDL.type :String, :downcase, '() -> String'
+RDL.type :String, :downcase!, '() -> String or nil'
+RDL.type :String, :dump, '() -> String'
+RDL.type :String, :each_byte, '() {(Integer) -> %any} -> String'
+RDL.type :String, :each_byte, '() -> Enumerator'
+RDL.type :String, :each_char, '() {(String) -> %any} -> String'
+RDL.type :String, :each_char, '() -> Enumerator'
+RDL.type :String, :each_codepoint, '() {(Integer) -> %any} -> String'
+RDL.type :String, :each_codepoint, '() -> Enumerator'
+RDL.type :String, :each_line, '(?String) {(Integer) -> %any} -> String'
+RDL.type :String, :each_line, '(?String) -> Enumerator'
+RDL.type :String,  :empty?, '() -> %bool'
+# RDL.type :String, :encode, '(?Encoding, ?Encoding, *Symbol) -> String' # TODO: fix Hash arg:String,
+# RDL.type :String, :encode!, '(Encoding, ?Encoding, *Symbol) -> String'
+RDL.type :String, :encoding, '() -> Encoding'
+RDL.type :String, :end_with?, '(*String) -> %bool'
+RDL.type :String, :eql?, '(String) -> %bool'
+RDL.type :String, :force_encoding, '(String or Encoding) -> String'
+RDL.type :String, :getbyte, '(Integer) -> Integer or nil'
+RDL.type :String, :gsub, '(Regexp or String, String) -> String', wrap: false # Can't wrap these:String, , since they mess with $1 etc
+RDL.type :String, :gsub, '(Regexp or String, Hash) -> String', wrap: false
+RDL.type :String, :gsub, '(Regexp or String) {(String) -> %any } -> String', wrap: false
+RDL.type :String, :gsub, '(Regexp or String) ->  Enumerator', wrap: false
+RDL.type :String, :gsub, '(Regexp or String) -> String', wrap: false
+RDL.type :String, :gsub!, '(Regexp or String, String) -> String or nil', wrap: false
+RDL.type :String, :gsub!, '(Regexp or String) {(String) -> %any } -> String or nil', wrap: false
+RDL.type :String, :gsub!, '(Regexp or String) -> Enumerator', wrap: false
+RDL.type :String, :hash, '() -> Integer'
+RDL.type :String, :hex, '() -> Integer'
+RDL.type :String, :include?, '(String) -> %bool'
+RDL.type :String, :index, '(Regexp or String, ?Integer) -> Integer or nil'
+RDL.type :String, :replace, '(String) -> String'
+RDL.type :String, :insert, '(Integer, String) -> String'
+RDL.type :String, :inspect, '() -> String'
+RDL.type :String, :intern, '() -> Symbol'
+RDL.type :String, :length, '() -> Integer'
+RDL.type :String, :lines, '(?String) -> Array<String>'
+RDL.type :String, :ljust, '(Integer, ?String) -> String' # TODO
+RDL.type :String, :lstrip, '() -> String'
+RDL.type :String, :lstrip!, '() -> String or nil'
+RDL.type :String, :match, '(Regexp or String) -> MatchData'
+RDL.type :String, :match, '(Regexp or String, Integer) -> MatchData'
+RDL.type :String, :next, '() -> String'
+RDL.type :String, :next!, '() -> String'
+RDL.type :String, :oct, '() -> Integer'
+RDL.type :String, :ord, '() -> Integer'
+RDL.type :String, :partition, '(Regexp or String) -> Array<String>'
+RDL.type :String, :prepend, '(String) -> String'
+RDL.type :String, :reverse, '() -> String'
+RDL.type :String, :rindex, '(String or Regexp, ?Integer) -> Integer or nil' # TODO
+RDL.type :String, :rjust, '(Integer, ?String) -> String' # TODO
+RDL.type :String, :rpartition, '(String or Regexp) -> Array<String>'
+RDL.type :String, :rstrip, '() -> String'
+RDL.type :String, :rstrip!, '() -> String'
+RDL.type :String, :scan, '(Regexp or String) -> Array<String or Array<String>>', wrap: false # :String, Can't wrap or screws up last_match
+RDL.type :String, :scan, '(Regexp or String) {(*%any) -> %any} -> Array<String or Array<String>>', wrap: false
+RDL.type :String, :scrub, '(?String) -> String'
+RDL.type :String, :scrub, '(?String) {(%any) -> %any} -> String'
+RDL.type :String, :scrub!, '(?String) -> String'
+RDL.type :String, :scrub!, '(?String) {(%any) -> %any} -> String'
+RDL.type :String, :set_byte, '(Integer, Integer) -> Integer'
+RDL.type :String, :size, '() -> Integer'
+RDL.rdl_alias :String, :slice, :[]
+RDL.type :String, :slice!, '(Integer, ?Integer) -> String or nil'
+RDL.type :String, :slice!, '(Range<Integer> or Regexp) -> String or nil'
+RDL.type :String, :slice!, '(Regexp, Integer) -> String or nil'
+RDL.type :String, :slice!, '(Regexp, String) -> String or nil'
+RDL.type :String, :slice!, '(String) -> String or nil'
+RDL.type :String, :split, '(?(Regexp or String), ?Integer) -> Array<String>'
+RDL.type :String, :split, '(?Integer) -> Array<String>'
+RDL.type :String, :squeeze, '(?String) -> String'
+RDL.type :String, :squeeze!, '(?String) -> String'
+RDL.type :String, :start_with?, '(* String) -> %bool'
+RDL.type :String, :strip, '() -> String'
+RDL.type :String, :strip!, '() -> String'
+RDL.type :String, :sub, '(Regexp or String, String or Hash) -> String', wrap: false # Can't wrap these, since they mess with $1 etc
+RDL.type :String, :sub, '(Regexp or String) {(String) -> %any} -> String', wrap: false
+RDL.type :String, :sub!, '(Regexp or String, String) -> String', wrap: false # TODO: Does this really not allow Hash?
+RDL.type :String, :sub!, '(Regexp or String) {(String) -> %any} -> String', wrap: false
+RDL.type :String, :succ, '() -> String'
+RDL.type :String, :sum, '(?Integer) -> Integer'
+RDL.type :String, :swapcase, '() -> String'
+RDL.type :String, :swapcase!, '() -> String or nil'
+RDL.type :String, :to_c, '() -> Complex'
+RDL.type :String, :to_f, '() -> Float'
+RDL.type :String, :to_i, '(?Integer) -> Integer'
+RDL.type :String, :to_r, '() -> Rational'
+RDL.type :String, :to_s, '() -> String'
+RDL.type :String, :to_str, '() -> String'
+RDL.type :String, :to_sym, '() -> Symbol'
+RDL.type :String, :tr, '(String, String) -> String'
+RDL.type :String, :tr!, '(String, String) -> String or nil'
+RDL.type :String, :tr_s, '(String, String) -> String'
+RDL.type :String, :tr_s!, '(String, String) -> String or nil'
+RDL.type :String, :unpack, '(String) -> Array<String>'
+RDL.type :String, :upcase, '() -> String'
+RDL.type :String, :upcase!, '() -> String or nil'
+RDL.type :String, :upto, '(String, ?bool) -> Enumerator'
+RDL.type :String, :upto, '(String, ?bool) {(String) -> %any } -> String'
+RDL.type :String, :valid_encoding?, '() -> %bool'