sorbet-coerce 0.0.1

checksums.yaml

@@ -0,0 +1,7 @@
+---
+SHA256:
+  metadata.gz: 136d8069b4fcb9d8e819c025f5085ca957ff17b5a620ccb0942d89f406bd8564
+  data.tar.gz: 7b2128b6db027094fe762cd378432b9788648bb53c561e8c3dc1a85255214fed
+SHA512:
+  metadata.gz: 4d0926cd6be851d127e9cc84be9b1a3c6130eb15f2dd6416bd37fe02dea1296159bc693dc78281148232a23b48d6aae73a9174af8bf95d43f8e7df9c7bae4e4f
+  data.tar.gz: 2338760290ceee4329c15ae879bd6c5ec7a27a0e80dfd047abefb7c14f85def8d5a32e2174193f9ac279d1971b1cdc635073d6517ed2b9cfd6f81e04b122f121

data/lib/private/converter.rb

@@ -0,0 +1,96 @@
+# typed: strict
+require 'safe_type'
+require 'sorbet-runtime'
+
+module T; end
+
+module T::Private
+  class Converter
+    extend T::Sig
+
+    PRIMITIVE_TYPES = T.let(::Set[
+      Date,
+      DateTime,
+      Float,
+      Integer,
+      String,
+      Symbol,
+      Time,
+    ], T.untyped)
+
+    protected
+    sig { params(value: T.untyped, type: T.untyped).returns(T.untyped) }
+    def _convert(value, type)
+      if type.is_a?(T::Types::TypedArray)
+        _convert_to_a(value, type.type)
+      elsif type.is_a?(T::Types::Simple)
+        _convert_simple(value, type.raw_type)
+      elsif type.is_a?(T::Types::Union)
+        raw_types = type.types.map(&:raw_type)
+        raise ArgumentError.new(
+          'the only supported union type is T.nilable',
+        ) unless raw_types.length == 2 && raw_types.include?(NilClass)
+
+        _convert(
+          value,
+          raw_types.select { |t| t != NilClass }.first,
+        )
+      elsif type < T::Struct
+        args = _build_args(value, type.props)
+        begin
+          type.new(args)
+        rescue T::Props::InvalidValueError, ArgumentError
+          nil
+        end
+      else
+        _convert_simple(value, type)
+      end
+    end
+
+    sig { params(value: T.untyped, type: T.untyped).returns(T.untyped) }
+    def _convert_simple(value, type)
+      return nil if value.nil?
+      return value if value.is_a?(type)
+      safe_type_rule = if type == T::Boolean
+        SafeType::Boolean.strict
+      elsif PRIMITIVE_TYPES.include?(type)
+        SafeType.const_get(type.name).strict
+      else
+        safe_type_rule = type
+      end
+      SafeType::coerce(value, safe_type_rule)
+    rescue SafeType::EmptyValueError, SafeType::CoercionError
+      nil
+    rescue SafeType::InvalidRuleError
+      begin
+        type.new(value)
+      rescue
+        nil
+      end
+    end
+
+    sig { params(ary: T.untyped, type: T.untyped).returns(T.untyped) }
+    def _convert_to_a(ary, type)
+      ary = [ary] unless ary.respond_to?(:map)
+      T.send(
+        'let',
+        ary.map { |value| _convert(value, type) },
+        T.const_get('Array')[type],
+      )
+    rescue TypeError
+      []
+    end
+
+    sig { params(args: T.untyped, props: T.untyped).returns(T.untyped) }
+    def _build_args(args, props)
+      args.map { |name, value|
+        key = name.to_sym
+        [
+          key,
+          (!props.include?(key) || value.nil?) ?
+            nil : _convert(value, props[key][:type]),
+        ]
+      }.to_h.slice(*props.keys)
+    end
+  end
+end

data/lib/sorbet-coerce.rb

@@ -0,0 +1,21 @@
+# typed: strict
+require 'private/converter'
+require 'safe_type'
+
+module T
+  class CoercionError < SafeType::CoercionError; end
+
+  module Coerce
+    define_singleton_method(:[]) do |type|
+      Class.new(T::Private::Converter) do
+        define_method(:to_s) { "#{name}#[#{type.to_s}]" }
+
+        define_method(:from) do |args|
+          T.send('let', send('_convert', args, type), type)
+        rescue TypeError
+          raise CoercionError.new(args, type)
+        end
+      end
+    end
+  end
+end

data/lib/sorbet-coerce.rbi

@@ -0,0 +1,13 @@
+# typed: strong
+
+module T
+  module Coerce
+    extend T::Sig
+    extend T::Generic
+
+    Elem = type_member
+
+    sig { params(args: T.untyped).returns(Elem) }
+    def from(args); end
+  end
+end

metadata

@@ -0,0 +1,134 @@
+--- !ruby/object:Gem::Specification
+name: sorbet-coerce
+version: !ruby/object:Gem::Version
+  version: 0.0.1
+platform: ruby
+authors:
+- Chan Zuckerberg Initiative
+autorequire: 
+bindir: bin
+cert_chain: []
+date: 2019-10-04 00:00:00.000000000 Z
+dependencies:
+- !ruby/object:Gem::Dependency
+  name: sorbet
+  requirement: !ruby/object:Gem::Requirement
+    requirements:
+    - - "~>"
+      - !ruby/object:Gem::Version
+        version: 0.4.4704
+  type: :runtime
+  prerelease: false
+  version_requirements: !ruby/object:Gem::Requirement
+    requirements:
+    - - "~>"
+      - !ruby/object:Gem::Version
+        version: 0.4.4704
+- !ruby/object:Gem::Dependency
+  name: safe_type
+  requirement: !ruby/object:Gem::Requirement
+    requirements:
+    - - "~>"
+      - !ruby/object:Gem::Version
+        version: '1.1'
+    - - ">="
+      - !ruby/object:Gem::Version
+        version: 1.1.1
+  type: :runtime
+  prerelease: false
+  version_requirements: !ruby/object:Gem::Requirement
+    requirements:
+    - - "~>"
+      - !ruby/object:Gem::Version
+        version: '1.1'
+    - - ">="
+      - !ruby/object:Gem::Version
+        version: 1.1.1
+- !ruby/object:Gem::Dependency
+  name: sorbet-runtime
+  requirement: !ruby/object:Gem::Requirement
+    requirements:
+    - - "~>"
+      - !ruby/object:Gem::Version
+        version: 0.4.4704
+  type: :runtime
+  prerelease: false
+  version_requirements: !ruby/object:Gem::Requirement
+    requirements:
+    - - "~>"
+      - !ruby/object:Gem::Version
+        version: 0.4.4704
+- !ruby/object:Gem::Dependency
+  name: rspec
+  requirement: !ruby/object:Gem::Requirement
+    requirements:
+    - - ">="
+      - !ruby/object:Gem::Version
+        version: '3.8'
+    - - "~>"
+      - !ruby/object:Gem::Version
+        version: '3.8'
+  type: :development
+  prerelease: false
+  version_requirements: !ruby/object:Gem::Requirement
+    requirements:
+    - - ">="
+      - !ruby/object:Gem::Version
+        version: '3.8'
+    - - "~>"
+      - !ruby/object:Gem::Version
+        version: '3.8'
+- !ruby/object:Gem::Dependency
+  name: byebug
+  requirement: !ruby/object:Gem::Requirement
+    requirements:
+    - - ">="
+      - !ruby/object:Gem::Version
+        version: 11.0.1
+    - - "~>"
+      - !ruby/object:Gem::Version
+        version: 11.0.1
+  type: :development
+  prerelease: false
+  version_requirements: !ruby/object:Gem::Requirement
+    requirements:
+    - - ">="
+      - !ruby/object:Gem::Version
+        version: 11.0.1
+    - - "~>"
+      - !ruby/object:Gem::Version
+        version: 11.0.1
+description: 
+email: opensource@chanzuckerberg.com
+executables: []
+extensions: []
+extra_rdoc_files: []
+files:
+- lib/private/converter.rb
+- lib/sorbet-coerce.rb
+- lib/sorbet-coerce.rbi
+homepage: https://github.com/chanzuckerberg/sorbet-coerce
+licenses:
+- MIT
+metadata: {}
+post_install_message: 
+rdoc_options: []
+require_paths:
+- lib
+required_ruby_version: !ruby/object:Gem::Requirement
+  requirements:
+  - - ">="
+    - !ruby/object:Gem::Version
+      version: 2.3.0
+required_rubygems_version: !ruby/object:Gem::Requirement
+  requirements:
+  - - ">="
+    - !ruby/object:Gem::Version
+      version: '0'
+requirements: []
+rubyforge_project: 
+rubygems_version: 2.7.9
+signing_key: 
+specification_version: 4
+summary: Type coercion with Sorbet
+test_files: []