funkr 0.0.30 → 0.0.40

checksums.yaml

@@ -1,7 +1,7 @@
 ---
 SHA256:
-  metadata.gz: 7cb4f5366a7c1c68082cb5982e5cd7700440d94344fdfb8cdff7bd94b723bb4a
-  data.tar.gz: 4c79978d034dbbc0fc650644808ca3de77efa6e934770a4602d09ea042891c01
+  metadata.gz: f5649962b565534f862b38ae383b658c1a5488822f5827ec87c1eb811d5c3037
+  data.tar.gz: e56a95ae98fd9d7d58d8da6243f4788ef078727a46af8ddd230be2ff926bd5fd
 SHA512:
-  metadata.gz: e2767fe18dbf634574240a8b40acf5a8d42f2caa0770605a3b9b5e25ff62b9307552088da7a381f9c3a5e5ee3cb2b9dd2a6db93f7d8034b7ad6641d595cc5307
-  data.tar.gz: c7110ff660fb041f5f09b63bff32e187c99fccfec855d75d1be99993115f1654255144185140cdd1b47dffc4c78d3a8d2fac0e4d60fe9ab2ab120ef05726c6ed
+  metadata.gz: 9f18403815d1715943156f2298babd16436a6979f75f86edbc8bb72e09e4b8f2a3d543a7c798ee61a4d21c42489afffad84cbba7d9a215dfaccc4da086d0f3a5
+  data.tar.gz: 8e82ba816b2a0b9fab4c1764a670364d137fbdf813699f5627448863a1565d8625a59b40f0273a5a265bc81fef6749afc4bfaaeefd9b22f415b0e5c4cd6c2f03

data/lib/funkr/adt/adt.rb

@@ -41,11 +41,20 @@ module Funkr
              @data.map(&:inspect).join(", ") )
     end
     
+    
+    def ==(o)
+      case o
+      when ADT then self.normal_form == o.normal_form
+      else false
+      end
+    end
+
+    def normal_form; [@const, *@data]; end
+
     private
 
     attr_reader :const, :data
     
-    def normal_form; [@const, *@data]; end
     
     def self.build_adt(constructs)
       constructs.each do |c,*d|

data/lib/funkr/categories/applicative.rb

@@ -39,10 +39,6 @@ module Funkr
         proxy_comp(other){|a,b| a <=> b}
       end
        
-      def ==(other)
-        proxy_comp(other){|a,b| a == b}
-      end
-
       def <(other)
         proxy_comp(other){|a,b| a < b}
       end
@@ -59,6 +55,9 @@ module Funkr
         proxy_comp(other){|a,b| a >= b}
       end
 
+      def applicative_equal?(other)
+        proxy_comp(other){|a,b| a == b}
+      end
 
       private
 

data/lib/funkr/version.rb

@@ -1,3 +1,3 @@
 module Funkr
-  VERSION = "0.0.30"
+  VERSION = "0.0.40"
 end

data/test/test_maybe.rb

@@ -16,7 +16,6 @@ class TestMaybe < Test::Unit::TestCase
 
   def test_map
     assert_equal(j(6), j(5).map{|v| v+1 })
-    assert_equal(n, j(5).map{|v| v+1})
   end
 
   def test_curry_lift
@@ -57,8 +56,10 @@ class TestMaybe < Test::Unit::TestCase
     assert_equal(j(true), j(3) < j(7))
     assert_equal(n, j(4) <=> n)
     assert_equal(n, n <=> j(2))
+    assert_equal(j(false), j(5).applicative_equal?(j(7)))
   end
 
+
   def test_unbox
     assert_equal(5, j(5).unbox)
     assert_equal(5, j(5).unbox(2))

metadata

@@ -1,14 +1,14 @@
 --- !ruby/object:Gem::Specification
 name: funkr
 version: !ruby/object:Gem::Version
-  version: 0.0.30
+  version: 0.0.40
 platform: ruby
 authors:
 - Paul Rivier
 autorequire: 
 bindir: bin
 cert_chain: []
-date: 2020-11-16 00:00:00.000000000 Z
+date: 2020-11-23 00:00:00.000000000 Z
 dependencies:
 - !ruby/object:Gem::Dependency
   name: rake