unsound 0.0.1

Sign up to get free protection for your applications and to get access to all the features.
checksums.yaml ADDED
@@ -0,0 +1,7 @@
1
+ ---
2
+ SHA1:
3
+ metadata.gz: 7d3d6412d4eda965925cd704816c57bf93db662b
4
+ data.tar.gz: 58e1df47db4ad389b2ce8663123d874ed7e9445c
5
+ SHA512:
6
+ metadata.gz: ee1992f01cf105fb33b2ab67e9264ce1922d612060b375cda2925c45e9266a6d0b2ee5c35aaeb38ff7f343010625012434a685608f8283bd412ea49b4e7f4552
7
+ data.tar.gz: bb75c7554b7a173b1bb5588588ee534f46d0baeb05d2643e6f321455de19ff0b6a1c0c9ec20185576db87274b59e7607c488f7a1e82082b16e7e05e97caa39e1
data/.gitignore ADDED
@@ -0,0 +1,17 @@
1
+ *.gem
2
+ *.rbc
3
+ .bundle
4
+ .config
5
+ .yardoc
6
+ Gemfile.lock
7
+ InstalledFiles
8
+ _yardoc
9
+ coverage
10
+ doc/
11
+ lib/bundler/man
12
+ pkg
13
+ rdoc
14
+ spec/reports
15
+ test/tmp
16
+ test/version_tmp
17
+ tmp
data/.rspec ADDED
@@ -0,0 +1,2 @@
1
+ --color
2
+ --require spec_helper
data/.rubocop.yml ADDED
@@ -0,0 +1,43 @@
1
+ inherit_from: .rubocop_todo.yml
2
+
3
+ Style/Alias:
4
+ Enabled: false
5
+
6
+ Style/DotPosition:
7
+ Enabled: false
8
+
9
+ Style/Documentation:
10
+ Enabled: false
11
+
12
+ Style/Blocks:
13
+ Exclude:
14
+ - 'spec/**/*'
15
+
16
+ Style/MultilineBlockChain:
17
+ Exclude:
18
+ - 'spec/**/*'
19
+
20
+ Style/RegexpLiteral:
21
+ MaxSlashes: 0
22
+ Exclude:
23
+ - '*.gemspec'
24
+
25
+ Metrics/LineLength:
26
+ Max: 96
27
+ Exclude:
28
+ - '*.gemspec'
29
+
30
+ Style/OpMethod:
31
+ Enabled: false
32
+
33
+ Style/StringLiterals:
34
+ Enabled: false
35
+
36
+ Style/UnneededPercentQ:
37
+ Enabled: false
38
+
39
+ AllCops:
40
+ Exclude:
41
+ - 'bin/**/*'
42
+ - 'vendor/**/*'
43
+
data/.rubocop_todo.yml ADDED
@@ -0,0 +1,6 @@
1
+ # This configuration was generated by `rubocop --auto-gen-config`
2
+ # on 2015-02-25 23:42:36 -0500 using RuboCop version 0.29.1.
3
+ # The point is for the user to remove these configuration records
4
+ # one by one as the offenses are removed from the code base.
5
+ # Note that changes in the inspected code, or installation of new
6
+ # versions of RuboCop, may require this file to be generated again.
data/.travis.yml ADDED
@@ -0,0 +1,11 @@
1
+ language: ruby
2
+ bundler_args: --without debug
3
+ rvm:
4
+ - 1.9
5
+ - 2.0
6
+ - 2.1
7
+ - 2.2
8
+ - rbx-2
9
+ - jruby
10
+ - ruby-head
11
+ - jruby-head
data/Gemfile ADDED
@@ -0,0 +1,27 @@
1
+ source 'https://rubygems.org'
2
+
3
+ # Specify your gem's dependencies in unsound.gemspec
4
+ gemspec
5
+
6
+ group :test do
7
+ gem "rspec"
8
+ end
9
+
10
+ group :development do
11
+ gem "yard"
12
+ end
13
+
14
+ group :debug do
15
+ gem "pry"
16
+ gem "pry-byebug"
17
+ gem "pry-doc"
18
+ end
19
+
20
+ group :metrics do
21
+ gem "rubocop", require: false
22
+
23
+ platform :mri do
24
+ gem "mutant"
25
+ gem "mutant-rspec"
26
+ end
27
+ end
data/LICENSE.txt ADDED
@@ -0,0 +1,22 @@
1
+ Copyright (c) 2015 Peter Swan
2
+
3
+ MIT License
4
+
5
+ Permission is hereby granted, free of charge, to any person obtaining
6
+ a copy of this software and associated documentation files (the
7
+ "Software"), to deal in the Software without restriction, including
8
+ without limitation the rights to use, copy, modify, merge, publish,
9
+ distribute, sublicense, and/or sell copies of the Software, and to
10
+ permit persons to whom the Software is furnished to do so, subject to
11
+ the following conditions:
12
+
13
+ The above copyright notice and this permission notice shall be
14
+ included in all copies or substantial portions of the Software.
15
+
16
+ THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND,
17
+ EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF
18
+ MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND
19
+ NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS BE
20
+ LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION
21
+ OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN CONNECTION
22
+ WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE.
data/README.md ADDED
@@ -0,0 +1,35 @@
1
+ # Unsound [![Build Status](https://travis-ci.org/pdswan/unsound.svg?branch=master)](https://travis-ci.org/pdswan/unsound) [![Inline docs](http://inch-ci.org/github/pdswan/unsound.svg?branch=master)](http://inch-ci.org/github/pdswan/unsound) [![Code Climate](https://codeclimate.com/github/pdswan/unsound/badges/gpa.svg)](https://codeclimate.com/github/pdswan/unsound)
2
+
3
+ Functional constructs inspired by [Haskell](https://www.haskell.org/), written in Ruby.
4
+
5
+ Heavily influenced by [Kliesli](https://github.com/txus/kleisli), primariliy undertaken as an experiment motivated by:
6
+
7
+ * fun
8
+ * removing default globals
9
+ * integrating `try` semantics with `Either`
10
+
11
+ ## Installation
12
+
13
+ Add this line to your application's Gemfile:
14
+
15
+ gem 'unsound'
16
+
17
+ And then execute:
18
+
19
+ $ bundle
20
+
21
+ Or install it yourself as:
22
+
23
+ $ gem install unsound
24
+
25
+ ## Usage
26
+
27
+ Check the specs.
28
+
29
+ ## Contributing
30
+
31
+ 1. Fork it ( http://github.com/<my-github-username>/unsound/fork )
32
+ 2. Create your feature branch (`git checkout -b my-new-feature`)
33
+ 3. Commit your changes (`git commit -am 'Add some feature'`)
34
+ 4. Push to the branch (`git push origin my-new-feature`)
35
+ 5. Create new Pull Request
data/Rakefile ADDED
@@ -0,0 +1,9 @@
1
+ require "bundler/gem_tasks"
2
+
3
+ begin
4
+ require 'rspec/core/rake_task'
5
+ RSpec::Core::RakeTask.new(:spec)
6
+ task default: :spec
7
+ rescue LoadError
8
+ warn "RSpec not available!"
9
+ end
@@ -0,0 +1,16 @@
1
+ module Unsound
2
+ module Composition
3
+ module_function
4
+
5
+ # Compose two callables together
6
+ #
7
+ # g(f(x)) == (g * f)(x)
8
+ #
9
+ # @param g [#call] a lambda, proc, method, etc.
10
+ # @param f [#call] a lambda, proc, method, etc.
11
+ # @return [Proc]
12
+ def compose(g, f)
13
+ ->(*args) { g.call(f.call(*args)) }
14
+ end
15
+ end
16
+ end
@@ -0,0 +1,20 @@
1
+ require "English"
2
+
3
+ module Unsound
4
+ module Control
5
+ module_function
6
+
7
+ # Try executing the block. If the block
8
+ # raises an exception wrap it in a {Data::Left},
9
+ # otherwise wrap it in a {Data::Right}.
10
+ #
11
+ # @param block [Block] the block to execute
12
+ # @return [Data::Right, Data::Left] an instance of
13
+ # a {Data::Right} or {Data::Left} to indicate success or failure.
14
+ def try(&block)
15
+ Data::Right.new(block.call)
16
+ rescue
17
+ Data::Left.new($ERROR_INFO)
18
+ end
19
+ end
20
+ end
@@ -0,0 +1,101 @@
1
+ require "abstract_type"
2
+ require "concord"
3
+
4
+ module Unsound
5
+ module Data
6
+ # @abstract
7
+ class Either
8
+ include AbstractType
9
+ include Concord::Public.new(:value)
10
+
11
+ # Wraps a raw value in a {Data::Right}
12
+ #
13
+ # @param value [Any] the value to wrap
14
+ # @return [Data::Right]
15
+ def self.of(value)
16
+ Right.new(value)
17
+ end
18
+
19
+ abstract_method :fmap
20
+ abstract_method :>>
21
+
22
+ abstract_method :either
23
+ abstract_method :and_then
24
+ abstract_method :or_else
25
+
26
+ private
27
+
28
+ def of(value)
29
+ self.class.of(value)
30
+ end
31
+ end
32
+
33
+ class Left < Either
34
+ # A Noop
35
+ #
36
+ # @return [Data::Left]
37
+ def fmap(*)
38
+ self
39
+ end
40
+
41
+ # A Noop
42
+ #
43
+ # @return [Data::Left]
44
+ def >>(*)
45
+ self
46
+ end
47
+ alias :and_then :>>
48
+
49
+ # Chain another operation which can result in a {Data::Either}
50
+ #
51
+ # @param f[#call] the next operation
52
+ # @return [Data::Left, Data::Right]
53
+ def or_else(f = nil, &blk)
54
+ (f || blk)[value]
55
+ end
56
+
57
+ # Call a function on the value in the {Data::Left}
58
+ #
59
+ # @param f [#call] a function capable of processing the value
60
+ # @param _ [#call] a function that will never be called
61
+ def either(f, _)
62
+ f[value]
63
+ end
64
+ end
65
+
66
+ class Right < Either
67
+ # Apply a function to a value contained in a {Data::Right}
68
+ #
69
+ # @param f [#call] the function to apply
70
+ # @return [Data::Right] the result of applying the function
71
+ # wrapped in a {Data::Right}
72
+ def fmap(f = nil, &blk)
73
+ self >> Composition.compose(method(:of), (f || blk))
74
+ end
75
+
76
+ # Chain another operation which can result in a {Data::Either}
77
+ #
78
+ # @param f[#call] the next operation
79
+ # @return [Data::Left, Data::Right]
80
+ def >>(f = nil, &blk)
81
+ (f || blk)[value]
82
+ end
83
+ alias :and_then :>>
84
+
85
+ # A Noop
86
+ #
87
+ # @return [Data::Right]
88
+ def or_else(*)
89
+ self
90
+ end
91
+
92
+ # Call a function on the value in the {Data::Right}
93
+ #
94
+ # @param _ [#call] a function that will never be called
95
+ # @param f [#call] a function capable of processing the value
96
+ def either(_, f)
97
+ f[value]
98
+ end
99
+ end
100
+ end
101
+ end
@@ -0,0 +1,3 @@
1
+ module Unsound
2
+ VERSION = "0.0.1"
3
+ end
data/lib/unsound.rb ADDED
@@ -0,0 +1,4 @@
1
+ require "unsound/version"
2
+ require "unsound/composition"
3
+ require "unsound/data"
4
+ require "unsound/control"
@@ -0,0 +1,52 @@
1
+ require "unsound"
2
+
3
+ RSpec.describe "Use cases" do
4
+ let(:repo) do
5
+ users.inject({}) do |users, user|
6
+ users.merge(user.id => user)
7
+ end
8
+ end
9
+
10
+ let(:alice) { double(:alice, id: :alice, name: "Alice") }
11
+ let(:voldemort) { double(:voldemort, id: :voldemort, name: nil) }
12
+ let(:users) { [alice, voldemort] }
13
+
14
+ let(:id) { ->(x) { x } }
15
+
16
+ it "allows mapping over the value of a computation" do
17
+ expect(
18
+ Unsound::Control.try do
19
+ repo.fetch(:alice)
20
+ end.fmap(&:name).fmap(&:upcase)
21
+ ).to eq(Unsound::Data::Right.new("ALICE"))
22
+ end
23
+
24
+ describe "error handling" do
25
+ describe "a user is not found" do
26
+ it "allows graceful error handling" do
27
+ Unsound::Control.try do
28
+ repo.fetch(:does_not_exist)
29
+ end.fmap(&:name).fmap(&:upcase).either(
30
+ ->(error) { expect(error).to be_kind_of(KeyError) },
31
+ ->(_) { fail "Can't get here" }
32
+ )
33
+ end
34
+ end
35
+
36
+ describe "failures further down the chain" do
37
+ it "allows graceful error handling" do
38
+ Unsound::Control.try do
39
+ repo.fetch(:voldemort)
40
+ end.
41
+ fmap(&:name).
42
+ # TODO: this is verbose because try eagerly evaluates
43
+ # is there a good way to make this more terse?
44
+ and_then { |value| Unsound::Control.try { value.upcase } }.
45
+ either(
46
+ ->(error) { expect(error).to be_kind_of(NoMethodError) },
47
+ ->(_) { fail "Can't get here" }
48
+ )
49
+ end
50
+ end
51
+ end
52
+ end
@@ -0,0 +1,28 @@
1
+ RSpec.shared_examples_for "a Functor" do
2
+ let(:id) { ->(x) { x } }
3
+ let(:dbl) { ->(x) { [x, x] } }
4
+ let(:fst) { ->(xs) { xs.first } }
5
+ let(:compose) { Unsound::Composition.public_method(:compose) }
6
+
7
+ describe "fmap" do
8
+ describe "identity" do
9
+ specify do
10
+ instances.each do |instance|
11
+ expect(instance.fmap(id)).to eq(id[instance])
12
+ end
13
+ end
14
+ end
15
+
16
+ describe "composition" do
17
+ specify do
18
+ instances.each do |instance|
19
+ expect(
20
+ instance.fmap(dbl).fmap(fst)
21
+ ).to eq(
22
+ instance.fmap(compose[fst, dbl])
23
+ )
24
+ end
25
+ end
26
+ end
27
+ end
28
+ end
@@ -0,0 +1,31 @@
1
+ RSpec.shared_examples_for "a Monad" do
2
+ let(:f) { ->(x) { type.of([x, x]) } }
3
+
4
+ describe "having left identity" do
5
+ specify do
6
+ expect(type.of(value) >> f).to eq(f[value])
7
+ end
8
+ end
9
+
10
+ describe "having right identity" do
11
+ specify do
12
+ instances.each do |instance|
13
+ expect(instance >> type.public_method(:of)).to eq(instance)
14
+ end
15
+ end
16
+ end
17
+
18
+ describe "having associativity" do
19
+ specify do
20
+ instances.each do |instance|
21
+ expect(
22
+ instance >> lambda do |a|
23
+ f[a] >> lambda do |b|
24
+ f[b]
25
+ end
26
+ end
27
+ ).to eq(instance >> f >> f)
28
+ end
29
+ end
30
+ end
31
+ end
@@ -0,0 +1,91 @@
1
+ # This file was generated by the `rspec --init` command. Conventionally, all
2
+ # specs live under a `spec` directory, which RSpec adds to the `$LOAD_PATH`.
3
+ # The generated `.rspec` file contains `--require spec_helper` which will cause
4
+ # this file to always be loaded, without a need to explicitly require it in any
5
+ # files.
6
+ #
7
+ # Given that it is always loaded, you are encouraged to keep this file as
8
+ # light-weight as possible. Requiring heavyweight dependencies from this file
9
+ # will add to the boot time of your test suite on EVERY test run, even for an
10
+ # individual file that may not need all of that loaded. Instead, consider making
11
+ # a separate helper file that requires the additional dependencies and performs
12
+ # the additional setup, and require it from the spec files that actually need
13
+ # it.
14
+ #
15
+ # The `.rspec` file also contains a few flags that are not defaults but that
16
+ # users commonly want.
17
+ #
18
+ # See http://rubydoc.info/gems/rspec-core/RSpec/Core/Configuration
19
+ RSpec.configure do |config|
20
+ # rspec-expectations config goes here. You can use an alternate
21
+ # assertion/expectation library such as wrong or the stdlib/minitest
22
+ # assertions if you prefer.
23
+ config.expect_with :rspec do |expectations|
24
+ # This option will default to `true` in RSpec 4. It makes the `description`
25
+ # and `failure_message` of custom matchers include text for helper methods
26
+ # defined using `chain`, e.g.:
27
+ # be_bigger_than(2).and_smaller_than(4).description
28
+ # # => "be bigger than 2 and smaller than 4"
29
+ # ...rather than:
30
+ # # => "be bigger than 2"
31
+ expectations.include_chain_clauses_in_custom_matcher_descriptions = true
32
+ end
33
+
34
+ # rspec-mocks config goes here. You can use an alternate test double
35
+ # library (such as bogus or mocha) by changing the `mock_with` option here.
36
+ config.mock_with :rspec do |mocks|
37
+ # Prevents you from mocking or stubbing a method that does not exist on
38
+ # a real object. This is generally recommended, and will default to
39
+ # `true` in RSpec 4.
40
+ mocks.verify_partial_doubles = true
41
+ end
42
+
43
+ # The settings below are suggested to provide a good initial experience
44
+ # with RSpec, but feel free to customize to your heart's content.
45
+ begin
46
+ # These two settings work together to allow you to limit a spec run
47
+ # to individual examples or groups you care about by tagging them with
48
+ # `:focus` metadata. When nothing is tagged with `:focus`, all examples
49
+ # get run.
50
+ config.filter_run :focus
51
+ config.run_all_when_everything_filtered = true
52
+
53
+ # Limits the available syntax to the non-monkey patched syntax that is
54
+ # recommended. For more details, see:
55
+ # - http://myronmars.to/n/dev-blog/2012/06/rspecs-new-expectation-syntax
56
+ # - http://teaisaweso.me/blog/2013/05/27/rspecs-new-message-expectation-syntax/
57
+ # - http://myronmars.to/n/dev-blog/2014/05/notable-changes-in-rspec-3#new__config_option_to_disable_rspeccore_monkey_patching
58
+ config.disable_monkey_patching!
59
+
60
+ # This setting enables warnings. It's recommended, but in some cases may
61
+ # be too noisy due to issues in dependencies.
62
+ config.warnings = true
63
+
64
+ # Many RSpec users commonly either run the entire suite or an individual
65
+ # file, and it's useful to allow more verbose output when running an
66
+ # individual spec file.
67
+ if config.files_to_run.one?
68
+ # Use the documentation formatter for detailed output,
69
+ # unless a formatter has already been configured
70
+ # (e.g. via a command-line flag).
71
+ config.default_formatter = 'doc'
72
+ end
73
+
74
+ # Print the 10 slowest examples and example groups at the
75
+ # end of the spec run, to help surface which specs are running
76
+ # particularly slow.
77
+ config.profile_examples = 10
78
+
79
+ # Run specs in random order to surface order dependencies. If you find an
80
+ # order dependency and want to debug it, you can fix the order by providing
81
+ # the seed, which is printed after each run.
82
+ # --seed 1234
83
+ config.order = :random
84
+
85
+ # Seed global randomization in this process using the `--seed` CLI option.
86
+ # Setting this allows you to use `--seed` to deterministically reproduce
87
+ # test failures related to randomization by passing the same `--seed` value
88
+ # as the one that triggered the failure.
89
+ Kernel.srand config.seed
90
+ end
91
+ end
@@ -0,0 +1,27 @@
1
+ require "unsound"
2
+
3
+ RSpec.describe Unsound::Control do
4
+ describe Unsound::Control, ".try" do
5
+ subject(:run_try) { Unsound::Control.try(&blk) }
6
+
7
+ context "the block executes successfully" do
8
+ let(:blk) { -> { result } }
9
+ let(:result) { double(:result) }
10
+
11
+ it "returns the result of the block wrapped in a Right" do
12
+ expect(run_try).to be_a(Unsound::Data::Right)
13
+ expect(run_try.value).to eq(result)
14
+ end
15
+ end
16
+
17
+ context "the block raises an exception" do
18
+ let(:blk) { -> { fail error } }
19
+ let(:error) { StandardError.new("Something went wrong") }
20
+
21
+ it "returns the exception wrapped in a Left" do
22
+ expect(run_try).to be_a(Unsound::Data::Left)
23
+ expect(run_try.value).to eq(error)
24
+ end
25
+ end
26
+ end
27
+ end
@@ -0,0 +1,122 @@
1
+ require "shared/functor_examples"
2
+ require "shared/monad_examples"
3
+
4
+ require "unsound"
5
+
6
+ RSpec.describe Unsound::Data::Either do
7
+ let(:value) { double(:value) }
8
+
9
+ let(:instances) do
10
+ [
11
+ Unsound::Data::Right.new(value),
12
+ Unsound::Data::Left.new(value)
13
+ ]
14
+ end
15
+
16
+ it "has an abstract base class" do
17
+ expect {
18
+ Unsound::Data::Either.new("anything")
19
+ }.to raise_error(NotImplementedError)
20
+ end
21
+
22
+ it_behaves_like "a Functor"
23
+
24
+ it_behaves_like "a Monad" do
25
+ let(:type) { Unsound::Data::Either }
26
+
27
+ specify { expect(type.of(value)).to eq(Unsound::Data::Right.new(value)) }
28
+ end
29
+
30
+ describe "#and_then" do
31
+ let(:and_then) do
32
+ ->(value) { Unsound::Data::Right.new([value, value]) }
33
+ end
34
+
35
+ context "a right" do
36
+ let(:right) { Unsound::Data::Right.new(value) }
37
+ let(:value) { double(:value) }
38
+
39
+ context "a function" do
40
+ it "applies the function over the value" do
41
+ expect(right.and_then(and_then)).to eq(and_then.call(value))
42
+ end
43
+ end
44
+
45
+ context "a block" do
46
+ it "applies the block over the value" do
47
+ expect(right.and_then(&and_then)).to eq(and_then.call(value))
48
+ end
49
+ end
50
+ end
51
+
52
+ context "a left" do
53
+ let(:left) { Unsound::Data::Left.new(error) }
54
+ let(:error) { double(:error) }
55
+
56
+ it "is a noop returning self" do
57
+ expect(left.and_then(and_then)).to eq(left)
58
+ end
59
+ end
60
+ end
61
+
62
+ describe "#or_else" do
63
+ let(:or_else) do
64
+ ->(error) { Unsound::Data::Left.new(error.message) }
65
+ end
66
+
67
+ context "a right" do
68
+ let(:right) { Unsound::Data::Right.new(value) }
69
+ let(:value) { double(:value) }
70
+
71
+ it "is a noop returning self" do
72
+ expect(right.or_else(or_else)).to eq(right)
73
+ end
74
+ end
75
+
76
+ context "a left" do
77
+ let(:left) { Unsound::Data::Left.new(error) }
78
+ let(:error) { double(:error, message: error_message) }
79
+ let(:error_message) { double(:error_message) }
80
+
81
+ context "a function" do
82
+ it "applies the function over the error" do
83
+ expect(left.or_else(or_else)).to eq(or_else.call(error))
84
+ end
85
+ end
86
+
87
+ context "a block" do
88
+ it "applies the block over the error" do
89
+ expect(left.or_else(&or_else)).to eq(or_else.call(error))
90
+ end
91
+ end
92
+ end
93
+ end
94
+
95
+ describe "#either" do
96
+ let(:left_fn) { double(:left_fn) }
97
+ let(:right_fn) { double(:right_fn) }
98
+
99
+ let(:left_result) { double(:left_result) }
100
+ let(:right_result) { double(:right_result) }
101
+
102
+ context "a right" do
103
+ let(:right) { Unsound::Data::Right.new(value) }
104
+
105
+ it "calls the right function with the value" do
106
+ allow(right_fn).to receive(:[]).
107
+ with(value).and_return(right_result)
108
+ expect(right.either(left_fn, right_fn)).to eq(right_result)
109
+ end
110
+ end
111
+
112
+ context "a left" do
113
+ let(:left) { Unsound::Data::Left.new(value) }
114
+
115
+ it "calls the left function with the value" do
116
+ allow(left_fn).to receive(:[]).
117
+ with(value).and_return(left_result)
118
+ expect(left.either(left_fn, right_fn)).to eq(left_result)
119
+ end
120
+ end
121
+ end
122
+ end
data/unsound.gemspec ADDED
@@ -0,0 +1,25 @@
1
+ # coding: utf-8
2
+ lib = File.expand_path('../lib', __FILE__)
3
+ $LOAD_PATH.unshift(lib) unless $LOAD_PATH.include?(lib)
4
+ require 'unsound/version'
5
+
6
+ Gem::Specification.new do |spec|
7
+ spec.name = "unsound"
8
+ spec.version = Unsound::VERSION
9
+ spec.authors = ["Peter Swan"]
10
+ spec.email = ["pdswan@gmail.com"]
11
+ spec.summary = %q(General functional concepts inspired by Haskell, implemented in Ruby.)
12
+ spec.homepage = "https://github.com/pdswan/unsound"
13
+ spec.license = "MIT"
14
+
15
+ spec.files = `git ls-files -z`.split("\x0")
16
+ spec.executables = spec.files.grep(%r{^bin/}) { |f| File.basename(f) }
17
+ spec.test_files = spec.files.grep(%r{^(test|spec|features)/})
18
+ spec.require_paths = ["lib"]
19
+
20
+ spec.add_dependency "concord", "~> 0"
21
+ spec.add_dependency "abstract_type", "~> 0"
22
+
23
+ spec.add_development_dependency "bundler", "~> 1.5"
24
+ spec.add_development_dependency "rake", "~> 0"
25
+ end
metadata ADDED
@@ -0,0 +1,127 @@
1
+ --- !ruby/object:Gem::Specification
2
+ name: unsound
3
+ version: !ruby/object:Gem::Version
4
+ version: 0.0.1
5
+ platform: ruby
6
+ authors:
7
+ - Peter Swan
8
+ autorequire:
9
+ bindir: bin
10
+ cert_chain: []
11
+ date: 2015-03-10 00:00:00.000000000 Z
12
+ dependencies:
13
+ - !ruby/object:Gem::Dependency
14
+ name: concord
15
+ requirement: !ruby/object:Gem::Requirement
16
+ requirements:
17
+ - - ~>
18
+ - !ruby/object:Gem::Version
19
+ version: '0'
20
+ type: :runtime
21
+ prerelease: false
22
+ version_requirements: !ruby/object:Gem::Requirement
23
+ requirements:
24
+ - - ~>
25
+ - !ruby/object:Gem::Version
26
+ version: '0'
27
+ - !ruby/object:Gem::Dependency
28
+ name: abstract_type
29
+ requirement: !ruby/object:Gem::Requirement
30
+ requirements:
31
+ - - ~>
32
+ - !ruby/object:Gem::Version
33
+ version: '0'
34
+ type: :runtime
35
+ prerelease: false
36
+ version_requirements: !ruby/object:Gem::Requirement
37
+ requirements:
38
+ - - ~>
39
+ - !ruby/object:Gem::Version
40
+ version: '0'
41
+ - !ruby/object:Gem::Dependency
42
+ name: bundler
43
+ requirement: !ruby/object:Gem::Requirement
44
+ requirements:
45
+ - - ~>
46
+ - !ruby/object:Gem::Version
47
+ version: '1.5'
48
+ type: :development
49
+ prerelease: false
50
+ version_requirements: !ruby/object:Gem::Requirement
51
+ requirements:
52
+ - - ~>
53
+ - !ruby/object:Gem::Version
54
+ version: '1.5'
55
+ - !ruby/object:Gem::Dependency
56
+ name: rake
57
+ requirement: !ruby/object:Gem::Requirement
58
+ requirements:
59
+ - - ~>
60
+ - !ruby/object:Gem::Version
61
+ version: '0'
62
+ type: :development
63
+ prerelease: false
64
+ version_requirements: !ruby/object:Gem::Requirement
65
+ requirements:
66
+ - - ~>
67
+ - !ruby/object:Gem::Version
68
+ version: '0'
69
+ description:
70
+ email:
71
+ - pdswan@gmail.com
72
+ executables: []
73
+ extensions: []
74
+ extra_rdoc_files: []
75
+ files:
76
+ - .gitignore
77
+ - .rspec
78
+ - .rubocop.yml
79
+ - .rubocop_todo.yml
80
+ - .travis.yml
81
+ - Gemfile
82
+ - LICENSE.txt
83
+ - README.md
84
+ - Rakefile
85
+ - lib/unsound.rb
86
+ - lib/unsound/composition.rb
87
+ - lib/unsound/control.rb
88
+ - lib/unsound/data.rb
89
+ - lib/unsound/version.rb
90
+ - spec/integration/try_spec.rb
91
+ - spec/shared/functor_examples.rb
92
+ - spec/shared/monad_examples.rb
93
+ - spec/spec_helper.rb
94
+ - spec/unit/unsound/control_spec.rb
95
+ - spec/unit/unsound/data/either_spec.rb
96
+ - unsound.gemspec
97
+ homepage: https://github.com/pdswan/unsound
98
+ licenses:
99
+ - MIT
100
+ metadata: {}
101
+ post_install_message:
102
+ rdoc_options: []
103
+ require_paths:
104
+ - lib
105
+ required_ruby_version: !ruby/object:Gem::Requirement
106
+ requirements:
107
+ - - '>='
108
+ - !ruby/object:Gem::Version
109
+ version: '0'
110
+ required_rubygems_version: !ruby/object:Gem::Requirement
111
+ requirements:
112
+ - - '>='
113
+ - !ruby/object:Gem::Version
114
+ version: '0'
115
+ requirements: []
116
+ rubyforge_project:
117
+ rubygems_version: 2.4.5
118
+ signing_key:
119
+ specification_version: 4
120
+ summary: General functional concepts inspired by Haskell, implemented in Ruby.
121
+ test_files:
122
+ - spec/integration/try_spec.rb
123
+ - spec/shared/functor_examples.rb
124
+ - spec/shared/monad_examples.rb
125
+ - spec/spec_helper.rb
126
+ - spec/unit/unsound/control_spec.rb
127
+ - spec/unit/unsound/data/either_spec.rb