kleisli 0.1.0 → 0.2.0

checksums.yaml

@@ -1,7 +1,7 @@
 ---
 SHA1:
-  metadata.gz: faefce7df113e758631337927c7a3ec32f0305ff
-  data.tar.gz: 6e583da161293e7c603163f24dfd6af293c5445b
+  metadata.gz: 997aca6d77f858cf9262df7edbc913179cd8004f
+  data.tar.gz: dac24d37b400e98703e6299fb6a702ea5df773eb
 SHA512:
-  metadata.gz: 24c366c7151184fb84fc42938f4afd1473e75575ff82c7e0ee5255b44bcef9f1ec028c10bd0ac19d84635b6b9ef53c7b6332f8e5e048df2ed9d73833482ca12c
-  data.tar.gz: b8d1ad6965cfe41ddf33e72af50ac7d4cfbc62b07aa23873625af8981c78a35f5a271aeea14929a76a1894fb26860faba1867af02f5d1c340368815cdf2d28bc
+  metadata.gz: 009f9357a66c1003610f90cd86e734c00632efa6b8b511d5eec2bdc91daceb41bc3f1ebf667615065aefd506435510f8de97a83518a2e6259241f649224d0fef
+  data.tar.gz: 77f136e1fb92e6d315c7b423aa2c5e8f32b3f3f1f2ec0071488c51557cab9d52d51a3d6b1f105211f2525979825456a4ea09ea53aa78d6e0b2809ffa581f9ec7

data/README.md

@@ -23,7 +23,10 @@ which for each monad below).
 Kleisli uses a clever Ruby syntax trick to implement the `bind` operator, which
 looks like this: `>->` when used with a block. We will probably burn in hell
 for this. You can also use `>` or `>>` if you're going to pass in a proc or
-  lambda object.
+ lambda object.
+
+`Maybe` and `Either` are applicative functors with the apply operator `*`. Read
+further to see how it works.
 
 ### Function composition
 
@@ -121,6 +124,18 @@ Maybe(user).fmap(&:address).fmap(&:street)
 # => None()
 ```
 
+### `*` (applicative functor's apply)
+
+```ruby
+require "kleisli"
+
+add = -> x, y { x + y }
+Some(add) * Some(10) * Some(2)
+# => Some(12)
+Some(add) * None() * Some(2)
+# => None
+```
+
 ## Try
 
 The Try monad is useful to express a pipeline of computations that might throw
@@ -239,6 +254,18 @@ result # => Right(20)
 result # => Left("wrong")
 ```
 
+### `*` (applicative functor's apply)
+
+```ruby
+require "kleisli"
+
+add = -> x, y { x + y }
+Right(add) * Right(10) * Right(2)
+# => Some(12)
+Right(add) * Left("error") * Right(2)
+# => Left("error")
+```
+
 ### `or`
 
 `or` does pretty much what would you expect:

data/lib/kleisli/applicative_functor.rb

@@ -0,0 +1,4 @@
+module Kleisli
+  class ApplicativeFunctor < Functor
+  end
+end

data/lib/kleisli/either.rb

@@ -9,6 +9,14 @@ module Kleisli
       right == other.right && left == other.left
     end
 
+    def *(other)
+      self >-> f {
+        other >-> val {
+          Right(f.arity > 1 ? f.curry.call(val) : f.call(val))
+        }
+      }
+    end
+
     class Right < Either
       alias value right
 

data/lib/kleisli/maybe.rb

@@ -16,6 +16,14 @@ module Kleisli
       value == other.value
     end
 
+    def *(other)
+      self >-> f {
+        other >-> val {
+          Maybe.lift(f.arity > 1 ? f.curry.call(val) : f.call(val))
+        }
+      }
+    end
+
     class None < Maybe
       def fmap(&f)
         self
@@ -28,6 +36,11 @@ module Kleisli
       def or(other)
         other
       end
+
+      def to_s
+        "None"
+      end
+      alias inspect to_s
     end
 
     class Some < Maybe
@@ -46,6 +59,11 @@ module Kleisli
       def or(other)
         self
       end
+
+      def to_s
+        "Some(#{@value})"
+      end
+      alias inspect to_s
     end
   end
 end

data/lib/kleisli/version.rb

@@ -1,3 +1,3 @@
 module Kleisli
-  VERSION = "0.1.0"
+  VERSION = "0.2.0"
 end

data/test/kleisli/either_test.rb

@@ -46,4 +46,16 @@ class EitherTest < MiniTest::Unit::TestCase
   def test_pointfree
     assert_equal Right(10), Right(5) >> F . fn(&Right) . *(2)
   end
+
+  def test_applicative_functor_right_arity_1
+    assert_equal Right(20), Right(-> x { x * 2 }) * Right(10)
+  end
+
+  def test_applicative_functor_right_arity_2
+    assert_equal Right(20), Right(-> x, y { x * y }) * Right(10) * Right(2)
+  end
+
+  def test_applicative_functor_left
+    assert_equal Left("error"), Right(-> x, y { x * y }) * Left("error") * Right(2)
+  end
 end

data/test/kleisli/maybe_test.rb

@@ -24,4 +24,16 @@ class MaybeTest < MiniTest::Unit::TestCase
   def test_fmap_some
     assert_equal Some(6), Some(3).fmap { |x| x * 2 }
   end
+
+  def test_applicative_functor_some_arity_1
+    assert_equal Some(20), Maybe(-> x { x * 2 }) * Maybe(10)
+  end
+
+  def test_applicative_functor_some_arity_2
+    assert_equal Some(20), Maybe(-> x, y { x * y }) * Maybe(10) * Maybe(2)
+  end
+
+  def test_applicative_functor_none
+    assert_equal None(), Maybe(-> x, y { x * y }) * None() * Maybe(2)
+  end
 end

metadata

@@ -1,7 +1,7 @@
 --- !ruby/object:Gem::Specification
 name: kleisli
 version: !ruby/object:Gem::Version
-  version: 0.1.0
+  version: 0.2.0
 platform: ruby
 authors:
 - Josep M. Bach
@@ -55,6 +55,7 @@ files:
 - Rakefile
 - kleisli.gemspec
 - lib/kleisli.rb
+- lib/kleisli/applicative_functor.rb
 - lib/kleisli/blank.rb
 - lib/kleisli/composition.rb
 - lib/kleisli/either.rb