linguadata 0.1.1 → 0.1.2

checksums.yaml

@@ -1,7 +1,7 @@
 ---
 SHA256:
-  metadata.gz: 2042e08625e0a7b40800f328540e6d180ada08331d4cac04899d432cd5663d5a
-  data.tar.gz: e888738880b183d226e258248d9315c6f3b12d05d5aa421b5d85bc807eebe4de
+  metadata.gz: 73c63c761385db0071d25a86b64374932728d8004849412857382f14412a6fe6
+  data.tar.gz: 13db35cd3eb4ca92130227777459243bee1178e20e30ebaa926d7efb64fab3d8
 SHA512:
-  metadata.gz: 6d002bbc8ad073beedc8314c60f7d1a83731c382057d49e2cb9bfc58d70a0f6d898d0c6f0e2ea0e8b812b2a55c4b202eca50a3381f4d975ac7876265f71c2e59
-  data.tar.gz: '005090ea3dfbd9a31a16f574c5384cda251ba615e8693445a0d86e8bfb5a8df381a46f6ea4f8eedd4902ca7e4eba622777a0c06ae19dbb39b2cd8865cc7656aa'
+  metadata.gz: 4bcbee3fb2455fed89cb8081dd2816e5cdaa23282dee13c3cd357a4474d4d907a15239519d5c28935f8a80fadc10c5a5a780299832e0e317162fab27aa1d1981
+  data.tar.gz: bf6e4aec32b7d892fd10513ad7f627b623b41ed1a61eda25b4559302d58f65f1fe70de06650061eb5a428971caf03f9e12b15386fa9711f7d296d542a0bd7ac4

data/Gemfile.lock

@@ -1,7 +1,7 @@
 PATH
   remote: .
   specs:
-    linguadata (0.1.1)
+    linguadata (0.1.2)
 
 GEM
   remote: https://rubygems.org/

data/lib/linguadata/version.rb

@@ -1,6 +1,5 @@
-# typed: strict
 # frozen_string_literal: true
 
 module Linguadata
-  VERSION = "0.1.1"
+  VERSION = "0.1.2"
 end

data/lib/linguadata.rb

@@ -1,4 +1,3 @@
-# typed: strict
 # frozen_string_literal: true
 
 require_relative "linguadata/version"
@@ -79,6 +78,8 @@ module Linguadata
 
       def map_failure(&_block) = self
 
+      def or_else(&_block) = self
+
       def and_then(&block) = block.call(value)
     end
 
@@ -101,6 +102,8 @@ module Linguadata
 
       def map_failure(&block) = Failure[block.call(error)]
 
+      def or_else(&block) = block.call(error)
+
       def and_then(&_block) = self
     end
   end

data/sig/linguadata.rbs

@@ -3,26 +3,22 @@ module Linguadata
 
   module DataHelpers
     class ZeroItemData < Data
-      def self.new: () -> instance
-
-      def self.[]: () -> instance
-
       def deconstruct: () -> [ ]
 
       def deconstruct_keys: (?Array[Symbol]?) -> { }
     end
 
-    class OneItemData[T] < Data
+    class OneItemData[out T] < Data
       def deconstruct: () -> [T]
 
-      def deconstruct_keys: (?Array[Symbol]?) -> { Symbol: T }
+      def deconstruct_keys: (?Array[Symbol]?) -> ({ } | { Symbol: T })
     end
   end
 
   module Option
-    type option[T] = Some[T] | None
+    type option[out T] = Some[T] | None
 
-    class Some[T] < DataHelpers::OneItemData[T]
+    class Some[out T] < DataHelpers::OneItemData[T]
       include _Option[T]
 
       def self.new: [T] (T) -> Some[T]
@@ -32,9 +28,13 @@ module Linguadata
 
     class None < DataHelpers::ZeroItemData
       include _Option[bot]
+
+      def self.new: () -> None
+
+      def self.[]: () -> None
     end
 
-    interface _Option[T]
+    interface _Option[out T]
       def value: () -> T
 
       def unwrap: () -> T
@@ -58,9 +58,9 @@ module Linguadata
   end
 
   module Result
-    type result[T, E] = Success[T] | Failure[E]
+    type result[out T, out E] = Success[T] | Failure[E]
 
-    class Success[T] < DataHelpers::OneItemData[T]
+    class Success[out T] < DataHelpers::OneItemData[T]
       include _Result[T, bot]
 
       def self.new: [T] (T) -> Success[T]
@@ -68,7 +68,7 @@ module Linguadata
       def self.[]: [T] (T) -> Success[T]
     end
 
-    class Failure[E] < DataHelpers::OneItemData[E]
+    class Failure[out E] < DataHelpers::OneItemData[E]
       include _Result[bot, E]
 
       def self.new: [E] (E) -> Failure[E]
@@ -76,7 +76,7 @@ module Linguadata
       def self.[]: [E] (E) -> Failure[E]
     end
 
-    interface _Result[T, E]
+    interface _Result[out T, out E]
       def value: () -> T
 
       def error: () -> E
@@ -97,7 +97,9 @@ module Linguadata
 
       def map_failure: [F] { (E) -> F } -> result[T, F]
 
-      def and_then: [U] { (T) -> result[U, E] } -> result[U, E]
+      def or_else: [U, F] { (E) -> result[U, F] } -> result[T | U, F]
+
+      def and_then: [U, F] { (T) -> result[U, F] } -> result[U, E | F]
     end
   end
 end

metadata

@@ -1,7 +1,7 @@
 --- !ruby/object:Gem::Specification
 name: linguadata
 version: !ruby/object:Gem::Version
-  version: 0.1.1
+  version: 0.1.2
 platform: ruby
 authors:
 - Daniel Pechersky