funkr 0.0.17 → 0.0.18

data/lib/funkr/types.rb

@@ -1,3 +1,4 @@
 require 'funkr/types/maybe'
 require 'funkr/types/failable'
 require 'funkr/types/simple_record'
+require 'funkr/types/container'

data/lib/funkr/types/container.rb

@@ -0,0 +1,32 @@
+require 'funkr/categories'
+
+module Funkr
+  module Types
+    class Container
+
+      include Funkr::Categories
+
+      def initialize(value)
+        @value = value
+      end
+
+      def unbox; @value; end
+
+      def to_s; format("{- %s -}", @value.to_s); end
+
+      include Functor
+
+      def map(&block)
+        self.class.new(yield(@value))
+      end
+
+      include Monoid
+      extend Monoid::ClassMethods
+
+      def mplus(c_y)
+        self.class.new(@value.mplus(c_y.unbox))
+      end
+
+    end
+  end
+end

data/lib/funkr/types/failable.rb

@@ -19,7 +19,7 @@ module Funkr
       def map(&block)
         case self.const
         when :ok then
-          Failable.ok(yield(*self.data))
+          self.class.ok(yield(*self.data))
         else self
         end
       end
@@ -30,7 +30,7 @@ module Funkr
         self.match do |f_on|
           f_on.ok do |f|
             to.match do |t_on|
-              t_on.ok {|t| Failable.ok(f.call(t)) }
+              t_on.ok {|t| self.class.ok(f.call(t)) }
               t_on.failed { to }
             end
           end
@@ -58,7 +58,7 @@ module Funkr
           x_on.ok do |x|
             m_y.match do |y_on|
               y_on.failed { self }
-              y_on.ok {|y| Failable.ok(x.mplus(y))}
+              y_on.ok {|y| self.class.ok(x.mplus(y))}
             end
           end
         end

data/lib/funkr/types/maybe.rb

@@ -15,7 +15,7 @@ module Funkr
       
       def map(&block)
         self.match do |on|
-          on.just {|v| Maybe.just(yield(v))}
+          on.just {|v| self.class.just(yield(v))}
           on.nothing { self }
         end
       end
@@ -27,7 +27,7 @@ module Funkr
         self.match do |f_on|
           f_on.just do |f|
             to.match do |t_on|
-              t_on.just {|t| Maybe.unit(f.call(t)) }
+              t_on.just {|t| self.class.unit(f.call(t)) }
               t_on.nothing { to }
             end
           end
@@ -54,7 +54,7 @@ module Funkr
           x_on.just do |x|
             m_y.match do |y_on|
               y_on.nothing { self }
-              y_on.just {|y| Maybe.just(x.mplus(y))}
+              y_on.just {|y| self.class.just(x.mplus(y))}
             end
           end
         end

data/lib/funkr/types/simple_record.rb

@@ -6,8 +6,21 @@ module Funkr
       ### r = SimpleRecord.new( name: "Paul", age: 27 )
       ### r.name => "Paul"  ; r.age => 27
       ### name, age = r
-      
+
+      ### other usage :
+      ### class Person < SimpleRecord; fields :name, :age; end
+      ### Person.new( name: Paul ) => Error, missing :age
+
+      class << self; attr_accessor :fields_list; end
+      @fields_list = nil
+
+      def self.fields(*flds); self.fields_list = flds; end
+
       def initialize(key_vals)
+        fields = self.class.fields_list
+        if not fields.nil? and fields != key_vals.keys then
+          raise "#{self.class.to_s} wrong initialization, expected #{fields}"
+        end
         @key_vals = key_vals
         key_vals.each do |k,v|
           getter = k.to_sym

data/lib/funkr/version.rb

@@ -1,3 +1,3 @@
 module Funkr
-  VERSION = "0.0.17"
+  VERSION = "0.0.18"
 end

data/test/tests.rb

@@ -62,6 +62,10 @@ puts n.unbox.inspect
 puts (Maybe.box(12)).unbox.inspect
 puts (Maybe.box(nil)).unbox.inspect
 
+puts "\n> Containers"
+c = Container.new("Value")
+puts c.unbox
+puts c.map(&:reverse)
 
 a = [1,2,3]
 b = [10,20,30]
@@ -115,4 +119,8 @@ puts format("%s is back to %s and really lives in %s", r.name, r.age, r.city)
 r.name = "Paul R"
 puts r.to_s
 
+class Person < SimpleRecord;  fields :name, :age, :city; end
+r = Person.new(name: "Paul", age: 27, city: "Rennes")
+x = Person.new(name: "Paul", age: 27, city: "Rennes", genre: "Male") rescue "Forbidden"
+y = Person.new(name: "Paul", age: 27) rescue "Forbidden"
 

metadata

@@ -5,8 +5,8 @@ version: !ruby/object:Gem::Version
   segments: 
   - 0
   - 0
-  - 17
-  version: 0.0.17
+  - 18
+  version: 0.0.18
 platform: ruby
 authors: 
 - Paul Rivier
@@ -14,7 +14,7 @@ autorequire:
 bindir: bin
 cert_chain: []
 
-date: 2011-09-26 00:00:00 +02:00
+date: 2011-09-28 00:00:00 +02:00
 default_executable: 
 dependencies: []
 
@@ -47,6 +47,7 @@ files:
 - lib/funkr/extensions/enumerable.rb
 - lib/funkr/extensions/fixnum.rb
 - lib/funkr/types.rb
+- lib/funkr/types/container.rb
 - lib/funkr/types/failable.rb
 - lib/funkr/types/maybe.rb
 - lib/funkr/types/simple_record.rb