data.maybe 0.0.0

checksums.yaml

@@ -0,0 +1,7 @@
+---
+SHA1:
+  metadata.gz: 8806e85d0ca8b9733e9bf574476aabf3eb61bba5
+  data.tar.gz: a0df6bfe5d96121adb1112b7db2ec0181e4f58ef
+SHA512:
+  metadata.gz: 03c0be25899d188fc7ac9e18332094e07fe40c77970572d536ba7ddb113d01c560afb5f6661dae47ecea83afde65a571414e727bbd89c9f12b718af391f6a221
+  data.tar.gz: 536c7efbbf71487e5b189fc851df60d26bb78108100ca950335c616e027815f8ff48170c143ce5e8a044be4be5636e5ee79b3cab1f273eb9397578435c0242be

data/lib/control/monad.rb

@@ -0,0 +1,25 @@
+require 'helper'
+module Control
+  module Functor
+    extend Helper
+    def map
+      raise 'map No defined'
+    end
+    alias_names [:fmap], :map
+  end
+
+  module Monad
+    extend Helper
+    include Functor
+    def flat_map
+      raise 'flat_map No defined'
+    end
+    alias :fmap :map
+    alias_names [:bind, :chain], :flat_map
+    
+    def >> k
+      self.flat_map { |_| k }
+    end
+  end
+
+end

data/lib/data.maybe.rb

@@ -0,0 +1,118 @@
+require 'control/monad'
+require 'singleton'
+# The `Either` union type represents values with two possibilities:
+#
+# `Either a b` is either `Left a` or `Right b`
+module Maybe
+  include Control::Monad
+
+  # Either only contain one value @v
+  # @return [Either]
+  def initialize v=nil
+    @v = v
+  end
+
+  # get value `a` out from `Right a`, otherwise return `e`
+  def get_or_else e
+    case self
+      when Just
+        @v
+      else
+        e
+    end
+  end
+
+  # overide of Functor's `fmap`, apply function on `Right a`'s value `a`, do nothing if it's `Left e`
+  #
+  # ``` ruby
+  #   Right.new(1).map {|x| x + 1} # => #<Right value=2>
+  #   Left.new(1).map {|x| x + 1} # => #<Left value=1>
+  # ```
+  # @return [Either]
+  def map
+    case self
+    when Just
+      Just.new(yield @v)
+    else
+      self
+    end
+  end
+  
+  # it override {Monad#flat_map}, as Haskell's `>flat_map` method
+  # if it's {Right}, pass the value to #flat_map's block, and flat the result
+  # of the block.
+  #
+  # when it's {Left}, do nothing
+  # ``` ruby
+  # expect(Right.new(1).flat_map { |x| Left.new } ).to eq(Left.new)
+  # expect(Left.new(1).flat_map { |x| Left.new } ).to eq(Left.new(1))
+  # ```
+  # @return [Either]
+  def flat_map
+    case self
+    when Just
+      yield @v
+    else
+      self
+    end
+  end
+
+  # similar to Scala's `match` for case class
+  #
+  # will pattern match the value out and pass to matched lambda
+  #
+  # ``` ruby
+  # Right.new(1).when({Right: ->x{x+1} }) # => 2
+  # Right.new(1).when({Left: ->x{x+1}) # => nil
+  # Right.new(1).when({Left: ->x{x+1}, _: ->x{x-1} }) # => 0
+  # ```
+  # @return [Either]
+  def when what
+    current_class = self.class.to_s.to_sym
+    if what.include? current_class
+      what[current_class].(@v)
+    elsif what.include? :_
+      what[:_].(@v)
+    end
+  end
+
+  # @return [String]
+  def inspect
+    case self
+    when Just
+      "#<Just #{@v}>"
+    else
+      "#<Nothing>"
+    end
+  end
+end
+
+
+class Nothing
+  include Singleton
+  include Maybe
+ 
+  def == other
+    case other
+    when Nothing
+      true
+    else
+      false
+    end
+  end
+end
+
+Nothing = Nothing.instance
+
+class Just
+  include Maybe
+  
+  def == other
+    case other
+    when Just
+      other.map { |v| return v == @v }
+    else
+      false
+    end
+  end
+end

data/lib/helper.rb

@@ -0,0 +1,9 @@
+module Helper
+  def alias_names names, m
+    names.each do |name| 
+      define_method(name) do |*args, &block| 
+        self.send(m, *args, &block)
+      end
+    end
+  end    
+end

metadata

@@ -0,0 +1,46 @@
+--- !ruby/object:Gem::Specification
+name: data.maybe
+version: !ruby/object:Gem::Version
+  version: 0.0.0
+platform: ruby
+authors:
+- Jichao Ouyang
+autorequire: 
+bindir: bin
+cert_chain: []
+date: 2016-08-26 00:00:00.000000000 Z
+dependencies: []
+description: lightweight data.maybe Monad
+email: oyanglulu@gmail.com
+executables: []
+extensions: []
+extra_rdoc_files: []
+files:
+- lib/control/monad.rb
+- lib/data.maybe.rb
+- lib/helper.rb
+homepage: https://github.com/jcouyang/cats.rb
+licenses:
+- MIT
+metadata: {}
+post_install_message: 
+rdoc_options: []
+require_paths:
+- lib
+required_ruby_version: !ruby/object:Gem::Requirement
+  requirements:
+  - - ">="
+    - !ruby/object:Gem::Version
+      version: 1.9.3
+required_rubygems_version: !ruby/object:Gem::Requirement
+  requirements:
+  - - ">="
+    - !ruby/object:Gem::Version
+      version: '0'
+requirements: []
+rubyforge_project: 
+rubygems_version: 2.4.5
+signing_key: 
+specification_version: 4
+summary: data.maybe Data Type for Ruby
+test_files: []