mona-result 0.1.0

checksums.yaml

@@ -0,0 +1,7 @@
+---
+SHA256:
+  metadata.gz: 170acae8e3dab4e7c9dec3b88b17cb8668a678290aafa5eb363da54261a5eab9
+  data.tar.gz: 0b327151acf8487019f87f5b859b1f940d766e67c84479c29ef1a70a4d26aeb1
+SHA512:
+  metadata.gz: 45ca05476a2621a4d6e76a190b37852880b9c69d43470ec77ed5dc9dabf7ec9f6cbe9771777adc369f69ce421e8297f2e5c5ee66df8bf43b12c62d1e0ce3c53d
+  data.tar.gz: 59684cbea28ce2392a1755edb70c9756786b1bf730900e5aaf0829a3a4a068a0742c6db907e3720d4533ff17ff57a2c7b5a72e7dd5d1364c4acfd4f6a4bafd80

data/.rubocop.yml

@@ -0,0 +1,20 @@
+AllCops:
+  TargetRubyVersion: 3.1
+  NewCops: enable
+
+Style/StringLiterals:
+  Enabled: true
+  EnforcedStyle: double_quotes
+
+Style/StringLiteralsInInterpolation:
+  Enabled: true
+  EnforcedStyle: double_quotes
+
+Style/NumberedParametersLimit:
+  Max: 2
+
+Naming/MethodParameterName:
+  MinNameLength: 2
+
+Layout/LineLength:
+  Max: 120

data/CHANGELOG.md

@@ -0,0 +1,5 @@
+## [Unreleased]
+
+## [0.1.0] - 2022-08-04
+
+- Initial release

data/Gemfile

@@ -0,0 +1,13 @@
+# frozen_string_literal: true
+
+source "https://rubygems.org"
+
+# Specify your gem's dependencies in mona-result.gemspec
+gemspec
+
+gem "minitest"
+gem "rake"
+gem "rubocop"
+gem "rubocop-minitest"
+gem "rubocop-rake"
+gem "steep"

data/Gemfile.lock

@@ -0,0 +1,82 @@
+PATH
+  remote: .
+  specs:
+    mona-result (0.1.0)
+
+GEM
+  remote: https://rubygems.org/
+  specs:
+    activesupport (7.0.3.1)
+      concurrent-ruby (~> 1.0, >= 1.0.2)
+      i18n (>= 1.6, < 2)
+      minitest (>= 5.1)
+      tzinfo (~> 2.0)
+    ast (2.4.2)
+    concurrent-ruby (1.1.10)
+    ffi (1.15.5)
+    i18n (1.12.0)
+      concurrent-ruby (~> 1.0)
+    json (2.6.2)
+    language_server-protocol (3.16.0.3)
+    listen (3.7.1)
+      rb-fsevent (~> 0.10, >= 0.10.3)
+      rb-inotify (~> 0.9, >= 0.9.10)
+    minitest (5.16.2)
+    parallel (1.22.1)
+    parser (3.1.2.1)
+      ast (~> 2.4.1)
+    rainbow (3.1.1)
+    rake (13.0.6)
+    rb-fsevent (0.11.1)
+    rb-inotify (0.10.1)
+      ffi (~> 1.0)
+    rbs (2.6.0)
+    regexp_parser (2.5.0)
+    rexml (3.2.5)
+    rubocop (1.33.0)
+      json (~> 2.3)
+      parallel (~> 1.10)
+      parser (>= 3.1.0.0)
+      rainbow (>= 2.2.2, < 4.0)
+      regexp_parser (>= 1.8, < 3.0)
+      rexml (>= 3.2.5, < 4.0)
+      rubocop-ast (>= 1.19.1, < 2.0)
+      ruby-progressbar (~> 1.7)
+      unicode-display_width (>= 1.4.0, < 3.0)
+    rubocop-ast (1.21.0)
+      parser (>= 3.1.1.0)
+    rubocop-minitest (0.21.0)
+      rubocop (>= 0.90, < 2.0)
+    rubocop-rake (0.6.0)
+      rubocop (~> 1.0)
+    ruby-progressbar (1.11.0)
+    steep (1.1.1)
+      activesupport (>= 5.1)
+      language_server-protocol (>= 3.15, < 4.0)
+      listen (~> 3.0)
+      parallel (>= 1.0.0)
+      parser (>= 3.1)
+      rainbow (>= 2.2.2, < 4.0)
+      rbs (>= 2.3.2)
+      terminal-table (>= 2, < 4)
+    terminal-table (3.0.2)
+      unicode-display_width (>= 1.1.1, < 3)
+    tzinfo (2.0.5)
+      concurrent-ruby (~> 1.0)
+    unicode-display_width (2.2.0)
+
+PLATFORMS
+  x86_64-darwin-21
+  x86_64-linux
+
+DEPENDENCIES
+  minitest
+  mona-result!
+  rake
+  rubocop
+  rubocop-minitest
+  rubocop-rake
+  steep
+
+BUNDLED WITH
+   2.3.19

data/LICENSE.txt

@@ -0,0 +1,21 @@
+The MIT License (MIT)
+
+Copyright (c) 2022 Ian White
+
+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,33 @@
+# Mona::Result
+
+Welcome to your new gem! In this directory, you'll find the files you need to be able to package up your Ruby library into a gem. Put your Ruby code in the file `lib/mona/result`. To experiment with that code, run `bin/console` for an interactive prompt.
+
+TODO: Delete this and the text above, and describe your gem
+
+## Installation
+
+Install the gem and add to the application's Gemfile by executing:
+
+    $ bundle add mona-result
+
+If bundler is not being used to manage dependencies, install the gem by executing:
+
+    $ gem install mona-result
+
+## Usage
+
+TODO: Write usage instructions here
+
+## Development
+
+After checking out the repo, run `bin/setup` to install dependencies. Then, run `rake test` to run the tests. You can also run `bin/console` for an interactive prompt that will allow you to experiment.
+
+To install this gem onto your local machine, run `bundle exec rake install`. To release a new version, update the version number in `version.rb`, and then run `bundle exec rake release`, which will create a git tag for the version, push git commits and the created tag, and push the `.gem` file to [rubygems.org](https://rubygems.org).
+
+## Contributing
+
+Bug reports and pull requests are welcome on GitHub at https://github.com/[USERNAME]/mona-result.
+
+## License
+
+The gem is available as open source under the terms of the [MIT License](https://opensource.org/licenses/MIT).

data/Rakefile

@@ -0,0 +1,20 @@
+# frozen_string_literal: true
+
+require "bundler/gem_tasks"
+require "rake/testtask"
+
+task :steep do
+  system "steep check" or raise "Steep type checking failed"
+end
+
+Rake::TestTask.new(:test) do |t|
+  t.libs << "test"
+  t.libs << "lib"
+  t.test_files = FileList["test/**/test_*.rb"]
+end
+
+require "rubocop/rake_task"
+
+RuboCop::RakeTask.new
+
+task default: %i[steep test rubocop]

data/Steepfile

@@ -0,0 +1,24 @@
+# frozen_string_literal: true
+
+D = Steep::Diagnostic
+
+target :lib do
+  signature "sig"
+
+  check "lib"
+
+  configure_code_diagnostics(D::Ruby.default)
+end
+
+target :test do
+  signature "sig"
+
+  check "test"
+
+  library "minitest", "mutex_m"
+
+  configure_code_diagnostics(D::Ruby.strict)
+  configure_code_diagnostics do |h|
+    h[D::Ruby::UnsupportedSyntax] = :information
+  end
+end

data/lib/mona/result/action.rb

@@ -0,0 +1,84 @@
+# frozen_string_literal: true
+
+module Mona
+  module Result
+    # mixin for objects that return Result::Dict results
+    #
+    # define #perform to do the work, use #set to add results to the Result::Dict, the first failure will abort the
+    # rest of the #perform method and the result will be returned.  This works like monadic 'do' notation.
+    #
+    # After a result is set at a key, it can be accessed via its key name as a method.
+    #
+    # use the Action with #call
+    #
+    # example:
+    #
+    #   class UpdateUser
+    #     inlcude Mona::Result::Action
+    #     include Auditing # for example, adds #audit(model, input) method
+    #
+    #     def perform(user_id, attributes)
+    #       set :user, UserRepo.find(user_id) # if find is Err, the block exits with failure of :user
+    #       set :input, UserInput.valid(attributes) # likewise if valid is Err, the block exits
+    #       set [:user, :input], UserRepo.update(user.id, input) # note that #input and #user are available methods
+    #                                                            # if update is Err it is set on the :input key
+    #       audit(user, input) # this only runs if all of the above set successful results
+    #     end
+    #   end
+    #
+    #   UpdateUser.new.call(user_id, attributes) # => Result
+    module Action
+      # You can create an Ephemeral Action as follows:
+      #
+      # Example:
+      #   compute = Mona::Result::Action::Ephemeral.new do |x, y|
+      #     set :numerator, x
+      #     puts "set numerator: #{numerator}"
+      #     set :denominator, y.zero? ? Result.failure(y, :zero) : y
+      #     puts "set denominator: #{denominator}"
+      #     set :answer, numerator / denominator
+      #     puts "answer: #{answer}"
+      #   end
+      #
+      #   > compute.call(10,2)
+      #   set numerator: 10
+      #   set denominator: 2
+      #   answer: 5
+      #   => #<Result success: {:numerator=>10, :denominator=>2, :answer=>5}>
+      #
+      #   > compute.call(10,0)
+      #   set numerator: 10
+      #   => #<Result failure: {:numerator=>10, :denominator=>0}, error: {:error=>:zero, :on=>:denominator}>
+      #
+      # Mona::Result.action is a shortcut for this
+      class Ephemeral
+        include Action
+
+        def initialize(&perform)
+          @perform = perform
+        end
+
+        def perform(*args, **kwargs) = instance_exec(*args, **kwargs, &@perform)
+      end
+
+      def call(*args, **kwargs)
+        @sequence = Sequence.new
+        @sequence.call { |_sequence| perform(*args, **kwargs) }
+      ensure
+        remove_instance_variable :@sequence
+      end
+
+      private
+
+      def set(key, value) = @sequence.set(key, value)
+
+      def respond_to_missing?(key, _include_private = false) = @sequence.key?(key)
+
+      def method_missing(key, *args)
+        return @sequence.fetch(key) if args.empty? && @sequence.key?(key)
+
+        raise NoMethodError, "no method `#{key}' for #{self}"
+      end
+    end
+  end
+end

data/lib/mona/result/dict.rb

@@ -0,0 +1,57 @@
+# frozen_string_literal: true
+
+module Mona
+  module Result
+    # Represents a dictionary of results, it is successful if all results are successful, and a failure if one
+    # is a failure. A Result::Dict can only contain one failure.
+    class Dict
+      # factory method that returns {Dict::Success} or {Dict::Failure}
+      def self.new(initial = {}, &block)
+        result = Dict::EMPTY
+        initial.each { |k, v| result = result.set(k, v) }
+        result = result.sequence(&block) if block
+        result
+      end
+
+      # Dict read interface
+      module ReadInterface
+        def [](key) = to_h[key]
+
+        def key?(key) = to_h.key?(key)
+
+        def fetch(key) = to_h.fetch(key)
+      end
+
+      # OK dict result
+      class OK < Result::OK
+        include ReadInterface
+
+        def set(key, to_result)
+          key, failure_key = key if key.is_a?(Array)
+          failure_key ||= key
+
+          Result[to_result].either \
+            ->(value)                { OK.new to_h.merge(key => value) },
+            ->(failure, reason, **m) { Err.new to_h.merge(failure_key => failure), reason, **m, key: failure_key }
+        end
+
+        def sequence(&) = Sequence.new(self).call(&)
+
+        def to_h = @value
+      end
+
+      # Err dict result
+      class Err < Result::Err
+        include ReadInterface
+
+        def set(_key, _val) = raise(Error, "cannot #set on #{self}")
+
+        def sequence(&) = self
+
+        def to_h = @failure
+      end
+
+      EMPTY = OK.new({}).freeze
+    end
+  end
+end

data/lib/mona/result/err.rb

@@ -0,0 +1,48 @@
+# frozen_string_literal: true
+
+module Mona
+  module Result
+    # A Error or failure result, with optional reason, and metadata
+    class Err
+      def initialize(failure, reason = nil, **meta)
+        raise ArgumentError, "meta can't contain :reason key" if meta.key?(:reason)
+
+        @failure = failure.freeze
+        @reason = reason
+        @meta = meta
+      end
+
+      attr_reader :failure, :reason, :meta
+
+      def ok? = false
+
+      def err? = true
+
+      def value_or(&) = yield
+
+      def ok(&) = nil
+
+      def err(&) = yield @failure, @reason, **@meta
+
+      def either(_ok, err) = err.call(@failure, @reason, **@meta)
+
+      def and_then(&) = self
+
+      def and_tap(&) = self
+
+      def or_else(&) = Result[yield @failure, @reason, **@meta]
+
+      def deconstruct = [:err, @failure, @reason, @meta]
+
+      def deconstruct_keys(_keys = nil) = { err: @failure, reason: @reason, **@meta }
+
+      def to_result = self
+
+      def to_s
+        "#<Err #{@failure.inspect} #{{ reason: @reason, **@meta }.map{ "#{_1}: #{_2.inspect}" }.join(", ")}>"
+      end
+
+      alias inspect to_s
+    end
+  end
+end

data/lib/mona/result/error.rb

@@ -0,0 +1,18 @@
+# frozen_string_literal: true
+
+module Mona
+  module Result
+    # Base error for Result
+    class Error < StandardError; end
+
+    # raised when Result::Match does not match the result
+    class NoMatchError < Error
+      attr_reader :result
+
+      def initialize(result)
+        @result = result
+        super("No match found for #{result}")
+      end
+    end
+  end
+end

data/lib/mona/result/match.rb

@@ -0,0 +1,53 @@
+# frozen_string_literal: true
+
+module Mona
+  module Result
+    # Use Match.call to respond to result success or failure
+    #
+    # Result::Match.call(result) do |r|
+    #   r.ok                 { |value| ... }
+    #   r.err(error, **meta) { |failure, reason, **meta| ... }
+    #   r.err(error)         { |failure, reason, **meta| ... }
+    #   r.err                { |failure, reason, **meta| ... }
+    # end
+    class Match
+      def self.call(result, &) = new(result).call(&)
+
+      def initialize(result)
+        @throw = Object.new
+        @result = result
+      end
+
+      def call
+        catch @throw do
+          yield self
+          raise NoMatchError, @result
+        end
+      end
+
+      def ok
+        @result.and_then do |value|
+          throw @throw, yield(value)
+        end
+      end
+
+      def err(match_reason = nil, **match_meta)
+        @result.or_else do |failure, reason, **meta|
+          if match_reason?(match_reason, reason) && match_meta?(match_meta, meta)
+            throw @throw, yield(failure, reason, **meta)
+          end
+        end
+      end
+
+      private
+
+      def match_reason?(match_reason, reason)
+        match_reason.nil? || match_reason === reason # rubocop:disable Style/CaseEquality
+      end
+
+      def match_meta?(match_meta, meta)
+        match_meta.all? { |key, val| val.nil? || val === meta[key] } # rubocop:disable Style/CaseEquality
+      end
+    end
+  end
+end

data/lib/mona/result/ok.rb

@@ -0,0 +1,42 @@
+# frozen_string_literal: true
+
+module Mona
+  module Result
+    # A Successful (OK) result
+    class OK
+      def initialize(value)
+        @value = value.freeze
+      end
+
+      attr_reader :value
+
+      def value_or(&) = @value
+
+      def ok? = true
+
+      def err? = false
+
+      def ok(&) = yield @value
+
+      def err(&) = nil
+
+      def either(ok, _err) = ok.call(@value)
+
+      def and_then(&) = Result[yield @value]
+
+      def and_tap(&) = tap { yield @value }
+
+      def or_else(&) = self
+
+      def deconstruct = [:ok, @value]
+
+      def deconstruct_keys(_keys = nil) = { ok: @value }
+
+      def to_result = self
+
+      def to_s = "#<OK #{@value.inspect}>"
+
+      alias inspect to_s
+    end
+  end
+end

data/lib/mona/result/sequence.rb

@@ -0,0 +1,33 @@
+# frozen_string_literal: true
+
+module Mona
+  module Result
+    # Sequence.call { ... } allows monadic 'do' notation for Result::Dict, where #set-ing the first failure skips the
+    # remainder of the block and returns the Result::Dict
+    class Sequence
+      include Dict::ReadInterface
+
+      def self.call(result = Dict::EMPTY, &) = new(result).call(&)
+
+      def initialize(result = Dict::EMPTY)
+        @result = result
+        @throw = Object.new
+      end
+
+      def call
+        catch(@throw) do
+          yield self
+          @result
+        end
+      end
+
+      def set(key, value)
+        @result = @result.set(key, value)
+      ensure
+        throw @throw, @result if @result.err?
+      end
+
+      def to_h = @result.to_h
+    end
+  end
+end

data/lib/mona/result/version.rb

@@ -0,0 +1,7 @@
+# frozen_string_literal: true
+
+module Mona
+  module Result
+    VERSION = "0.1.0"
+  end
+end

data/lib/mona/result.rb

@@ -0,0 +1,37 @@
+# frozen_string_literal: true
+
+require_relative "result/version"
+require_relative "result/error"
+
+module Mona
+  # Monadic result
+  #
+  # @author Ian White
+  # @since 0.1.0
+  module Result
+    autoload :OK,       "mona/result/ok.rb"
+    autoload :Err,      "mona/result/err.rb"
+    autoload :Match,    "mona/result/match.rb"
+    autoload :Dict,     "mona/result/dict.rb"
+    autoload :Sequence, "mona/result/sequence.rb"
+    autoload :Action,   "mona/result/action.rb"
+
+    def self.[](obj) = obj.respond_to?(:to_result) ? obj.to_result : OK.new(obj)
+
+    module_function
+
+    def to_result(obj) = Result[obj]
+
+    def ok(value) = OK.new(value)
+
+    def err(failure, reason = nil, **meta) = Err.new(failure, reason, **meta)
+
+    def on_result(result, &) = Match.call(result, &)
+
+    def on_ok(result, &) = Match.call(result) { _1.ok(&) }
+
+    def dict(initial = {}, &) = Dict.new(initial, &)
+
+    def action(&) = Action::Ephemeral.new(&)
+  end
+end

data/sig/mona/result.rbs

@@ -0,0 +1,177 @@
+module Mona
+  module Result
+    VERSION: String
+
+    type dict        = Hash[Symbol, untyped]
+    type keys        = Array[Symbol]
+    type result[T]   = (_OK[T] | _Err[T])
+    type dict_result = result[dict] & _Dict
+    type set_key     = (Symbol | [Symbol, Symbol])
+
+    def self.[]: (untyped) -> result[untyped]
+    def self?.to_result: (untyped) -> result[untyped]
+    def self?.ok: [T] (T) -> _OK[T]
+    def self?.err: [T] (T, ?untyped, **untyped) -> _Err[T]
+    def self?.dict: (?dict) ?{ (Sequence) -> void } -> dict_result
+    def self?.on_result: (result[untyped]) { (Match) -> void } -> untyped
+    def self?.on_ok: (result[untyped]) { (untyped) -> void } -> untyped
+    def self?.action: () { (*untyped) -> void } -> Action::Ephemeral
+
+    interface _OK[T]
+      def initialize: (T) -> void
+      def value: -> T
+      def ok?: -> true
+      def err?: -> false
+      def ok: [R] () { (T) -> R } -> R
+      def err: () { (T, untyped, **untyped) -> void } -> nil
+      def either: [R] (^(T) -> R, ^(T, untyped, **untyped) -> void) -> R
+      def value_or: () { -> void } -> T
+      def and_then: () { (T) -> untyped } -> result[untyped]
+      def and_tap: () { (T) -> void } -> self
+      def or_else: () { (T, ?untyped, **untyped) -> untyped } -> self
+      def deconstruct: -> [:ok, T]
+      def deconstruct_keys: (?keys?) -> { ok: T }
+    end
+
+    interface _Err[T]
+      def initialize: (T, ?untyped, **untyped) -> void
+      def failure: -> T
+      def reason: -> untyped
+      def meta: -> dict
+      def ok?: -> false
+      def err?: -> true
+      def ok: () { (untyped) -> void } -> nil
+      def err: [R] () { (T, untyped, **untyped) -> R } -> R
+      def either: [R] (^(T) -> void, ^(T, untyped, **untyped) -> R) -> R
+      def value_or: [R] () { -> R } -> R
+      def and_then: () { (T) -> untyped } -> self
+      def and_tap: () { (T) -> void } -> self
+      def or_else: () { (T, ?untyped, **untyped) -> untyped } -> result[untyped]
+      def deconstruct: -> [:err, T, untyped, dict]
+      def deconstruct_keys: (?keys?) -> dict
+    end
+
+    interface _ToH
+      def to_h: -> dict
+    end
+
+    interface _DictRead
+      def key? : (Symbol) -> bool
+      def fetch : (Symbol) -> untyped
+      def [] : (Symbol) -> untyped
+    end
+
+    interface _Dict
+      include _DictRead
+      def set: (set_key, untyped) -> dict_result
+      def sequence: () { (Sequence) -> void } -> dict_result
+      def to_h: -> dict
+    end
+
+    interface _Perform
+      def perform: (*untyped, **untyped) -> void
+    end
+
+    class Error < StandardError
+    end
+
+    class NoMatchError < Error
+      attr_reader result: _Err[untyped]
+      def initialize: (_Err[untyped]) -> void
+    end
+
+    class OK
+      include _OK[untyped]
+
+      @value: untyped
+    end
+
+    class Err
+      include _Err[untyped]
+
+      @failure: untyped
+      @reason: untyped
+      @meta: dict
+    end
+
+    class Dict
+      EMPTY: dict_result
+
+      module ReadInterface : _ToH
+        include _DictRead
+      end
+
+      class OK < Result::OK
+        include ReadInterface
+
+        include _OK[dict]
+        include _Dict
+
+        @value: dict
+      end
+
+      class Err < Result::Err
+        include ReadInterface
+
+        include _Err[dict]
+        include _Dict
+
+        @failure: dict
+        @reason: untyped
+        @meta: dict
+      end
+
+      def self.new: (?dict) ?{ (Sequence) -> void } -> dict_result
+    end
+
+    class Match
+      @throw: Object
+      @result: result[untyped]
+
+      def self.call: (result[untyped]) { (Match) -> void } -> untyped
+      def initialize: (result[untyped]) -> void
+      def call: () { (Match) -> void } -> untyped
+      def ok: () { (untyped) -> void } -> void
+      def err: (?untyped, **untyped) { (untyped, ?untyped, **untyped) -> void } -> void
+
+      private
+
+      def match_reason?: (untyped, untyped) -> bool
+      def match_meta?: (untyped, untyped) -> bool
+    end
+
+    class Sequence
+      include Dict::ReadInterface
+
+      @throw: Object
+      @result: dict_result
+
+      def self.call: (?dict_result) { (Sequence) -> void } -> dict_result
+      def initialize: (?dict_result) -> void
+      def call: () { (Sequence) -> void } -> dict_result
+      def set: (set_key, untyped) -> void
+      def to_h: -> dict
+    end
+
+    module Action : _Perform
+      class Ephemeral
+        include Action
+
+        @perform: ^(*untyped, **untyped) -> void
+
+        def initialize: () { (*untyped, **untyped) -> void } -> void
+        def perform: (*untyped, **untyped) -> void
+      end
+
+      @sequence: Sequence
+
+      def call: (*untyped, **untyped) -> dict_result
+
+      private
+
+      def set: (set_key, untyped) -> void
+      def respond_to_missing?: (Symbol, ?bool) -> bool
+      def method_missing: (Symbol, *untyped) -> untyped
+    end
+  end
+end

metadata

@@ -0,0 +1,65 @@
+--- !ruby/object:Gem::Specification
+name: mona-result
+version: !ruby/object:Gem::Version
+  version: 0.1.0
+platform: ruby
+authors:
+- Ian White
+autorequire:
+bindir: exe
+cert_chain: []
+date: 2022-08-09 00:00:00.000000000 Z
+dependencies: []
+description: Mona::Result provides a result monad, and dict_result monad
+email:
+- ian.w.white@gmail.com
+executables: []
+extensions: []
+extra_rdoc_files: []
+files:
+- ".rubocop.yml"
+- CHANGELOG.md
+- Gemfile
+- Gemfile.lock
+- LICENSE.txt
+- README.md
+- Rakefile
+- Steepfile
+- lib/mona/result.rb
+- lib/mona/result/action.rb
+- lib/mona/result/dict.rb
+- lib/mona/result/err.rb
+- lib/mona/result/error.rb
+- lib/mona/result/match.rb
+- lib/mona/result/ok.rb
+- lib/mona/result/sequence.rb
+- lib/mona/result/version.rb
+- sig/mona/result.rbs
+homepage: https://github.com/mona/mona-result
+licenses:
+- MIT
+metadata:
+  rubygems_mfa_required: 'true'
+  homepage_uri: https://github.com/mona/mona-result
+  source_code_uri: https://github.com/mona/mona-result
+  changelog_uri: https://github.com/mona/mona-result/CHANGELOG.md
+post_install_message:
+rdoc_options: []
+require_paths:
+- lib
+required_ruby_version: !ruby/object:Gem::Requirement
+  requirements:
+  - - ">="
+    - !ruby/object:Gem::Version
+      version: 3.1.0
+required_rubygems_version: !ruby/object:Gem::Requirement
+  requirements:
+  - - ">="
+    - !ruby/object:Gem::Version
+      version: '0'
+requirements: []
+rubygems_version: 3.3.7
+signing_key:
+specification_version: 4
+summary: Mona::Result is a result Monad for ruby
+test_files: []