typedruby 0.0.0 → 0.6.0

data/definitions/lib/bigdecimal.rb

@@ -0,0 +1,12 @@
+class BigDecimal < Numeric
+  def initialize((Integer|Float|Rational|BigDecimal|String) initial, Integer digits = 0) => nil; end
+
+  def +(Numeric other) => BigDecimal; end
+  def -(Numeric other) => BigDecimal; end
+  def /(Numeric other) => BigDecimal; end
+  def *(Numeric other) => BigDecimal; end
+
+  def round(Integer n = 0, (Integer|Symbol) mode = 0) => BigDecimal; end
+
+  def to_r => Rational; end
+end

data/definitions/lib/csv.rb

@@ -0,0 +1,5 @@
+class CSV
+  def self.read(String path) => [[String]]; end
+
+  def self.generate(String str = "") => String; end
+end

data/definitions/lib/date.rb

@@ -0,0 +1,5 @@
+class Date
+end
+
+class DateTime
+end

data/definitions/lib/delegate.rb

@@ -0,0 +1,2 @@
+class Delegator < BasicObject
+end

data/definitions/lib/digest/sha1.rb

@@ -0,0 +1,7 @@
+module Digest
+  module SHA1
+    def self.hexdigest(String buffer) => String
+      ""
+    end
+  end
+end

data/definitions/lib/erb.rb

@@ -0,0 +1,5 @@
+class ERB
+  def initialize(String src, ~Integer safe_level = nil, ~String trim_mode = nil, String eoutvar = "_erbout") => nil; end
+
+  def result(Binding binding = TOPLEVEL_BINDING) => String; end
+end

data/definitions/lib/fileutils.rb

@@ -0,0 +1,3 @@
+module FileUtils
+  def self.mkdir_p(String path, ~Integer mode: nil, ~Boolean noop: nil, ~Boolean verbose: nil) => [String]; end
+end

data/definitions/lib/json.rb

@@ -0,0 +1,13 @@
+module JSON
+  def self.dump(:any object) => String
+  end
+
+  def self.generate(:any object, (nil | JSON::State | Hash::[Symbol, :any]) options = nil) => String
+  end
+
+  def self.parse(String json) => :any
+  end
+
+  class State
+  end
+end

data/definitions/lib/net/http.rb

@@ -0,0 +1,6 @@
+require "net/protocol"
+
+module Net
+  class HTTP < Protocol
+  end
+end

data/definitions/lib/openssl.rb

@@ -0,0 +1,36 @@
+module OpenSSL
+  OPENSSL_VERSION_NUMBER = (nil : Integer)
+
+  class HMAC
+    # TODO - this doesn't work if we just say 'Digest digest'
+    # constant scoping is obviously busted
+    def self.hexdigest(OpenSSL::Digest digest, String secret, String message) => String; end
+  end
+
+  class Digest
+    def initialize(String algorithm) => nil; end
+
+    class MD5 < Digest
+    end
+
+    class SHA1 < Digest
+    end
+
+    class SHA256 < Digest
+    end
+
+    class SHA512 < Digest
+    end
+
+    class RIPEMD160 < Digest
+    end
+  end
+
+  module PKey
+    class PKey
+    end
+
+    class EC < PKey
+    end
+  end
+end

data/definitions/lib/optparse.rb

@@ -0,0 +1,2 @@
+class OptionParser
+end

data/definitions/lib/ostruct.rb

@@ -0,0 +1,3 @@
+class OpenStruct
+  def self.new(:any opts = nil) => :any; end
+end

data/definitions/lib/pathname.rb

@@ -0,0 +1,3 @@
+class Pathname
+  def join((Pathname | String) *args) => Pathname; end
+end

data/definitions/lib/psych.rb

@@ -0,0 +1,7 @@
+module Psych
+  def self.load(String s) => :any; end
+
+  def self.load_file(String filename) => :any; end
+
+  def self.dump(:any o) => String; end
+end

data/definitions/lib/securerandom.rb

@@ -0,0 +1,15 @@
+module SecureRandom
+  def self.bytes(Integer n) => String; end
+end
+
+module Random::Formatter
+  def random_bytes(~Integer n = nil) => String; end
+  def hex(~Integer n = nil) => String; end
+  def base64(~Integer n = nil) => String; end
+  def urlsafe_base64(~Integer n = nil, Boolean padding = false) => String; end
+  def uuid => String; end
+end
+
+class << SecureRandom
+  include Random::Formatter
+end

data/definitions/lib/set.rb

@@ -0,0 +1,26 @@
+class Set::[ElementType]
+  include Enumerable::[ElementType]
+
+  def initialize(Enumerable::[ElementType] enum = nil) => nil; end
+
+  def self.[][ElementType](ElementType *elements) => Set::[ElementType]; end
+
+  def <<(ElementType element) => :self; end
+
+  def +(Enumerable::[ElementType] other) => :self; end
+
+  def include?(ElementType element) => Boolean; end
+
+  def |(Enumerable::[ElementType] other) => :self; end
+
+  def &(Enumerable::[ElementType] other) => :self; end
+
+  def to_a => [ElementType]; end
+end
+
+class SortedSet < Set
+end
+
+module Enumerable::[EnumType]
+  def to_set => Set::[EnumType]; end
+end

data/definitions/lib/shellwords.rb

@@ -0,0 +1,4 @@
+module Shellwords
+  def self.shellescape(String s) => String
+  end
+end

data/definitions/lib/stringio.rb

@@ -0,0 +1,3 @@
+class StringIO < Data
+  def string => String; end
+end

data/definitions/lib/tempfile.rb

@@ -0,0 +1,4 @@
+require "tmpdir"
+
+class Tempfile
+end

data/definitions/lib/timeout.rb

@@ -0,0 +1,6 @@
+module Timeout
+  class Error < RuntimeError
+  end
+
+  def self.timeout[T](Numeric sec, ~Class::[Exception] klass = nil, ~String message = nil, { || => T } &) => T; end
+end

data/definitions/lib/tmpdir.rb

@@ -0,0 +1,7 @@
+require "fileutils"
+
+class Dir
+  def self.tmpdir => String; end
+
+  def self.mktmpdir(~String prefix_suffix = nil) => String; end
+end

data/definitions/lib/uri.rb

@@ -0,0 +1,17 @@
+require 'uri/common'
+require 'uri/generic'
+require 'uri/ftp'
+require 'uri/http'
+require 'uri/https'
+require 'uri/ldap'
+require 'uri/ldaps'
+require 'uri/mailto'
+
+module URI
+  def self.parse(String uri) => URI::Generic; end
+end
+
+class URI::Generic
+  def @host : ~String
+  def @port : ~Integer
+end

data/definitions/lib/zlib.rb

@@ -0,0 +1,17 @@
+require 'stringio'
+
+module Zlib
+  class GzipFile
+  end
+
+  class GzipWriter < GzipFile
+    def initialize(
+      (IO | StringIO) io,
+      ~Integer level = nil,
+      ~Integer strategy = nil,
+      ~Encoding external_encoding: nil,
+      ~Encoding internal_encoding: nil,
+      ~Encoding encoding: nil
+    ) => nil; end
+  end
+end

data/typedruby.gemspec

@@ -0,0 +1,14 @@
+Gem::Specification.new do |s|
+  s.name = "typedruby"
+  s.version = ENV.fetch("TYPEDRUBY_VERSION")
+  s.summary = "Gradual static typing for Ruby"
+  s.description = "Gradual static typing for Ruby."
+  s.authors = ["Charlie Somerville"]
+  s.email = ["charlie@github.com", "opensource+typedruby@github.com"]
+  s.homepage = "https://github.com/typedruby/typedruby"
+  s.license = "MIT"
+
+  s.files = Dir["**/*"]
+
+  s.executables << "typedruby"
+end

metadata

@@ -1,24 +1,65 @@
 --- !ruby/object:Gem::Specification
 name: typedruby
 version: !ruby/object:Gem::Version
-  version: 0.0.0
+  version: 0.6.0
 platform: ruby
 authors:
 - Charlie Somerville
 autorequire: 
 bindir: bin
 cert_chain: []
-date: 2017-06-22 00:00:00.000000000 Z
+date: 2018-06-14 00:00:00.000000000 Z
 dependencies: []
-description: ''
+description: Gradual static typing for Ruby.
 email:
 - charlie@github.com
-executables: []
+- opensource+typedruby@github.com
+executables:
+- typedruby
 extensions: []
 extra_rdoc_files: []
-files: []
-homepage: 
-licenses: []
+files:
+- LICENSE
+- bin/typedruby
+- definitions/core.rb
+- definitions/lib/bigdecimal.rb
+- definitions/lib/cgi.rb
+- definitions/lib/csv.rb
+- definitions/lib/date.rb
+- definitions/lib/delegate.rb
+- definitions/lib/digest.rb
+- definitions/lib/digest/sha1.rb
+- definitions/lib/enumerator.rb
+- definitions/lib/erb.rb
+- definitions/lib/etc.rb
+- definitions/lib/fileutils.rb
+- definitions/lib/json.rb
+- definitions/lib/net/http.rb
+- definitions/lib/openssl.rb
+- definitions/lib/optparse.rb
+- definitions/lib/ostruct.rb
+- definitions/lib/pathname.rb
+- definitions/lib/psych.rb
+- definitions/lib/rbconfig.rb
+- definitions/lib/resolv.rb
+- definitions/lib/rubygems.rb
+- definitions/lib/securerandom.rb
+- definitions/lib/set.rb
+- definitions/lib/shellwords.rb
+- definitions/lib/socket.rb
+- definitions/lib/stringio.rb
+- definitions/lib/tempfile.rb
+- definitions/lib/thread.rb
+- definitions/lib/timeout.rb
+- definitions/lib/tmpdir.rb
+- definitions/lib/uri.rb
+- definitions/lib/zlib.rb
+- typedruby-x86_64-darwin
+- typedruby-x86_64-linux
+- typedruby.gemspec
+homepage: https://github.com/typedruby/typedruby
+licenses:
+- MIT
 metadata: {}
 post_install_message: 
 rdoc_options: []
@@ -39,5 +80,5 @@ rubyforge_project:
 rubygems_version: 2.6.8
 signing_key: 
 specification_version: 4
-summary: ''
+summary: Gradual static typing for Ruby
 test_files: []