dry-monads-sorbet 1.0.0

checksums.yaml

@@ -0,0 +1,7 @@
+---
+SHA256:
+  metadata.gz: 1b05da9a054e5d4cdd5a1c633508c625d1747b09f91083c1dbe470ed40e3fa8e
+  data.tar.gz: 032e205d4a338bc7c63578f87ea2e519351c1afe86c9f81afa2e5e4e8e1c4d34
+SHA512:
+  metadata.gz: 782efb30f148bef10ff3f6ee3377414198362503e8175392010f39c1847d25eee1cd4d8f5eee890aa1cb8bdc95a9d3abd8583131353dfa187e9ce41d5f8ac3f6
+  data.tar.gz: c1558b1848b5e5d09b3af4ba4bd81ffb615e6951e9f60e4a84240e1067fe79ad2c958baeb0e6f419b58e43a0c3f845de5183881335eda4f1ba70a57b33d69731

data/.github/workflows/rspec.yml

@@ -0,0 +1,22 @@
+name: RSpec Test Suite
+
+on: [push]
+
+jobs:
+  build:
+    runs-on: ubuntu-latest
+    steps:
+    - name: Checkout branch
+      uses: actions/checkout@v1
+    - name: Set up Ruby
+      uses: actions/setup-ruby@v1
+      with:
+        ruby-version: 2.5.5
+    - name: Install system packages
+      run: |
+        sudo apt-get install libsqlite3-dev
+        command -v bundler || gem install bundler
+    - name: Install gems
+      run: bundle install --jobs $(nproc) --retry 3
+    - name: Run RSpec test suite
+      run: bundle exec rspec spec

data/.gitignore

@@ -0,0 +1,20 @@
+/Gemfile.lock
+/.bundle/
+/.yardoc
+/_yardoc/
+/coverage/
+/doc/
+/pkg/
+/spec/reports/
+/tmp/
+/vendor/
+
+# rspec failure tracking
+.rspec_status
+
+/shell.nix
+/tags
+
+*.log
+
+.ruby-gemset

data/.reek.yml

@@ -0,0 +1,32 @@
+---
+detectors:
+  IrresponsibleModule:
+    enabled: false
+  TooManyStatements:
+    enabled: true
+    max_statements: 10
+  NilCheck:
+    enabled: false
+directories:
+  app/controllers:
+    NestedIterators:
+      max_allowed_nesting: 2
+    UnusedPrivateMethod:
+      enabled: false
+  app/helpers:
+    UtilityFunction:
+      enabled: false
+exclude_paths:
+- app/assets
+- bin
+- client/node_modules
+- config
+- coverage
+- data
+- db
+- dw
+- log
+- phrase
+- public
+- tmp
+- vendor

data/.rspec

@@ -0,0 +1,3 @@
+--format documentation
+--color
+--require spec_helper

data/.rubocop.yml

@@ -0,0 +1,66 @@
+---
+Documentation:
+  Enabled: false
+Rails:
+  Enabled: true
+AllCops:
+  Include:
+  - app/**/*.rb
+  - lib/**/*.rb
+  - spec/**/*.rb
+  Exclude:
+  - app/assets/**/*
+  - bin/**/*
+  - client/node_modules/**/*
+  - config/**/*
+  - coverage/**/*
+  - data/**/*
+  - db/**/*
+  - db_*/**/*
+  - dw/**/*
+  - log/**/*
+  - phrase/**/*
+  - public/**/*
+  - tmp/**/*
+  - vendor/**/*
+  TargetRubyVersion: 2.5
+Metrics/LineLength:
+  Max: 100
+Layout/MultilineMethodCallIndentation:
+  EnforcedStyle: indented
+Style/PercentLiteralDelimiters:
+  PreferredDelimiters:
+    "%w": "[]"
+RSpec/ExampleLength:
+  Enabled: false
+  Max: 10
+RSpec/MultipleExpectations:
+  Enabled: false
+  Max: 10
+RSpec/NestedGroups:
+  Enabled: false
+  Max: 10
+RSpec/MessageExpectation:
+  Enabled: false
+RSpec/MissingExampleGroupArgument:
+  Enabled: false
+require:
+- rubocop-performance
+- rubocop-rspec
+- test_prof/rubocop
+Metrics/BlockLength:
+  Enabled: false
+RSpec/MessageSpies:
+  Enabled: false
+RSpec/ExpectInHook:
+  Enabled: false
+RSpec/AggregateFailures:
+  Enabled: true
+  Include:
+  - spec/**/*.rb
+Rails/InverseOf:
+  Enabled: false
+Rails/Present:
+  Enabled: false
+Rails/TimeZone:
+  Enabled: false

data/.ruby-version

@@ -0,0 +1 @@
+2.5.5

data/CHANGELOG.md

@@ -0,0 +1,3 @@
+1.0.0
+
+* Initial release

data/Gemfile

@@ -0,0 +1,25 @@
+source 'https://rubygems.org'
+
+# Specify your gem's dependencies in rspec-sorbet.gemspec
+gemspec
+
+group :development, :test do
+  gem 'guard-livereload', require: false
+  gem 'guard-rspec'
+  gem 'pry-byebug'
+  gem 'rb-fsevent', require: false
+  gem 'rb-readline'
+  gem 'reek'
+  gem 'rspec'
+  gem 'rubocop-rspec'
+  gem 'rubocop'
+  gem 'shoulda-matchers', require: false
+  gem 'sqlite3'
+  gem 'stackprof'
+  gem 'timecop'
+end
+
+group :test do
+  gem 'ffaker'
+  gem 'simplecov'
+end

data/LICENSE.txt

@@ -0,0 +1,21 @@
+The MIT License (MIT)
+
+Copyright (c) 2019 Samuel Giles
+
+Permission is hereby granted, free of charge, to any person obtaining a copy
+of this software and associated documentation files (the "Software"), to deal
+in the Software without restriction, including without limitation the rights
+to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
+copies of the Software, and to permit persons to whom the Software is
+furnished to do so, subject to the following conditions:
+
+The above copyright notice and this permission notice shall be included in
+all copies or substantial portions of the Software.
+
+THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
+IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
+FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
+AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
+LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
+OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN
+THE SOFTWARE.

data/README.md

@@ -0,0 +1,22 @@
+![dry-monads-sorbet](https://user-images.githubusercontent.com/2643026/69986703-dfc68200-1535-11ea-9035-38ecbdb67138.png)
+
+# Dry Monads Sorbet ![CI Badge](https://github.com/tricycle/dry-monads-sorbet/workflows/RSpec%20Test%20Suite/badge.svg)
+
+Sorbet type hints for Dry::Monads.
+
+## Install
+
+`gem 'dry-monads-sorbet'`
+
+## Usage
+
+```ruby
+require 'dry/monads/sorbet'
+
+class MyClass
+  extend T::Sig
+
+  sig{returns(Dry::Monads::Sorbet[StandardError, String])}
+  def my_method
+  ...
+```

data/Rakefile

@@ -0,0 +1,6 @@
+require "bundler/gem_tasks"
+require "rspec/core/rake_task"
+
+RSpec::Core::RakeTask.new(:spec)
+
+task :default => :spec

data/bin/console

@@ -0,0 +1,14 @@
+#!/usr/bin/env ruby
+
+require 'bundler/setup'
+require 'dry/monads/sorbet'
+
+# You can add fixtures and/or initialization code here to make experimenting
+# with your gem easier. You can also use a different console, if you like.
+
+# (If you use this, don't forget to add pry to your Gemfile!)
+# require "pry"
+# Pry.start
+
+require 'irb'
+IRB.start(__FILE__)

data/bin/setup

@@ -0,0 +1,8 @@
+#!/usr/bin/env bash
+set -euo pipefail
+IFS=$'\n\t'
+set -vx
+
+bundle install
+
+# Do any other automated setup that you need to do here

data/dry-monads-sorbet.gemspec

@@ -0,0 +1,33 @@
+lib = File.expand_path('lib', __dir__)
+$LOAD_PATH.unshift(lib) unless $LOAD_PATH.include?(lib)
+
+require 'dry/monads/sorbet/version'
+
+Gem::Specification.new do |spec|
+  spec.name          = 'dry-monads-sorbet'
+  spec.version       = Dry::Monads::Sorbet::VERSION
+  spec.authors       = ['Luke Worth']
+  spec.email         = ['luke.worth@bellroy.com']
+
+  spec.summary       = 'Sorbet type hints for Dry::Monads'
+  spec.homepage      = 'https://github.com/tricycle/dry-monads-sirbet'
+  spec.license       = 'MIT'
+
+  # Specify which files should be added to the gem when it is released.
+  # The `git ls-files -z` loads the files in the RubyGem that have been added into git.
+  spec.files = `git ls-files -z`.split("\x0").reject do |f|
+    f.match(%r{^spec/}) && !f.match(%r{^spec/support/factories/})
+  end
+  spec.bindir        = 'exe'
+  spec.executables   = spec.files.grep(%r{^exe/}) { |f| File.basename(f) }
+  spec.require_paths = ['lib']
+
+  spec.add_dependency 'sorbet'
+  spec.add_dependency 'sorbet-runtime'
+  spec.add_dependency 'dry-monads'
+
+  spec.add_development_dependency 'bundler'
+  spec.add_development_dependency 'pry'
+  spec.add_development_dependency 'rake', '~> 10.0'
+  spec.add_development_dependency 'rspec', '~> 3.0'
+end

data/lib/dry/monads/sorbet.rb

@@ -0,0 +1,15 @@
+# typed: strict
+# frozen_string_literal: true
+
+class Dry::Monads::Result
+  extend T::Sig
+  extend T::Generic
+  FailureType = type_member
+  SuccessType = type_member
+end
+
+class Dry::Monads::Maybe
+  extend T::Sig
+  extend T::Generic
+  Elem = type_member
+end

data/lib/dry/monads/sorbet/version.rb

@@ -0,0 +1,9 @@
+# frozen_string_literal: true
+
+module Dry
+  module Monads
+    module Sorbet
+      VERSION = '1.0.0'
+    end
+  end
+end

data/rbi/dry-monads.rbi

@@ -0,0 +1,593 @@
+# typed: strong
+#
+# dry-monads-1.3.1
+#
+# Note: This file depends on dry/monads/sorbet to define generics.
+
+module Dry
+end
+module Dry::Monads
+  def self.Result(error, **options); end
+  def self.[](*monads); end
+  def self.all_loaded?; end
+  def self.constructors; end
+  def self.included(base); end
+  def self.known_monads; end
+  def self.load_monad(name); end
+  def self.register_mixin(name, mod); end
+  def self.registry; end
+  def self.registry=(registry); end
+  extend Dry::Monads::Maybe::Mixin::Constructors
+  extend Dry::Monads::Maybe::Mixin::Constructors
+  extend Dry::Monads::Result::Mixin::Constructors
+  extend Dry::Monads::Validated::Mixin::Constructors
+end
+module Dry::Monads::Curry
+  def self.call(value); end
+end
+class Dry::Monads::UnwrapError < StandardError
+  def initialize(ctx); end
+end
+class Dry::Monads::InvalidFailureTypeError < StandardError
+  def initialize(failure); end
+end
+class Dry::Monads::ConstructorNotAppliedError < NoMethodError
+  def initialize(method_name, constructor_name); end
+end
+module Dry::Monads::Transformer
+  def fmap2(*args); end
+  def fmap3(*args); end
+end
+class Dry::Monads::Maybe
+  extend T::Helpers
+  abstract!
+  sealed!
+
+  sig do
+    type_parameters(:New)
+      .params(blk: T.proc.params(arg0: Elem).returns(Dry::Monads::Maybe[T.type_parameter(:out, :New)]))
+      .returns(Dry::Monads::Maybe[T.type_parameter(:out, :New)])
+  end
+  def bind(&blk); end
+
+  sig do
+    type_parameters(:New)
+      .params(blk: T.proc.params(arg0: Elem).returns(T.type_parameter(:out, :New)))
+      .returns(Dry::Monads::Maybe[T.type_parameter(:out, :New)])
+  end
+  def fmap(&blk); end
+
+  sig do
+    params(val: T.any(Elem, NilClass),
+           blk: T.nilable(T.proc.returns(Elem)))
+      .returns(Elem)
+  end
+  def value_or(val = nil, &blk); end
+
+  sig do
+    params(arg0: T.untyped)
+      .returns(T.self_type)
+  end
+  def or(*arg0); end
+
+  sig do
+    type_parameters(:Error)
+      .params(val: T.nilable(T.type_parameter(:Error)),
+              blk: T.nilable(T.proc.returns(T.type_parameter(:Error))))
+      .returns(Dry::Monads::Result[T.type_parameter(:out, :Error), Elem])
+  end
+  def to_result(val = nil, &blk); end
+
+  sig {returns(T::Boolean)}
+  def failure?; end
+  def monad; end
+
+  sig {returns(T::Boolean)}
+  def none?; end
+  def self.coerce(value); end
+  def self.lift(*args, &block); end
+  def self.pure(value = nil, &block); end
+  def self.to_proc; end
+
+  sig {returns(T::Boolean)}
+  def some?; end
+
+  sig {returns(T::Boolean)}
+  def success?; end
+  def to_maybe; end
+  def to_monad; end
+  include Dry::Monads::Transformer
+end
+class Dry::Monads::Maybe::Some < Dry::Monads::Maybe
+  extend T::Sig
+  extend T::Generic
+  Elem = type_member
+
+  sig {params(value: Elem).void}
+  def initialize(value = nil); end
+
+  sig do
+    returns(Elem)
+  end
+  def value!; end
+
+  def inspect; end
+  def maybe(*args, &block); end
+  def self.[](*value); end
+  def self.call(*arg0); end
+  def self.to_proc; end
+  def to_s; end
+  include Anonymous_Dry_Equalizer_33
+  include Dry::Equalizer::Methods
+end
+module Anonymous_Dry_Equalizer_33
+  def cmp?(comparator, other); end
+  def hash; end
+  def inspect; end
+end
+class Dry::Monads::Maybe::None < Dry::Monads::Maybe
+  extend T::Sig
+  extend T::Generic
+  Elem = type_member
+
+  def ==(other); end
+  def deconstruct; end
+  def eql?(other); end
+  def hash; end
+  sig {params().void}
+  def initialize(); end
+  def inspect; end
+  def maybe(*arg0); end
+  def or(*args); end
+  def or_fmap(*args, &block); end
+  def self.instance; end
+  def self.method_missing(m, *arg1); end
+  def to_s; end
+  def trace; end
+  include Dry::Core::Constants
+end
+module Dry::Monads::Maybe::Mixin
+  include Dry::Monads::Maybe::Mixin::Constructors
+end
+module Dry::Monads::Maybe::Mixin::Constructors
+  sig {type_parameters(:T).params(value: T.nilable(T.type_parameter(:T))).returns(Dry::Monads::Maybe[T.type_parameter(:T)])}
+  def Maybe(value); end
+  sig {type_parameters(:T).params().returns(Dry::Monads::Maybe[T.type_parameter(:out, :T)])}
+  def None; end
+  sig {type_parameters(:T).params(value: T.type_parameter(:T)).returns(Dry::Monads::Maybe[T.type_parameter(:T)])}
+  def Some(value = nil); end
+end
+module Dry::Monads::Maybe::Hash
+  def self.all(hash, trace = nil); end
+  def self.filter(hash); end
+end
+class Dry::Monads::Result
+  extend T::Helpers
+  abstract!
+  sealed!
+
+  sig do
+    type_parameters(:NewSuccessType)
+      .params(blk: T.proc.params(arg0: SuccessType).returns(Dry::Monads::Result[FailureType, T.type_parameter(:out, :NewSuccessType)]))
+      .returns(Dry::Monads::Result[FailureType, T.type_parameter(:out, :NewSuccessType)])
+  end
+  def bind(&blk); end
+
+  sig do
+    type_parameters(:New)
+      .params(blk: T.proc.params(arg0: SuccessType).returns(T.type_parameter(:out, :New)))
+      .returns(Dry::Monads::Result[FailureType, T.type_parameter(:out, :New)])
+  end
+  def fmap(&blk); end
+
+  sig do
+    type_parameters(:Val)
+      .params(val: T.nilable(T.type_parameter(:Val)), blk: T.nilable(T.proc.params(arg0: FailureType).returns(T.type_parameter(:Val))))
+      .returns(T.any(SuccessType, T.type_parameter(:Val)))
+  end
+  def value_or(val = nil, &blk); end
+
+  sig do
+    returns(SuccessType)
+  end
+  def value!; end
+  def to_maybe; end
+  def either(f, _); end
+
+  sig {returns(T::Boolean)}
+  def success?; end
+
+  sig {returns(T::Boolean)}
+  def failure?; end
+
+  sig {returns(FailureType)}
+  def failure; end
+
+  sig do
+    params(blk: T.proc.params(arg0: FailureType).returns(Dry::Monads::Result[FailureType, SuccessType]))
+      .returns(Dry::Monads::Result[FailureType, SuccessType])
+  end
+  def or(&blk); end
+
+  def monad; end
+  def self.pure(value = nil, &block); end
+  def success; end
+  def to_monad; end
+  def to_result; end
+  include Anonymous_Module_34
+  include Dry::Monads::Transformer
+end
+class Dry::Monads::Result::Success < Dry::Monads::Result
+  extend T::Sig
+  extend T::Generic
+  FailureType = type_member
+  SuccessType = type_member
+
+  def flip; end
+  def initialize(value); end
+  def inspect; end
+  def result(_, f); end
+  def self.[](*value); end
+  def self.call(*arg0); end
+  def self.to_proc; end
+  def success; end
+  def to_s; end
+  def to_validated; end
+  include Anonymous_Dry_Equalizer_35
+  include Dry::Equalizer::Methods
+end
+class Dry::Monads::Result::Failure < Dry::Monads::Result
+  extend T::Sig
+  extend T::Generic
+  FailureType = type_member
+  SuccessType = type_member
+
+  def ===(other); end
+  def failure; end
+  def flip; end
+  def initialize(value, trace = nil); end
+  def inspect; end
+  def or_fmap(*args, &block); end
+  def result(f, _); end
+  def self.[](*value); end
+  def self.call(*arg0); end
+  def self.to_proc; end
+  def to_s; end
+  def to_validated; end
+  def trace; end
+  def value_or(val = nil); end
+  include Anonymous_Dry_Equalizer_36
+  include Dry::Equalizer::Methods
+end
+class Dry::Monads::Task
+  def ==(other); end
+  def apply(val = nil); end
+  def bind(&block); end
+  def compare_promises(x, y); end
+  def complete?; end
+  def curry(value); end
+  def discard; end
+  def fmap(&block); end
+  def initialize(promise); end
+  def inspect; end
+  def monad; end
+  def or(&block); end
+  def or_fmap(&block); end
+  def promise; end
+  def self.[](executor, &block); end
+  def self.failed(exc); end
+  def self.new(promise = nil, &block); end
+  def self.pure(value = nil, &block); end
+  def then(&block); end
+  def to_maybe; end
+  def to_monad; end
+  def to_result; end
+  def to_s; end
+  def value!; end
+  def value_or(&block); end
+  def wait(timeout = nil); end
+  include Anonymous_Module_37
+end
+class Dry::Monads::Try
+  def error?; end
+  def exception; end
+  def failure?; end
+  def self.[](*exceptions, &block); end
+  def self.lift(*args, &block); end
+  def self.pure(value = nil, exceptions = nil, &block); end
+  def self.run(exceptions, f); end
+  def success?; end
+  def to_monad; end
+  def value?; end
+  include Anonymous_Module_38
+end
+class Dry::Monads::Try::Value < Dry::Monads::Try
+  extend T::Generic
+  FailureType = type_member
+  SuccessType = type_member
+
+  def bind(*args); end
+  def bind_call(*args, **kwargs); end
+  def catchable; end
+  def fmap(*args, &block); end
+  def initialize(exceptions, value); end
+  def inspect; end
+  def self.call(*arg0); end
+  def self.to_proc; end
+  def to_maybe; end
+  def to_result; end
+  def to_s; end
+  include Anonymous_Dry_Equalizer_39
+  include Dry::Equalizer::Methods
+end
+class Dry::Monads::Try::Error < Dry::Monads::Try
+  extend T::Generic
+  FailureType = type_member
+  SuccessType = type_member
+
+  def ===(other); end
+  def initialize(exception); end
+  def inspect; end
+  def or(*args); end
+  def self.call(*arg0); end
+  def to_maybe; end
+  def to_result; end
+  def to_s; end
+  include Anonymous_Dry_Equalizer_40
+  include Dry::Equalizer::Methods
+end
+class Dry::Monads::Validated
+  def bind(*arg0); end
+  def self.pure(value = nil, &block); end
+  def to_monad; end
+  include Anonymous_Module_41
+end
+class Dry::Monads::Validated::Valid < Dry::Monads::Validated
+  def ===(other); end
+  def alt_map(_ = nil); end
+  def apply(val = nil); end
+  def fmap(proc = nil, &block); end
+  def initialize(value); end
+  def inspect; end
+  def or(_ = nil); end
+  def to_maybe; end
+  def to_result; end
+  def to_s; end
+  def value!; end
+  include Anonymous_Dry_Equalizer_42
+  include Dry::Equalizer::Methods
+end
+class Dry::Monads::Validated::Invalid < Dry::Monads::Validated
+  def ===(other); end
+  def alt_map(proc = nil, &block); end
+  def apply(val = nil); end
+  def error; end
+  def fmap(_ = nil); end
+  def initialize(error, trace = nil); end
+  def inspect; end
+  def or(proc = nil, &block); end
+  def to_maybe; end
+  def to_result; end
+  def to_s; end
+  def trace; end
+  include Anonymous_Dry_Equalizer_43
+  include Dry::Equalizer::Methods
+end
+module Dry::Monads::ConversionStubs
+  def self.[](*method_names); end
+end
+module Dry::Monads::ConversionStubs::Methods
+  def self.to_maybe; end
+  def self.to_result; end
+  def self.to_validated; end
+  def to_maybe; end
+  def to_result; end
+  def to_validated; end
+end
+class Dry::Monads::Task::Promise < Concurrent::Promise
+  def on_fulfill(result); end
+  def on_reject(reason); end
+end
+module Anonymous_Module_37
+  def to_maybe(*arg0); end
+  def to_result(*arg0); end
+end
+module Dry::Monads::Task::Mixin
+  def self.[](executor); end
+  include Dry::Monads::Task::Mixin::Constructors
+end
+module Dry::Monads::Task::Mixin::Constructors
+  def Task(&block); end
+end
+module Anonymous_Module_34
+  def to_maybe(*arg0); end
+  def to_validated(*arg0); end
+end
+module Anonymous_Dry_Equalizer_35
+  def cmp?(comparator, other); end
+  def hash; end
+  def inspect; end
+end
+module Anonymous_Dry_Equalizer_36
+  def cmp?(comparator, other); end
+  def hash; end
+  def inspect; end
+end
+module Dry::Monads::Result::Mixin
+  include Dry::Monads::Result::Mixin::Constructors
+end
+module Dry::Monads::Result::Mixin::Constructors
+  sig do
+    type_parameters(:FailureType, :SuccessType)
+      .params(value: T.nilable(T.type_parameter(:FailureType)),
+              block: T.nilable(T.untyped))
+      .returns(Dry::Monads::Result[T.type_parameter(:FailureType),
+                                   T.type_parameter(:out, :SuccessType)])
+  end
+  def Failure(value = nil, &block); end
+
+  sig do
+    type_parameters(:FailureType, :SuccessType)
+      .params(value: T.nilable(T.type_parameter(:SuccessType)),
+              block: T.nilable(T.untyped))
+      .returns(Dry::Monads::Result[T.type_parameter(:out, :FailureType),
+                                   T.type_parameter(:SuccessType)])
+  end
+  def Success(value = nil, &block); end
+end
+module Anonymous_Module_38
+  def to_maybe(*arg0); end
+  def to_result(*arg0); end
+end
+module Anonymous_Dry_Equalizer_39
+  def cmp?(comparator, other); end
+  def hash; end
+  def inspect; end
+end
+module Anonymous_Dry_Equalizer_40
+  def cmp?(comparator, other); end
+  def hash; end
+  def inspect; end
+end
+module Dry::Monads::Try::Mixin
+  def Error(error = nil, &block); end
+  def Value(value = nil, exceptions = nil, &block); end
+  include Dry::Monads::Try::Mixin::Constructors
+end
+module Dry::Monads::Try::Mixin::Constructors
+  def Try(*exceptions, &f); end
+end
+module Anonymous_Module_41
+  def to_maybe(*arg0); end
+  def to_result(*arg0); end
+end
+module Anonymous_Dry_Equalizer_42
+  def cmp?(comparator, other); end
+  def hash; end
+  def inspect; end
+end
+module Anonymous_Dry_Equalizer_43
+  def cmp?(comparator, other); end
+  def hash; end
+  def inspect; end
+end
+module Dry::Monads::Validated::Mixin
+  include Dry::Monads::Validated::Mixin::Constructors
+end
+module Dry::Monads::Validated::Mixin::Constructors
+  def Invalid(value = nil, &block); end
+  def Valid(value = nil, &block); end
+end
+class Dry::Monads::List
+  def +(other); end
+  def apply(list = nil); end
+  def bind(*args); end
+  def coerce(other); end
+  def collect; end
+  def deconstruct; end
+  def empty?; end
+  def filter; end
+  def first; end
+  def fmap(*args); end
+  def fold_left(initial); end
+  def fold_right(initial); end
+  def foldl(initial); end
+  def foldr(initial); end
+  def head; end
+  def initialize(value, type = nil); end
+  def inspect; end
+  def last; end
+  def map(&block); end
+  def monad; end
+  def reduce(initial); end
+  def reverse; end
+  def select; end
+  def self.[](*values); end
+  def self.coerce(value, type = nil); end
+  def self.pure(value = nil, type = nil, &block); end
+  def self.unfold(state, type = nil); end
+  def size; end
+  def sort; end
+  def tail; end
+  def to_a; end
+  def to_ary; end
+  def to_monad; end
+  def to_s; end
+  def traverse(proc = nil, &block); end
+  def type; end
+  def typed(type = nil); end
+  def typed?; end
+  def value; end
+  extend Anonymous_Dry_Core_Deprecations_Tagged_44
+  extend Dry::Core::Deprecations::Interface
+  include Anonymous_Dry_Equalizer_45
+  include Dry::Equalizer::Methods
+  include Dry::Monads::Transformer
+end
+module Anonymous_Dry_Core_Deprecations_Tagged_44
+end
+module Anonymous_Dry_Equalizer_45
+  def cmp?(comparator, other); end
+  def hash; end
+  def inspect; end
+end
+class Dry::Monads::List::ListBuilder
+  def [](*args); end
+  def coerce(value); end
+  def initialize(type); end
+  def pure(val = nil, &block); end
+  def self.[](*arg0); end
+  def type; end
+end
+module Dry::Monads::List::Mixin
+  def List(value); end
+end
+module Dry::Monads::Do
+  def self.coerce_to_monad(monads); end
+  def self.for(*methods); end
+  def self.halt(result); end
+  def self.included(base); end
+  def self.wrap_method(target, method_name); end
+  extend Dry::Monads::Do::Mixin
+end
+module Dry::Monads::Do::Mixin
+  def bind(monads); end
+  def call; end
+end
+class Dry::Monads::Do::Halt < StandardError
+  def initialize(result); end
+  def result; end
+end
+module Dry::Monads::Do::All
+  def self.included(base); end
+  extend Dry::Monads::Do::All::InstanceMixin
+end
+class Dry::Monads::Do::All::MethodTracker < Module
+  def extend_object(target); end
+  def initialize(wrappers); end
+  def wrap_method(target, method); end
+  def wrappers; end
+end
+module Dry::Monads::Do::All::InstanceMixin
+  def extended(object); end
+end
+class Dry::Monads::Lazy < Dry::Monads::Task
+  def force!; end
+  def force; end
+  def inspect; end
+  def self.[](executor, &block); end
+  def self.new(promise = nil, &block); end
+  def to_s; end
+  def value!; end
+end
+module Dry::Monads::Lazy::Mixin
+  include Dry::Monads::Lazy::Mixin::Constructors
+end
+module Dry::Monads::Lazy::Mixin::Constructors
+  def Lazy(&block); end
+end
+class Dry::Monads::Result::Fixed < Module
+  def included(base); end
+  def initialize(error, **options); end
+  def self.[](error, **options); end
+end

metadata

@@ -0,0 +1,159 @@
+--- !ruby/object:Gem::Specification
+name: dry-monads-sorbet
+version: !ruby/object:Gem::Version
+  version: 1.0.0
+platform: ruby
+authors:
+- Luke Worth
+autorequire: 
+bindir: exe
+cert_chain: []
+date: 2019-12-02 00:00:00.000000000 Z
+dependencies:
+- !ruby/object:Gem::Dependency
+  name: sorbet
+  requirement: !ruby/object:Gem::Requirement
+    requirements:
+    - - ">="
+      - !ruby/object:Gem::Version
+        version: '0'
+  type: :runtime
+  prerelease: false
+  version_requirements: !ruby/object:Gem::Requirement
+    requirements:
+    - - ">="
+      - !ruby/object:Gem::Version
+        version: '0'
+- !ruby/object:Gem::Dependency
+  name: sorbet-runtime
+  requirement: !ruby/object:Gem::Requirement
+    requirements:
+    - - ">="
+      - !ruby/object:Gem::Version
+        version: '0'
+  type: :runtime
+  prerelease: false
+  version_requirements: !ruby/object:Gem::Requirement
+    requirements:
+    - - ">="
+      - !ruby/object:Gem::Version
+        version: '0'
+- !ruby/object:Gem::Dependency
+  name: dry-monads
+  requirement: !ruby/object:Gem::Requirement
+    requirements:
+    - - ">="
+      - !ruby/object:Gem::Version
+        version: '0'
+  type: :runtime
+  prerelease: false
+  version_requirements: !ruby/object:Gem::Requirement
+    requirements:
+    - - ">="
+      - !ruby/object:Gem::Version
+        version: '0'
+- !ruby/object:Gem::Dependency
+  name: bundler
+  requirement: !ruby/object:Gem::Requirement
+    requirements:
+    - - ">="
+      - !ruby/object:Gem::Version
+        version: '0'
+  type: :development
+  prerelease: false
+  version_requirements: !ruby/object:Gem::Requirement
+    requirements:
+    - - ">="
+      - !ruby/object:Gem::Version
+        version: '0'
+- !ruby/object:Gem::Dependency
+  name: pry
+  requirement: !ruby/object:Gem::Requirement
+    requirements:
+    - - ">="
+      - !ruby/object:Gem::Version
+        version: '0'
+  type: :development
+  prerelease: false
+  version_requirements: !ruby/object:Gem::Requirement
+    requirements:
+    - - ">="
+      - !ruby/object:Gem::Version
+        version: '0'
+- !ruby/object:Gem::Dependency
+  name: rake
+  requirement: !ruby/object:Gem::Requirement
+    requirements:
+    - - "~>"
+      - !ruby/object:Gem::Version
+        version: '10.0'
+  type: :development
+  prerelease: false
+  version_requirements: !ruby/object:Gem::Requirement
+    requirements:
+    - - "~>"
+      - !ruby/object:Gem::Version
+        version: '10.0'
+- !ruby/object:Gem::Dependency
+  name: rspec
+  requirement: !ruby/object:Gem::Requirement
+    requirements:
+    - - "~>"
+      - !ruby/object:Gem::Version
+        version: '3.0'
+  type: :development
+  prerelease: false
+  version_requirements: !ruby/object:Gem::Requirement
+    requirements:
+    - - "~>"
+      - !ruby/object:Gem::Version
+        version: '3.0'
+description: 
+email:
+- luke.worth@bellroy.com
+executables: []
+extensions: []
+extra_rdoc_files: []
+files:
+- ".github/workflows/rspec.yml"
+- ".gitignore"
+- ".reek.yml"
+- ".rspec"
+- ".rubocop.yml"
+- ".ruby-version"
+- CHANGELOG.md
+- Gemfile
+- LICENSE.txt
+- README.md
+- Rakefile
+- bin/console
+- bin/setup
+- dry-monads-sorbet.gemspec
+- lib/dry/monads/sorbet.rb
+- lib/dry/monads/sorbet/version.rb
+- rbi/dry-monads.rbi
+homepage: https://github.com/tricycle/dry-monads-sirbet
+licenses:
+- MIT
+metadata: {}
+post_install_message: 
+rdoc_options: []
+require_paths:
+- lib
+required_ruby_version: !ruby/object:Gem::Requirement
+  requirements:
+  - - ">="
+    - !ruby/object:Gem::Version
+      version: '0'
+required_rubygems_version: !ruby/object:Gem::Requirement
+  requirements:
+  - - ">="
+    - !ruby/object:Gem::Version
+      version: '0'
+requirements: []
+rubyforge_project: 
+rubygems_version: 2.7.6.2
+signing_key: 
+specification_version: 4
+summary: Sorbet type hints for Dry::Monads
+test_files: []