linguadata 0.1.0 → 0.1.2

checksums.yaml

@@ -1,7 +1,7 @@
 ---
 SHA256:
-  metadata.gz: aee10a6dc55a1876434e26a5ce69a31f0aa2af115e695119c24725b0be5d7bd4
-  data.tar.gz: ef7ca5fc1601445335b0d96e2728901e484d481705ac753b1a61f12de70bc69b
+  metadata.gz: 73c63c761385db0071d25a86b64374932728d8004849412857382f14412a6fe6
+  data.tar.gz: 13db35cd3eb4ca92130227777459243bee1178e20e30ebaa926d7efb64fab3d8
 SHA512:
-  metadata.gz: 142baa27ab1b10eeb5ff881fc6fe19b9da083eca4a7b6fc59b825de562dff0622a726b5382123930b4bb437b2b8e8577a4c288afec765a1cd437288c023fd89a
-  data.tar.gz: 54159013543920cf8a3245ff2805b61605b4fd6f458d9cfb7eb8777fc79f508c4eb647111f2a2f22a9788ccac6937e8ef8e14dc05b5b2cd88e05c881960b578e
+  metadata.gz: 4bcbee3fb2455fed89cb8081dd2816e5cdaa23282dee13c3cd357a4474d4d907a15239519d5c28935f8a80fadc10c5a5a780299832e0e317162fab27aa1d1981
+  data.tar.gz: bf6e4aec32b7d892fd10513ad7f627b623b41ed1a61eda25b4559302d58f65f1fe70de06650061eb5a428971caf03f9e12b15386fa9711f7d296d542a0bd7ac4

data/Gemfile.lock

@@ -1,7 +1,7 @@
 PATH
   remote: .
   specs:
-    linguadata (0.1.0)
+    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.0"
+  VERSION = "0.1.2"
 end

data/lib/linguadata.rb

@@ -1,4 +1,3 @@
-# typed: strict
 # frozen_string_literal: true
 
 require_relative "linguadata/version"
@@ -67,6 +66,10 @@ module Linguadata
 
       def unwrap_failure = error
 
+      def success? = true
+
+      def failure? = false
+
       def success = Option::Some[value]
 
       def failure = Option::None[]
@@ -75,6 +78,8 @@ module Linguadata
 
       def map_failure(&_block) = self
 
+      def or_else(&_block) = self
+
       def and_then(&block) = block.call(value)
     end
 
@@ -85,6 +90,10 @@ module Linguadata
 
       def unwrap_failure = error
 
+      def success? = false
+
+      def failure? = true
+
       def success = Option::None[]
 
       def failure = Option::Some[error]
@@ -93,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
@@ -85,6 +85,10 @@ module Linguadata
 
       def unwrap_failure: () -> E
 
+      def success?: () -> bool
+
+      def failure?: () -> bool
+
       def success: () -> Option::option[T]
 
       def failure: () -> Option::option[E]
@@ -93,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.0
+  version: 0.1.2
 platform: ruby
 authors:
 - Daniel Pechersky