ternary_types 0.0.1

checksums.yaml

@@ -0,0 +1,7 @@
+---
+SHA1:
+  metadata.gz: 46426cac759835696bc9fd7ec9c4e4d23f613ecd
+  data.tar.gz: e1414aaf0aa2c9ea97d1cccf559ef3faa9e14d9a
+SHA512:
+  metadata.gz: ec4d8cc6e150e22d29beb0bd8a3c932d5d25c9fb4fd412fc1d3001b3d0b334a6292bb0838c5a1868ea088c1b1739100f7d40e90feb22bbe282114a12fcb67a96
+  data.tar.gz: af929f5704333e80db9a3eb4141af2432dadf3e8d92d64521594e2a0ae881162cf559852f307551cd001bca0e916af792998075df968876bf1431e4f692762d6

data/.gitignore

@@ -0,0 +1,14 @@
+/.bundle/
+/.yardoc
+/Gemfile.lock
+/_yardoc/
+/coverage/
+/doc/
+/pkg/
+/spec/reports/
+/tmp/
+*.bundle
+*.so
+*.o
+*.a
+mkmf.log

data/Gemfile

@@ -0,0 +1,4 @@
+source 'https://rubygems.org'
+
+# Specify your gem's dependencies in ternary_types.gemspec
+gemspec

data/LICENSE.txt

@@ -0,0 +1,22 @@
+Copyright (c) 2014 Maxim Chernyak
+
+MIT License
+
+Permission is hereby granted, free of charge, to any person obtaining
+a copy of this software and associated documentation files (the
+"Software"), to deal in the Software without restriction, including
+without limitation the rights to use, copy, modify, merge, publish,
+distribute, sublicense, and/or sell copies of the Software, and to
+permit persons to whom the Software is furnished to do so, subject to
+the following conditions:
+
+The above copyright notice and this permission notice shall be
+included in all copies or substantial portions of the Software.
+
+THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND,
+EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF
+MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND
+NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS BE
+LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION
+OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN CONNECTION
+WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE.

data/README.md

@@ -0,0 +1,58 @@
+# ternary_types
+
+Use True/False/Maybe singletons to evaluate 3-value logic for such great fun.
+
+## Usage
+
+```irb
+require 'ternary_types'
+
+T = TernaryTypes::True.instance
+M = TernaryTypes::Maybe.instance
+F = TernaryTypes::Flase.instance
+
+!T # => #<TernaryTypes::False:0x007feccc7c4938>
+!M # => #<TernaryTypes::Maybe:0x007feccc7b61f8>
+T == F # => #<TernaryTypes::True:0x007feccc7bc670>
+M == T # => #<TernaryTypes::Maybe:0x007feccc7b61f8>
+M == M # => #<TernaryTypes::Maybe:0x007feccc7b61f8>
+T == T # => #<TernaryTypes::True:0x007feccc7bc670>
+T & F # => #<TernaryTypes::False:0x007feccc7c4938>
+M & T # => #<TernaryTypes::Maybe:0x007feccc7b61f8>
+T | F # => #<TernaryTypes::True:0x007feccc7bc670>
+T ^ T # => #<TernaryTypes::False:0x007feccc7c4938>
+
+include TernaryTypes::Coersion
+
+Ternary(true) # => #<TernaryTypes::True:0x007feccc7bc670>
+Ternary(:foo) # => #<TernaryTypes::True:0x007feccc7bc670>
+
+Ternary(false) # => #<TernaryTypes::False:0x007feccc7c4938>
+Ternary(nil) # => #<TernaryTypes::False:0x007feccc7c4938>
+
+Ternary(:maybe) # => #<TernaryTypes::Maybe:0x007feccc7b61f8>
+```
+
+## Installation
+
+Add this line to your application's Gemfile:
+
+```ruby
+gem 'ternary_types'
+```
+
+And then execute:
+
+    $ bundle
+
+Or install it yourself as:
+
+    $ gem install ternary_types
+
+## Contributing
+
+1. Fork it ( https://github.com/[my-github-username]/ternary_types/fork )
+2. Create your feature branch (`git checkout -b my-new-feature`)
+3. Commit your changes (`git commit -am 'Add some feature'`)
+4. Push to the branch (`git push origin my-new-feature`)
+5. Create a new Pull Request

data/Rakefile

@@ -0,0 +1,11 @@
+require "bundler/gem_tasks"
+
+require 'rake/testtask'
+
+Rake::TestTask.new do |t|
+  t.libs << 'test'
+  t.test_files = FileList['test/**/*_test.rb']
+  t.verbose = true
+end
+
+task :default => :test

data/lib/ternary_types.rb

@@ -0,0 +1,96 @@
+require 'ternary_types/version'
+require 'singleton'
+
+module TernaryTypes
+  module Coersion
+    module_function
+
+    def Ternary(value)
+      if [True, False, Maybe].any?{|c| value.is_a?(c)}
+        value
+      elsif value == :maybe
+        Maybe.instance
+      elsif value
+        True.instance
+      else
+        False.instance
+      end
+    end
+  end
+
+  class True
+    include Singleton
+    include Coersion
+
+    def true?;  true  end
+    def maybe?; false end
+    def false?; false end
+    def to_s; 'true' end
+
+    def !; False.instance end
+    def ==(other); other end
+    def &(other); other end
+    def |(other); self end
+
+    def ^(other)
+      case Ternary(other)
+      when True then False.instance
+      when Maybe then Maybe.instance
+      else self
+      end
+    end
+  end
+
+  class Maybe
+    include Singleton
+    include Coersion
+
+    def true?;  false end
+    def maybe?; true  end
+    def false?; false end
+    def to_s; 'maybe' end
+
+    def !; self end
+    def ==(other); self end
+    def ^(other); self end
+
+    def &(other)
+      case Ternary(other)
+      when True then self
+      when Maybe then self
+      else False.instance
+      end
+    end
+
+    def |(other)
+      case Ternary(other)
+      when True then True.instance
+      when Maybe then self
+      else self
+      end
+    end
+  end
+
+  class False
+    include Singleton
+    include Coersion
+
+    def true?;  false end
+    def maybe?; false end
+    def false?; true  end
+    def to_s; 'false' end
+
+    def !; True.instance end
+    def &(other); self end
+    def |(other); other end
+    def ^(other); other end
+
+    def ==(other)
+      case Ternary(other)
+      when True then self
+      when Maybe then Maybe.instance
+      else True.instance
+      end
+    end
+  end
+end

data/lib/ternary_types/version.rb

@@ -0,0 +1,3 @@
+module TernaryTypes
+  VERSION = "0.0.1"
+end

data/ternary_types.gemspec

@@ -0,0 +1,24 @@
+# coding: utf-8
+lib = File.expand_path('../lib', __FILE__)
+$LOAD_PATH.unshift(lib) unless $LOAD_PATH.include?(lib)
+require 'ternary_types/version'
+
+Gem::Specification.new do |spec|
+  spec.name          = "ternary_types"
+  spec.version       = TernaryTypes::VERSION
+  spec.authors       = ["Maxim Chernyak"]
+  spec.email         = ["madfancier@gmail.com"]
+  spec.summary       = %q{Use ternary types in your ruby apps.}
+  spec.description   = 'Provides ternary singletons True, False, and Maybe '\
+    'with ==,!,&,|,^ operators implemented according to three-value logic.'
+  spec.homepage      = "https://github.com/maxim/ternary_types"
+  spec.license       = "MIT"
+
+  spec.files         = `git ls-files -z`.split("\x0")
+  spec.executables   = spec.files.grep(%r{^bin/}) { |f| File.basename(f) }
+  spec.test_files    = spec.files.grep(%r{^(test|spec|features)/})
+  spec.require_paths = ["lib"]
+
+  spec.add_development_dependency "bundler", "~> 1.7"
+  spec.add_development_dependency "rake", "~> 10.0"
+end

data/test/ternary_types_test.rb

@@ -0,0 +1,102 @@
+require 'bundler/setup'
+require 'minitest/autorun'
+require 'ternary_types'
+
+class TernaryTypesTest < MiniTest::Unit::TestCase
+  T = TernaryTypes::True.instance
+  F = TernaryTypes::False.instance
+  M = TernaryTypes::Maybe.instance
+
+  include TernaryTypes::Coersion
+
+  def assert_true(exp, str)
+    assert exp.true?, "Expected #{str} to evaluate to #{T}, got #{exp}"
+  end
+
+  def assert_maybe(exp, str)
+    assert exp.maybe?, "Expected #{str} to evaluate to #{M}, got #{exp}"
+  end
+
+  def assert_false(exp, str)
+    assert exp.false?, "Expected #{str} to evaluate to #{F}, got #{exp}"
+  end
+
+  def test_equals
+    assert_true T == T, 'T == T'
+    assert_true F == F, 'F == F'
+    assert_maybe M == M, 'M == M'
+  end
+
+  def test_not
+    assert_false !T, '!T'
+    assert_true !F, '!F'
+    assert_maybe !M, '!M'
+  end
+
+  #   | F M T
+  # --+-------
+  # F | F F F
+  # M | F M M
+  # T | F M T
+  def test_and
+    assert_false F & F, 'F & F'
+    assert_false F & M, 'F & M'
+    assert_false F & T, 'F & T'
+
+    assert_false M & F, 'M & F'
+    assert_maybe M & M, 'M & M'
+    assert_maybe M & T, 'M & T'
+
+    assert_false T & F, 'T & F'
+    assert_maybe T & M, 'T & M'
+    assert_true  T & T, 'T & T'
+  end
+
+  #   | F M T
+  # --+-------
+  # F | F M T
+  # M | M M T
+  # T | T T T
+  def test_or
+    assert_false F | F, 'F | F'
+    assert_maybe F | M, 'F | M'
+    assert_true  F | T, 'F | T'
+
+    assert_maybe M | F, 'M | F'
+    assert_maybe M | M, 'M | M'
+    assert_true  M | T, 'M | T'
+
+    assert_true  T | F, 'T | F'
+    assert_true  T | M, 'T | M'
+    assert_true  T | T, 'T | T'
+  end
+
+  #   | F M T
+  # --+-------
+  # F | F M T
+  # M | M M M
+  # T | T M F
+  def test_xor
+    assert_false F ^ F, 'F ^ F'
+    assert_maybe F ^ M, 'F ^ M'
+    assert_true  F ^ T, 'F ^ T'
+
+    assert_maybe M ^ F, 'M ^ F'
+    assert_maybe M ^ M, 'M ^ M'
+    assert_maybe M ^ T, 'M ^ T'
+
+    assert_true  T ^ F, 'T ^ F'
+    assert_maybe T ^ M, 'T ^ M'
+    assert_false T ^ T, 'T ^ T'
+  end
+
+  def test_coersion
+    assert_true  Ternary(T),       'Ternary(T)'
+    assert_maybe Ternary(M),       'Ternary(M)'
+    assert_false Ternary(F),       'Ternary(F)'
+    assert_maybe Ternary(:maybe),  'Ternary(:maybe)'
+    assert_true  Ternary(:object), 'Ternary(:object)'
+    assert_false Ternary(false),   'Ternary(false)'
+    assert_false Ternary(nil),     'Ternary(nil)'
+  end
+end

metadata

@@ -0,0 +1,84 @@
+--- !ruby/object:Gem::Specification
+name: ternary_types
+version: !ruby/object:Gem::Version
+  version: 0.0.1
+platform: ruby
+authors:
+- Maxim Chernyak
+autorequire: 
+bindir: bin
+cert_chain: []
+date: 2014-12-28 00:00:00.000000000 Z
+dependencies:
+- !ruby/object:Gem::Dependency
+  name: bundler
+  requirement: !ruby/object:Gem::Requirement
+    requirements:
+    - - "~>"
+      - !ruby/object:Gem::Version
+        version: '1.7'
+  type: :development
+  prerelease: false
+  version_requirements: !ruby/object:Gem::Requirement
+    requirements:
+    - - "~>"
+      - !ruby/object:Gem::Version
+        version: '1.7'
+- !ruby/object:Gem::Dependency
+  name: rake
+  requirement: !ruby/object:Gem::Requirement
+    requirements:
+    - - "~>"
+      - !ruby/object:Gem::Version
+        version: '10.0'
+  type: :development
+  prerelease: false
+  version_requirements: !ruby/object:Gem::Requirement
+    requirements:
+    - - "~>"
+      - !ruby/object:Gem::Version
+        version: '10.0'
+description: Provides ternary singletons True, False, and Maybe with ==,!,&,|,^ operators
+  implemented according to three-value logic.
+email:
+- madfancier@gmail.com
+executables: []
+extensions: []
+extra_rdoc_files: []
+files:
+- ".gitignore"
+- Gemfile
+- LICENSE.txt
+- README.md
+- Rakefile
+- lib/ternary_types.rb
+- lib/ternary_types/version.rb
+- ternary_types.gemspec
+- test/ternary_types_test.rb
+homepage: https://github.com/maxim/ternary_types
+licenses:
+- MIT
+metadata: {}
+post_install_message: 
+rdoc_options: []
+require_paths:
+- lib
+required_ruby_version: !ruby/object:Gem::Requirement
+  requirements:
+  - - ">="
+    - !ruby/object:Gem::Version
+      version: '0'
+required_rubygems_version: !ruby/object:Gem::Requirement
+  requirements:
+  - - ">="
+    - !ruby/object:Gem::Version
+      version: '0'
+requirements: []
+rubyforge_project: 
+rubygems_version: 2.4.5
+signing_key: 
+specification_version: 4
+summary: Use ternary types in your ruby apps.
+test_files:
+- test/ternary_types_test.rb
+has_rdoc: