kleisli 0.0.1 → 0.0.2

checksums.yaml

@@ -1,7 +1,7 @@
 ---
 SHA1:
-  metadata.gz: 3542c8f4abc331bb9a9d47170b22392146489666
-  data.tar.gz: 4381c9631f3205faffc3a3764340d3ce2c623041
+  metadata.gz: d1dcb8005f78840e1bebfc588e75a579e1f5057d
+  data.tar.gz: f1c1307b95152674449ea4822fc6b70c4344cd59
 SHA512:
-  metadata.gz: 52389420ffa39afd4fcb73731e95301d9258374e26f85afd1e467330cc61764d5b7c9989d0ef7309948cbc2134237ee5a8970325028f2fea67281b56ac8eb584
-  data.tar.gz: bf55220e96e5649b079588c661d2e7ff430197c8964bfa75971d78b7937fd29a29ae3b6a6e98c1b235d82b5490bd9eb97e4ff0baa4f4f17dffd91e360be66364
+  metadata.gz: 5761487fddc055ad871ee6bcbbf4459eb06fe6eba201252dc5ddee9121057b804accb6286e99c360924cecd9e176daf20a3c2da4cf350a53d1afabb6aee40f80
+  data.tar.gz: 8e3c8e5b13ca0bc23abc9c7155fe0ac078d2e00e2a319a47ab380ae2ee25b30afe5118a0111cf8b7f4bbf7db93eed87bdfbed6b6cf9f8b454b1aee4a6accc2fb

data/.gitignore

@@ -12,3 +12,4 @@
 *.o
 *.a
 mkmf.log
+*.gem

data/.travis.yml

@@ -0,0 +1,10 @@
+language: ruby
+rvm:
+  - 1.9.3
+  - 2.1.2
+  - rbx-2
+  - ruby-head
+  - jruby-head
+
+script:
+- rake

data/LICENSE.txt

@@ -1,4 +1,4 @@
-Copyright (c) 2014 Josep M. Bach
+Copyright (c) 2014 Josep M. Bach, Ryan Levick
 
 MIT License
 

data/README.md

@@ -1,8 +1,10 @@
-# Kleisli
+# Kleisli [![Build Status](https://secure.travis-ci.org/txus/adts.png)](http://travis-ci.org/txus/adts)
 
-An idiomatic, clean implementation of a few common useful monads in Ruby, written by [Ryan Levick][rylev] and me.
+An idiomatic, clean implementation of a few common useful monads in Ruby,
+written by [Ryan Levick][rylev] and me.
 
-It aims to be idiomatic Ruby to use in real app, not a proof of concept.
+It aims to be idiomatic Ruby to use in Enter-Prise production apps, not a proof
+of concept.
 
 In your Gemfile:
 
@@ -14,9 +16,54 @@ We would like to thank Curry and Howard for their correspondence.
 
 ## Notation
 
-For all its monads, Kleisli implements `return` (we call it `lift` instead, as `return` is a reserved keyword in Ruby) with convenience global methods (see which for each monad below).
+For all its monads, Kleisli implements `return` (we call it `lift` instead, as
+`return` is a reserved keyword in Ruby) with convenience global methods (see
+which for each monad below).
 
-Kleisli uses a clever Ruby syntax trick to implement the `bind` operator, which looks like this: `>->`. We will probably burn in hell for this.
+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.
+
+### Function composition
+
+You can use Haskell-like function composition with F and the familiar `.`. This
+is such a perversion of Ruby syntax that Matz would probably condemn this:
+
+Think of `F` as the identity function. Although it's just a hack to make it
+work in Ruby.
+
+```ruby
+# Reminder that (f . g) x= f(g(x))
+f = F . first . last
+f.call [[1,2], [3,4]]
+# => 3
+
+f = F . capitalize . reverse
+f.call "hello"
+# => "Olleh"
+```
+
+Functions and methods are interchangeable:
+
+```ruby
+def foo(s)
+  s.reverse
+end
+
+f = F . capitalize . foo
+f.call "hello"
+# => "Olleh"
+```
+
+All functions and methods are partially applicable:
+
+```ruby
+
+f = F . split(":") . strip
+puts f.call "  localhost:9092     "
+# => ["localhost", "9092"]
+```
 
 ## Maybe monad
 
@@ -40,6 +87,9 @@ maybe_user = Maybe(user) >-> user {
 # You can also use Some and None as type constructors yourself.
 x = Some(10)
 y = None()
+
+# Now using fancy point-free style:
+Maybe(user) >> F . Maybe . address >> F . Maybe . street
 ```
 
 ### `fmap`
@@ -233,6 +283,9 @@ writer = Writer([], 100).fmap { |value|
 
 The Future monad models a pipeline of computations that will happen in the future, as soon as the value needed for each step is available. It is useful to model, for example, a sequential chain of HTTP calls.
 
+There's a catch unfortunately -- values passed to the functions are wrapped in
+lambdas, so you need to call `.call` on them. See the examples below.
+
 ### `>->` (bind)
 
 ```ruby

data/lib/kleisli.rb

@@ -4,6 +4,7 @@ require "kleisli/try"
 require "kleisli/writer"
 require "kleisli/future"
 require "kleisli/either"
+require "kleisli/composition"
 
 module Kleisli
 end

data/lib/kleisli/composition.rb

@@ -0,0 +1,44 @@
+require 'blankslate'
+
+class Proc
+  def self.comp(f, g)
+    lambda { |*args| f[g[*args]] }
+  end
+
+  def *(g)
+    Proc.comp(self, g)
+  end
+end
+
+module Kleisli
+  class ComposedFn < BlankSlate
+    def initialize(fns=[])
+      @fns = fns
+    end
+
+    def method_missing(m, *args, &block)
+      fn = -> a, x {
+
+        puts "A: #{a.inspect}"
+        puts "M: #{m.inspect}"
+        puts "X: #{x.inspect}"
+        if x.respond_to?(m)
+          x.send(m, *a)
+        else
+          send(m, *a)
+        end
+      }.curry[args]
+      ComposedFn.new(@fns + [fn])
+    end
+
+    def call(*args)
+      @fns.reduce(:*).call(*args)
+    end
+
+    def to_ary
+      @fns.to_ary
+    end
+  end
+end
+
+F = Kleisli::ComposedFn.new

data/lib/kleisli/monad.rb

@@ -5,5 +5,9 @@ module Kleisli
     def >(block)
       raise NotImplementedError, "this monad doesn't implement >->"
     end
+
+    def >>(block)
+      self > block
+    end
   end
 end

data/lib/kleisli/version.rb

@@ -1,3 +1,3 @@
 module Kleisli
-  VERSION = "0.0.1"
+  VERSION = "0.0.2"
 end

data/test/kleisli/maybe_test.rb

@@ -10,11 +10,11 @@ class MaybeTest < MiniTest::Unit::TestCase
   end
 
   def test_bind_none
-    assert_equal None(), None() >-> x { Maybe(x * 2) }
+    assert_equal None(), None() >> F . Maybe . *(2)
   end
 
   def test_bind_some
-    assert_equal Some(6), Some(3) >-> x { Maybe(x * 2) }
+    assert_equal Some(6), Some(3) >> F . Maybe . *(2)
   end
 
   def test_fmap_none

metadata

@@ -1,7 +1,7 @@
 --- !ruby/object:Gem::Specification
 name: kleisli
 version: !ruby/object:Gem::Version
-  version: 0.0.1
+  version: 0.0.2
 platform: ruby
 authors:
 - Josep M. Bach
@@ -9,34 +9,34 @@ authors:
 autorequire: 
 bindir: bin
 cert_chain: []
-date: 2014-10-31 00:00:00.000000000 Z
+date: 2014-11-10 00:00:00.000000000 Z
 dependencies:
 - !ruby/object:Gem::Dependency
   name: bundler
   requirement: !ruby/object:Gem::Requirement
     requirements:
-    - - "~>"
+    - - ~>
       - !ruby/object:Gem::Version
         version: '1.7'
   type: :development
   prerelease: false
   version_requirements: !ruby/object:Gem::Requirement
     requirements:
-    - - "~>"
+    - - ~>
       - !ruby/object:Gem::Version
         version: '1.7'
 - !ruby/object:Gem::Dependency
   name: rake
   requirement: !ruby/object:Gem::Requirement
     requirements:
-    - - "~>"
+    - - ~>
       - !ruby/object:Gem::Version
         version: '10.0'
   type: :development
   prerelease: false
   version_requirements: !ruby/object:Gem::Requirement
     requirements:
-    - - "~>"
+    - - ~>
       - !ruby/object:Gem::Version
         version: '10.0'
 description: Usable, idiomatic common monads in Ruby
@@ -47,13 +47,15 @@ executables: []
 extensions: []
 extra_rdoc_files: []
 files:
-- ".gitignore"
+- .gitignore
+- .travis.yml
 - Gemfile
 - LICENSE.txt
 - README.md
 - Rakefile
 - kleisli.gemspec
 - lib/kleisli.rb
+- lib/kleisli/composition.rb
 - lib/kleisli/either.rb
 - lib/kleisli/functor.rb
 - lib/kleisli/future.rb
@@ -80,17 +82,17 @@ require_paths:
 - lib
 required_ruby_version: !ruby/object:Gem::Requirement
   requirements:
-  - - ">="
+  - - '>='
     - !ruby/object:Gem::Version
       version: '0'
 required_rubygems_version: !ruby/object:Gem::Requirement
   requirements:
-  - - ">="
+  - - '>='
     - !ruby/object:Gem::Version
       version: '0'
 requirements: []
 rubyforge_project: 
-rubygems_version: 2.2.2
+rubygems_version: 2.0.14
 signing_key: 
 specification_version: 4
 summary: Usable, idiomatic common monads in Ruby