rstructural 0.2.0 → 0.3.0

checksums.yaml

@@ -1,7 +1,7 @@
 ---
 SHA256:
-  metadata.gz: 2127165f6a372306fb6f9e518457b57705636560c187ff59aa85418d41c4c725
-  data.tar.gz: cfc374a5b5a5694719ffb3a9142d2d5990bb8c21df3c48a47168e253e0a3bd2a
+  metadata.gz: 4a7909862f6c8e1218224beba82ea52bb2ca8ccd2d489d8f988c3c2e4c760537
+  data.tar.gz: 407a43807cbdd57c068b533398b54737f1160c95fc0c02d64237b8def7f3221d
 SHA512:
-  metadata.gz: 85a86e425fc24176d3019c2694cf9ea942b806292b8a61a86e106c5adcb4200722199d95e6ba2bf0ba0b79f29c723176953e7de8e3a44e2d9e8b1a5914826e77
-  data.tar.gz: 27efa42db6472c158a3c28df59ae3ab80863bbcb20b4e8f824aa6a539524ad5711aec5b495ba659273de25488adeb7b04aee9574940f341678be88ff3e860986
+  metadata.gz: e66a4919105969c110c63701cf6dcc866e4b52317c96c13dcd5d2878677a5377b428e73d81c553288c7287eb3aca04713df345523a5de3935457837e3c7248c9
+  data.tar.gz: 91e03c79a6d525cab6e5ced41c08078b813aeaaccf8eb8173aeb92a363f47895623d7ffdb8aadc6fe9a7b8896b0e4afa280a5986d8ec711c2223442fa60a3034

data/lib/rstructural.rb

@@ -1,6 +1,8 @@
 require_relative './rstructural/struct'
 require_relative './rstructural/enum'
 require_relative './rstructural/adt'
+require_relative './rstructural/option'
+require_relative './rstructural/either'
 
 module Rstructural
 end
@@ -9,3 +11,5 @@ end
 Rstruct = Rstructural::Struct
 Enum = Rstructural::Enum
 ADT = Rstructural::ADT
+Option = Rstructural::Option
+Either = Rstructural::Either

data/lib/rstructural/adt.rb

@@ -5,6 +5,7 @@ require_relative './struct'
 module Rstructural::ADT
   def self.extended(klass)
     klass.class_variable_set(:@@adt_types, [])
+    klass.class_variable_set(:@@adt_super_class, klass)
   end
 
   def const(value = nil, &block)
@@ -14,6 +15,8 @@ module Rstructural::ADT
       Rstructural::Struct.new(__caller: caller, &block).new
     end.tap do |k|
       self.class_variable_get(:@@adt_types) << k
+      k.class.include(self.class_variable_get(:@@adt_super_class))
+
       def k.name
         self.class.name
       end
@@ -21,7 +24,10 @@ module Rstructural::ADT
   end
 
   def data(*fields, &block)
-    Rstructural::Struct.new(*fields, __caller: caller, &block).tap { |k| self.class_variable_get(:@@adt_types) << k }
+    Rstructural::Struct.new(*fields, __caller: caller, &block).tap do |k|
+      k.include(self.class_variable_get(:@@adt_super_class))
+      self.class_variable_get(:@@adt_types) << k
+    end
   end
 
   def interface(&block)

data/lib/rstructural/either.rb

@@ -0,0 +1,110 @@
+# frozen_string_literal: true
+require_relative './adt'
+
+module Rstructural::Either
+  extend Rstructural::ADT
+
+  Left = data :value
+  Right = data :value
+
+  def self.left(obj)
+    Left.new(obj)
+  end
+
+  def self.right(obj)
+    Right.new(obj)
+  end
+
+  def self.try(&block)
+    result = block.call
+    Right.new(result)
+  rescue => e
+    Left.new(e)
+  end
+
+  interface do
+    def right?
+      case self
+      in Left
+        false
+      in Right
+        true
+      end
+    end
+
+    def left?
+      !right?
+    end
+
+    def map(&f)
+      case self
+      in Left
+        self
+      in Right[value]
+        Right.new(f.call(value))
+      end
+    end
+
+    def map_left(&f)
+      case self
+      in Left[value]
+        Left.new(f.call(value))
+      in Right
+        self
+      end
+    end
+
+    def flat_map(&f)
+      case self
+      in Left
+        self
+      in Right[value]
+        f.call(value)
+      end
+    end
+
+    def flat_map_left(&f)
+      case self
+      in Left[value]
+        f.call(value)
+      in Right
+        self
+      end
+    end
+
+    def swap
+      case self
+      in Left[value]
+        Right.new(value)
+      in Right[value]
+        Left.new(value)
+      end
+    end
+
+    def right_or_else(default = nil)
+      case self
+      in Right[value]
+        value
+      in Left
+        if block_given?
+          yield
+        else
+          default
+        end
+      end
+    end
+
+    def left_or_else(default = nil)
+      case self
+      in Left[value]
+        value
+      in Right
+        if block_given?
+          yield
+        else
+          default
+        end
+      end
+    end
+  end
+end

data/lib/rstructural/enum.rb

@@ -5,6 +5,7 @@ require_relative './struct'
 module Rstructural::Enum
   def self.extended(klass)
     klass.class_variable_set(:@@enum_values, [])
+    klass.class_variable_set(:@@enum_super_class, klass)
   end
 
   def enum(value, &block)
@@ -13,6 +14,7 @@ module Rstructural::Enum
     end
     Rstructural::Struct.new(:value, __caller: caller, &block).new(value).tap do |k|
       self.class_variable_get(:@@enum_values) << k
+      k.class.include(self.class_variable_get(:@@enum_super_class))
       def k.name
         self.class.name
       end

data/lib/rstructural/option.rb

@@ -0,0 +1,61 @@
+# frozen_string_literal: true
+require_relative './adt'
+
+module Rstructural::Option
+  extend Rstructural::ADT
+
+  Some = data :value
+  None = const do
+    def value
+      nil
+    end
+  end
+
+  def self.of(obj)
+    obj.nil? ? None : Some.new(obj)
+  end
+
+  interface do
+    def map(&f)
+      case self
+      in Some[value]
+        Option.of(f.call(value))
+      in None
+        None
+      end
+    end
+
+    def flat_map(&f)
+      case self
+      in Some[value]
+        f.call(value)
+      in None
+        None
+      end
+    end
+
+    def get_or_else(default = nil)
+      case self
+      in Some[value]
+        value
+      in None
+        if block_given?
+          yield
+        else
+          default
+        end
+      end
+    end
+
+    def flatten
+      case self
+      in Some[value] if value.is_a?(Option)
+        value.flatten
+      in Some[value]
+        Option.of(value)
+      in None
+        None
+      end
+    end
+  end
+end

data/lib/rstructural/struct.rb

@@ -1,3 +1,5 @@
+# frozen_string_literal: true
+#
 module Rstructural
   module Struct
     def self.new(*attributes, __caller: nil, &block)

data/rstructural.gemspec

@@ -1,6 +1,6 @@
 Gem::Specification.new do |spec|
   spec.name          = "rstructural"
-  spec.version       = "0.2.0"
+  spec.version       = "0.3.0"
   spec.authors       = ["petitviolet"]
   spec.email         = ["violethero0820@gmail.com"]
 

metadata

@@ -1,14 +1,14 @@
 --- !ruby/object:Gem::Specification
 name: rstructural
 version: !ruby/object:Gem::Version
-  version: 0.2.0
+  version: 0.3.0
 platform: ruby
 authors:
 - petitviolet
 autorequire: 
 bindir: exe
 cert_chain: []
-date: 2020-01-14 00:00:00.000000000 Z
+date: 2020-01-29 00:00:00.000000000 Z
 dependencies:
 - !ruby/object:Gem::Dependency
   name: byebug
@@ -43,7 +43,9 @@ files:
 - bin/setup
 - lib/rstructural.rb
 - lib/rstructural/adt.rb
+- lib/rstructural/either.rb
 - lib/rstructural/enum.rb
+- lib/rstructural/option.rb
 - lib/rstructural/struct.rb
 - rstructural.gemspec
 homepage: https://github.com/petitviolet/rstructural