funkr 0.0.2 → 0.0.3

data/lib/funkr/categories/applicative.rb

@@ -24,7 +24,7 @@ module Funkr
       def <=>(other)
         proxy_comp(other){|a,b| a <=> b}
       end
-      
+       
       def ==(other)
         proxy_comp(other){|a,b| a == b}
       end

data/lib/funkr/extensions.rb

@@ -0,0 +1,2 @@
+require 'funkr/extensions/fixnum'
+require 'funkr/extensions/array'

data/lib/funkr/extensions/array.rb

@@ -0,0 +1,93 @@
+require 'funkr/categories'
+
+class Array
+  
+  include Funkr::Categories
+  
+  class << self
+    def unit(e); self.new([e]); end
+    alias pure unit
+    def mzero; self.new(); end
+  end
+  
+  ### Categories
+  
+  # array est déjà un functor via map
+  # include Functor 
+  
+  
+  include Applicative
+  extend Applicative::ClassMethods
+  
+  def apply(to)
+    map do |f|
+      to.map{ |t| f.call(t)}
+    end.flatten(1)
+  end
+  
+  include Alternative
+  
+  def or_else(&block)
+    if empty? then yield
+    else self end
+  end
+  
+  
+  include Monoid
+  extend Monoid::ClassMethods
+  
+  def mplus(m_y)
+    self + m_y
+  end
+  
+  
+  include Monad
+  extend Monad::ClassMethods
+  
+  def bind(&block)
+    self.map(&block).flatten(1)
+  end
+  
+  def self.box(value)
+    if value.nil? then self.mzero
+    else self.unit(value) end
+  end
+  
+  def unbox()
+    if self.empty? then nil
+    else self.first end
+  end
+  
+  
+  # other extensions
+  class NoHead; end
+  
+  def head; empty? ? NoHead : first; end
+  
+  def tail; size > 1 ? self[1..-1] : []; end
+  
+  def all_different?
+    return true if tail.empty?
+    !tail.include?(head) and tail.all_different?
+  end
+  
+  # http://www.haskell.org/ghc/docs/6.12.2/html/libraries/base-4.2.0.1/src/Data-List.html#group
+  def group_seq_by(&block)
+    if empty? then []
+    else
+      a,b = tail.span{|x| (yield head) == (yield x)}
+      [a.unshift(head)] + b.group_seq_by(&block)
+    end
+  end
+  
+  # http://www.haskell.org/ghc/docs/6.12.2/html/libraries/base-4.2.0.1/src/GHC-List.html#span
+  def span(&block)
+    if empty? then [[],[]]
+    elsif (yield head) then
+      a,b = tail.span(&block)
+      [a.unshift(head),b]
+    else [[], self]
+    end
+  end
+  
+end

data/lib/funkr/extensions/fixnum.rb

@@ -1,6 +1,8 @@
 require "funkr/categories/monoid"
 
 class Fixnum
+
+  include Funkr::Categories
   
   include Monoid
   extend Monoid::ClassMethods

data/lib/funkr/version.rb

@@ -1,3 +1,3 @@
 module Funkr
-  VERSION = "0.0.2"
+  VERSION = "0.0.3"
 end

data/test/tests.rb

@@ -1,5 +1,6 @@
 require 'rubygems'
 require 'funkr/types'
+require 'funkr/extensions'
 
 include Funkr::Types
 
@@ -32,18 +33,35 @@ f = Maybe.full_lift_proc{|x,y| x + y}
 puts f.call(m,m)
 puts f.call(m,n)
 
-# puts Maybe.mconcat([Maybe.just(10),
-#                     Maybe.just(20),
-#                     Maybe.nothing,
-#                     Maybe.just(30)])
+puts Maybe.mconcat([Maybe.just(10),
+                    Maybe.just(20),
+                    Maybe.nothing,
+                    Maybe.just(30)])
 
 puts(m <=> m)
 puts(m <=> (m.map{|v| v+1}))
-puts(m <= (m.map{|v| v+1}))
+puts(m < (m.map{|v| v+1}))
 puts(m <=> n)
 
 puts "\n> Boxing and unboxing"
-puts m.unbox
-puts n.unbox
-puts (Maybe.box(12)).unbox
-puts (Maybe.box(nil)).unbox
+puts m.unbox.inspect
+puts n.unbox.inspect
+puts (Maybe.box(12)).unbox.inspect
+puts (Maybe.box(nil)).unbox.inspect
+
+
+a = [1,2,3]
+b = [10,20,30]
+
+puts "\n> Array full lift"
+f = Array.full_lift_proc{|x,y| x + y}
+puts f.call(a,b).inspect
+puts f.call(a,[]).inspect
+
+puts "\n> Array monad"
+puts(a.bind do |x|
+       b.bind do |y|
+         Array.unit(x + y)
+       end
+     end.inspect)
+

metadata

@@ -5,8 +5,8 @@ version: !ruby/object:Gem::Version
   segments: 
   - 0
   - 0
-  - 2
-  version: 0.0.2
+  - 3
+  version: 0.0.3
 platform: ruby
 authors: 
 - Paul Rivier
@@ -14,7 +14,7 @@ autorequire:
 bindir: bin
 cert_chain: []
 
-date: 2011-03-03 00:00:00 +01:00
+date: 2011-03-09 00:00:00 +01:00
 default_executable: 
 dependencies: []
 
@@ -41,6 +41,8 @@ files:
 - lib/funkr/categories/functor.rb
 - lib/funkr/categories/monad.rb
 - lib/funkr/categories/monoid.rb
+- lib/funkr/extensions.rb
+- lib/funkr/extensions/array.rb
 - lib/funkr/extensions/fixnum.rb
 - lib/funkr/types.rb
 - lib/funkr/types/failable.rb