arrows 0.0.12 → 0.1.0

checksums.yaml

@@ -1,7 +1,7 @@
 ---
 SHA1:
-  metadata.gz: 87e62ace5a7ed0350a0f2933213138fbc4adf91d
-  data.tar.gz: b3d590924508a3a8ee58b1b83c4f45d9df39244c
+  metadata.gz: 1714106b8106878ddeefb250bd83433b5765fc32
+  data.tar.gz: 0204f75e8d10c5c155457a1eb3e83c7438e7a94d
 SHA512:
-  metadata.gz: e8a05896a7bc8593eaa83585fb71ab2957daf737597873639ffbe8653f2a4596dc9bf2220ec587200bc6066a52d342f52c13fae33b33a2397e4fef0d4735681b
-  data.tar.gz: cbc2435c3618794b04fad75e7ebe38f2a1a5d2fbcdd4323768774e5c3cf359a3190a899cbf1eb34fe92999e01208f67108441227d1c8be0d52d014d38ef4722c
+  metadata.gz: ebf7991ba43585e290da364f71cefdab7b822a412acd9f78f10f7d7edbbf76dfd5a0132e8730072229a331566884fba2e26e85e5b51832b6e618a6f3d48116c1
+  data.tar.gz: 827bee087974795d61ee21f0bc50e366423eed2ed5710e8b47e2ce52905782a3ed0b3c931bb1b63362557da9d9611d75d593711982079816932158b263ee48ca

data/arrows.gemspec

@@ -19,6 +19,7 @@ Gem::Specification.new do |spec|
   spec.require_paths = ["lib"]
 
   spec.add_development_dependency "bundler", "~> 1.7"
+  spec.add_development_dependency "pry", ">= 0.10"
   spec.add_development_dependency "rake", "~> 10.0"
   spec.add_development_dependency "rspec", ">=3.1"
 end

data/lib/arrows.rb

@@ -42,11 +42,17 @@ module Arrows
       return x if x.respond_to?(:good?) && x.respond_to?(:payload)
       Arrows::Either.new false, x
     end 
-    def lift(x)
+    def lift(x=nil)
+      return Arrows::Proc.new { |args| yield args } if block_given?
       return x if arrow_like? x
       return wrap_proc x if proc_like? x
       Arrows::Proc.new { |args| x }
     end
+    def polarize(x=nil)
+      return lift { |args| yield(args) ? good(args) : evil(args) } if block_given?
+      return lift { |args| x.call(args) ? good(args) : evil(args) } if proc_like? x
+      lift { |args| x ? good(args) : evil(args) }
+    end
     def arrow_like?(x)
        proc_like?(x) && 
        x.arity == 1 && 
@@ -65,8 +71,8 @@ module Arrows
       end
     end
   end
-  ID = lift -> (x) { x }
-  Good = lift -> (x) { good x }
-  Evil = lift -> (x) { evil x }
-  Die = lift -> (x) { throw x }
+  ID = lift { |x| x }
+  Good = lift { |x| good x }
+  Evil = lift { |x| evil x }
+  Die = lift { |x| throw x }
 end

data/lib/arrows/proc.rb

@@ -36,7 +36,7 @@ class Arrows::Proc < Proc
   end
 
   # rescues errors from procs
-  def rescue_from(error_klass=StandardError, &block)
+  def rescue_from(error_klass=StandardError)
     Arrows.lift -> (args) {
       begin
         self[args]

data/lib/arrows/version.rb

@@ -1,3 +1,3 @@
 module Arrows
-  VERSION = "0.0.12"
+  VERSION = "0.1.0"
 end

data/spec/arrows/functor_spec.rb

@@ -0,0 +1,51 @@
+require 'spec_helper'
+
+describe 'Functor Laws' do
+  let(:id) do
+    -> (x) { x }
+  end
+
+  let(:f) do
+    -> (x) { ->(y) { x } }.(SecureRandom.base64(1000)).extend(Composable)
+  end
+
+  let(:g) do
+    -> (x) { ->(y) { x } }.(SecureRandom.base64(1000)).extend(Composable)
+  end
+
+  # fmap id = id
+  describe 'identity' do
+    context 'when i have []' do
+      it 'should return []' do
+        result = Arrows.fmap(Arrows.lift([]), id)
+        expect(result.()).to eq([])
+      end
+    end
+
+    context 'when i have [:x]' do
+      it 'should return [:x]' do
+        result = Arrows.fmap(Arrows.lift([:x]), id)
+        expect(result.()).to eq([:x])
+      end
+    end
+  end
+
+  # fmap (f . g) = fmap f . fmap g
+  describe 'composition' do
+    context 'when i have []' do
+      it do
+        lhs = Arrows.fmap(Arrows.lift([]), f * g)
+        rhs = Arrows.fmap(Arrows.fmap(Arrows.lift([]), g), f)
+        expect(lhs.()).to eq(rhs.())
+      end
+    end
+
+    context 'when i have [:x]' do
+      it do
+        lhs = Arrows.fmap(Arrows.lift([:x]), f * g)
+        rhs = Arrows.fmap(Arrows.fmap(Arrows.lift([:x]), g), f)
+        expect(lhs.()).to eq(rhs.())
+      end
+    end
+  end
+end

data/spec/arrows/proc_spec.rb

@@ -13,6 +13,23 @@ RSpec.describe Arrows::Proc do
     specify { should eq twenty_two.call }
   end
 
+  context 'polarize' do
+    let(:numbers) { Arrows.lift [-2,-1,0,1,2,3] }
+    let(:heaviside) { Arrows.polarize { |x| x > 0 } }
+    let(:zero) { Arrows.lift { |x| 0 } }
+    let(:four) { Arrows.lift { |x| 4 } }
+    let(:zero_or_four) { heaviside >> (zero ^ four) }
+    let(:actual) { numbers >= zero_or_four }
+    context "basics" do
+      subject { heaviside.call 2 }
+      specify { should be_good }
+    end
+    context "full-force" do
+      subject { actual.call }
+      specify { should eq [4,4,4,0,0,0] }
+    end
+  end
+
   context 'rescue_from' do
     let(:times2 ) { Arrows.lift -> (x) { x * 2 } }
     let(:plus1) { Arrows.lift -> (x) { x == 4 ? raise(StandardError, "error: #{x}") : (x + 1) } }

data/spec/spec_helper.rb

@@ -1,2 +1,13 @@
 # TODO: move the specs in also lol
-require File.expand_path("../../lib/arrows", __FILE__)
+require 'pry'
+require File.expand_path("../../lib/arrows", __FILE__)
+
+module Composable
+  def compose(f, g)
+    -> (x) { f.(g.(x)) }
+  end
+
+  def *(g)
+    compose(self, g)
+  end
+end

metadata

@@ -1,14 +1,14 @@
 --- !ruby/object:Gem::Specification
 name: arrows
 version: !ruby/object:Gem::Version
-  version: 0.0.12
+  version: 0.1.0
 platform: ruby
 authors:
 - Thomas Chen
 autorequire: 
 bindir: bin
 cert_chain: []
-date: 2014-12-25 00:00:00.000000000 Z
+date: 2015-03-16 00:00:00.000000000 Z
 dependencies:
 - !ruby/object:Gem::Dependency
   name: bundler
@@ -24,6 +24,20 @@ dependencies:
     - - "~>"
       - !ruby/object:Gem::Version
         version: '1.7'
+- !ruby/object:Gem::Dependency
+  name: pry
+  requirement: !ruby/object:Gem::Requirement
+    requirements:
+    - - ">="
+      - !ruby/object:Gem::Version
+        version: '0.10'
+  type: :development
+  prerelease: false
+  version_requirements: !ruby/object:Gem::Requirement
+    requirements:
+    - - ">="
+      - !ruby/object:Gem::Version
+        version: '0.10'
 - !ruby/object:Gem::Dependency
   name: rake
   requirement: !ruby/object:Gem::Requirement
@@ -84,6 +98,8 @@ files:
 - pics/fmap.mermaid.png
 - pics/fork.mermaid
 - pics/fork.mermaid.png
+- screenshot.png
+- spec/arrows/functor_spec.rb
 - spec/arrows/proc_spec.rb
 - spec/spec_helper.rb
 homepage: http://github.com/foxnewsnetwork/arrows
@@ -106,10 +122,11 @@ required_rubygems_version: !ruby/object:Gem::Requirement
       version: '0'
 requirements: []
 rubyforge_project: 
-rubygems_version: 2.2.2
+rubygems_version: 2.4.5
 signing_key: 
 specification_version: 4
 summary: Functional programming with composable, applicable, and arrowable functions.
 test_files:
+- spec/arrows/functor_spec.rb
 - spec/arrows/proc_spec.rb
 - spec/spec_helper.rb