ribimaybe 0.0.9 → 0.0.10

checksums.yaml

@@ -1,7 +1,15 @@
 ---
-SHA1:
-  metadata.gz: 6db212d9c3464928b07c3bb761205ed07313e566
-  data.tar.gz: ca60246d186c728d0f4da756826523f26b3ba814
+!binary "U0hBMQ==":
+  metadata.gz: !binary |-
+    ZDI0OGM5YTQyNzcyMTE2N2Q1NWNhNjAxMjY3MmRmYzMyYTViNWFhYw==
+  data.tar.gz: !binary |-
+    OTU3ZDdhMWJkNzliZDBjYWUyZTJiNzIzYTM2YmVmMjZhNjcyOWM3Nw==
 SHA512:
-  metadata.gz: 84aa2de634c9d305c7d27fed5a267ce2a275bd87bed2f73aed3b47e2170e609da37742bacda67af1324d0d5337311a3ae9ea40abb06bfc58a15dd5d8986dc7df
-  data.tar.gz: 6bd80d6844bd70110234b5e75686d26a7ab7a4d05f022e6181064c7f5b5f1fe2110119b4365ee8a63897710f0ee272b7047ee1bed261d71898b08000224036d8
+  metadata.gz: !binary |-
+    MzQ2ODU0OWI1MzE1OTQ5MGY3OTk0NjE1MTE2ZWZjMDc5YTI1Y2ZjODIzMjdj
+    Njc3ODNkMGFlMDFiYzZhM2RhMWEzMGU3YjA3YWNlNDEwNjYwNDk3OTBkOGMw
+    M2VlOWNlZjc0OTRjNjU0YWVhZTM0OTE1YWZiMDE4YzQxNWY5NWM=
+  data.tar.gz: !binary |-
+    YmNkNWVmYWExYjNiYmM1OTE5MTM3ZjVkN2VmYjE2ODAxZjMxNmM4NDA3ODI0
+    OTQxNjhiNGZjMDM1M2YzZWFlZWMxMWFjMWUxYTM4YWIzOTJhNmIwNTMwYmFi
+    NTFhNTI3ZTFlNjk4ZmNhY2FiNjQyMzEwZWEyMWU5Mzk1MmMxZjM=

data/README.md

@@ -1,5 +1,7 @@
 # Ribimaybe
 
+> "Flavouring the ocean with a teaspoon of sugar."
+
 [![Gem Version](https://badge.fury.io/rb/ribimaybe.svg)](http://badge.fury.io/rb/ribimaybe)
 [![Travis](https://travis-ci.org/unsymbol/ribimaybe.svg?branch=master)](http://travis-ci.org/unsymbol/ribimaybe)
 [![Code Climate](https://codeclimate.com/github/unsymbol/ribimaybe.png)](https://codeclimate.com/github/unsymbol/ribimaybe)
@@ -7,7 +9,7 @@
 ![](maybe.gif)
 
 A tiny Ruby library that provides a Maybe datatype which is a Functor, 
-Applicative Functor and Monad instance.
+Applicative Functor and Monad.
 
 ## Installation
 

data/lib/ribimaybe.rb

@@ -142,7 +142,7 @@ module Ribimaybe
       #   rturn(x + x)
       # end # => Just(2)
       #
-      Contract Proc => Just
+      Contract Proc => Or[Nothing, Just]
       def bind(&fn)
         fn.curry.(@value)
       end

data/lib/version.rb

@@ -1,3 +1,3 @@
 module Ribimaybe
-  VERSION = "0.0.9"
+  VERSION = "0.0.10"
 end

data/spec/bug_spec.rb

@@ -0,0 +1,14 @@
+require "spec_helper"
+include Ribimaybe::Maybe
+describe "Bugs" do
+  describe "issue17" do
+    it do
+      result = Just(1).bind{ |x|
+        Nothing.bind{ |y|
+          rturn(x + y)
+        }
+      }
+      expect(result).to eq(Nothing)
+    end
+  end
+end

data/spec/monad_spec.rb

@@ -1,6 +1,14 @@
 require "spec_helper"
 include Ribimaybe::Maybe
 describe "Monad Instance" do
+  let(:id) do
+    ->(x) { x }
+  end
+
+  let(:lifted_id) do
+    ->(x) { id.(rturn(x)) }
+  end
+
   let(:f) do
     ->(x){ ->(y) { rturn(x) } }.(SecureRandom.base64(1000))
   end
@@ -13,13 +21,13 @@ describe "Monad Instance" do
   describe "left identity" do
     context "when i have nothing" do
       it do
-        expect(Nothing.bind(&f)).to eq(Nothing)
+        expect(Nothing.bind(&lifted_id)).to eq(Nothing)
       end
     end
 
     context "when i have just :x" do
       it do
-        expect(rturn(:x).bind(&f)).to eq(f.(:a))
+        expect(rturn(:x).bind(&lifted_id)).to eq(lifted_id.(:x))
       end
     end
   end
@@ -28,13 +36,13 @@ describe "Monad Instance" do
   describe "right identity" do
     context "when i have nothing" do
       it do
-        expect(Nothing.bind { |x| rturn(x) }).to eq(Nothing)
+        expect(Nothing.bind(&lifted_id)).to eq(Nothing)
       end
     end
 
     context "when i have just :x" do
       it do
-        expect(Just(:x).bind { |x| rturn(x) }).to eq(Just(:x))
+        expect(Just(:x).bind(&lifted_id)).to eq(Just(:x))
       end
     end
   end

metadata

@@ -1,14 +1,14 @@
 --- !ruby/object:Gem::Specification
 name: ribimaybe
 version: !ruby/object:Gem::Version
-  version: 0.0.9
+  version: 0.0.10
 platform: ruby
 authors:
 - unsymbol
 autorequire: 
 bindir: bin
 cert_chain: []
-date: 2014-06-10 00:00:00.000000000 Z
+date: 2014-06-11 00:00:00.000000000 Z
 dependencies:
 - !ruby/object:Gem::Dependency
   name: bundler
@@ -28,42 +28,42 @@ dependencies:
   name: pry
   requirement: !ruby/object:Gem::Requirement
     requirements:
-    - - '>='
+    - - ! '>='
       - !ruby/object:Gem::Version
         version: '0'
   type: :development
   prerelease: false
   version_requirements: !ruby/object:Gem::Requirement
     requirements:
-    - - '>='
+    - - ! '>='
       - !ruby/object:Gem::Version
         version: '0'
 - !ruby/object:Gem::Dependency
   name: rake
   requirement: !ruby/object:Gem::Requirement
     requirements:
-    - - '>='
+    - - ! '>='
       - !ruby/object:Gem::Version
         version: '0'
   type: :development
   prerelease: false
   version_requirements: !ruby/object:Gem::Requirement
     requirements:
-    - - '>='
+    - - ! '>='
       - !ruby/object:Gem::Version
         version: '0'
 - !ruby/object:Gem::Dependency
   name: rspec
   requirement: !ruby/object:Gem::Requirement
     requirements:
-    - - '>='
+    - - ! '>='
       - !ruby/object:Gem::Version
         version: '0'
   type: :development
   prerelease: false
   version_requirements: !ruby/object:Gem::Requirement
     requirements:
-    - - '>='
+    - - ! '>='
       - !ruby/object:Gem::Version
         version: '0'
 - !ruby/object:Gem::Dependency
@@ -98,6 +98,7 @@ files:
 - maybe.gif
 - ribimaybe.gemspec
 - spec/applicative_functor_spec.rb
+- spec/bug_spec.rb
 - spec/functor_spec.rb
 - spec/maybe_spec.rb
 - spec/monad_spec.rb
@@ -112,23 +113,24 @@ 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.0.2
+rubygems_version: 2.1.11
 signing_key: 
 specification_version: 4
 summary: A tiny Ruby library that provides a Maybe datatype which is a Functor, Applicative
   Functor and Monad instance.
 test_files:
 - spec/applicative_functor_spec.rb
+- spec/bug_spec.rb
 - spec/functor_spec.rb
 - spec/maybe_spec.rb
 - spec/monad_spec.rb