case_class 1.0.0

data/.document

@@ -0,0 +1,5 @@
+README.rdoc
+lib/**/*.rb
+bin/*
+features/**/*.feature
+LICENSE

data/.gitignore

@@ -0,0 +1,21 @@
+## MAC OS
+.DS_Store
+
+## TEXTMATE
+*.tmproj
+tmtags
+
+## EMACS
+*~
+\#*
+.\#*
+
+## VIM
+*.swp
+
+## PROJECT::GENERAL
+coverage
+rdoc
+pkg
+
+## PROJECT::SPECIFIC

data/README

@@ -0,0 +1,28 @@
+= case_class
+
+Scala-like case classes for Ruby
+
+== SYNOPSIS:
+
+  require "case_class"
+  include CaseClass
+
+  Number = Case[:n]
+  Sum    = Case[:e1, :e2]
+
+  # evaluation with pattern matching
+  def eval(n)
+    case n
+    when Sum[e1 = _, e2 = _] then eval(e1) + eval(e2)
+    when Number[n = _] then n
+    end
+  end
+
+  # (1 + 2) + (3 + 4) => 10
+  expr = Sum[Sum[Number[1], Number[2]], Sum[Number[3], Number[4]]]
+  p eval(expr)  #=> 10
+
+== LICENSE:
+
+Copyright:: Yusuke Endoh <mame@tsg.ne.jp>
+License:: Ruby's

data/Rakefile

@@ -0,0 +1,52 @@
+require 'rubygems'
+require 'rake'
+
+begin
+  require 'jeweler'
+  Jeweler::Tasks.new do |gem|
+    gem.name = "case_class"
+    gem.summary = %Q{Scala-like case classes for Ruby}
+    gem.description = %Q{This provides Scala-like case classes for Ruby.  You can enjoy pattern matching with place holders.}
+    gem.email = "mame@tsg.ne.jp"
+    gem.homepage = "http://github.com/mame/case_class"
+    gem.authors = ["Yusuke Endoh"]
+    # gem is a Gem::Specification... see http://www.rubygems.org/read/chapter/20 for additional settings
+  end
+  Jeweler::GemcutterTasks.new
+rescue LoadError
+  puts "Jeweler (or a dependency) not available. Install it with: gem install jeweler"
+end
+
+require 'rake/testtask'
+Rake::TestTask.new(:test) do |test|
+  test.libs << 'lib' << 'test'
+  test.pattern = 'test/**/test_*.rb'
+  test.verbose = true
+end
+
+begin
+  require 'rcov/rcovtask'
+  Rcov::RcovTask.new do |test|
+    test.libs << 'test'
+    test.pattern = 'test/**/test_*.rb'
+    test.verbose = true
+  end
+rescue LoadError
+  task :rcov do
+    abort "RCov is not available. In order to run rcov, you must: sudo gem install spicycode-rcov"
+  end
+end
+
+task :test => :check_dependencies
+
+task :default => :test
+
+require 'rake/rdoctask'
+Rake::RDocTask.new do |rdoc|
+  version = File.exist?('VERSION') ? File.read('VERSION') : ""
+
+  rdoc.rdoc_dir = 'rdoc'
+  rdoc.title = "case_class #{version}"
+  rdoc.rdoc_files.include('README*')
+  rdoc.rdoc_files.include('lib/**/*.rb')
+end

data/VERSION

@@ -0,0 +1 @@
+1.0.0

data/examples/example.rb

@@ -0,0 +1,13 @@
+require "case_class"
+include CaseClass
+
+# create placeholder (a.k.a. promise or future)
+x = _
+a = [1, x, 2, x, 3, x]
+
+p a  #=> [1, _promise_, 2, _promise_, 3, _promise_]
+
+# fulfill promise by 42 (not assign)
+x === 42
+
+p a  #=> [1, 42, 2, 42, 3, 42]

data/examples/expr.rb

@@ -0,0 +1,19 @@
+require "case_class"
+include CaseClass
+
+# data Expr = Number Int | Sum Expr Expr
+
+Number = Case[:n]
+Sum    = Case[:e1, :e2]
+
+# evaluation with pattern matching
+def eval(n)
+  case n
+  when Sum[e1 = _, e2 = _] then eval(e1) + eval(e2)
+  when Number[n = _] then n
+  end
+end
+
+# (1 + 2) + (3 + 4)
+expr = Sum[Sum[Number[1], Number[2]], Sum[Number[3], Number[4]]]
+p eval(expr)  #=> 10

data/examples/rbtree.rb

@@ -0,0 +1,85 @@
+require "case_class"
+include CaseClass
+
+# translated from http://www.cs.kent.ac.uk/people/staff/smk/redblack/
+module RedBlackTree
+  # data RB a = E | T Color (RB a) a (RB a)
+  E = Case[]
+  T = Case[:c, :l, :v, :r]
+
+  def insert(x, t)
+    T[_,a=_,z=_,b=_] === insert0(x, t)
+    T[:B,a,z,b]
+  end
+
+  def insert0(x, t)
+    case t
+    when E; T[:R,E,x,E]
+    when T[:B,a=_,y=_,b=_]
+      case
+      when x<y; balance(insert0(x, a), y, b)
+      when x>y; balance(a, y, insert0(x, b))
+      else t
+      end
+    when T[:R,a=_,y=_,b=_]
+      case
+      when x<y; T[:R, insert0(x, a), y, b]
+      when x>y; T[:R, a, y, insert0(x, b)]
+      else t
+      end
+    end
+  end
+
+  def member(x, t)
+    case t
+    when T[_, a=_, y=_, b=_]
+      case
+      when x<y; member(x, a)
+      when x>y; member(x, b)
+      else true
+      end
+    else
+      false
+    end
+  end
+
+  def balance(l, v, r)
+    case [l, v, r]
+    when [T[:R,T[:R,a=_,x=_,b=_],y=_,c=_],z=_,d=_]; T[:R,T[:B,a,x,b],y,T[:B,c,z,d]]
+    when [T[:R,a=_,x=_,T[:R,b=_,y=_,c=_]],z=_,d=_]; T[:R,T[:B,a,x,b],y,T[:B,c,z,d]]
+    when [T[:R,a=_,x=_,b=_],y=_,T[:R,c=_,z=_,d=_]]; T[:R,T[:B,a,x,b],y,T[:B,c,z,d]]
+    when [a=_,x=_,T[:R,T[:R,b=_,y=_,c=_],z=_,d=_]]; T[:R,T[:B,a,x,b],y,T[:B,c,z,d]]
+    when [a=_,x=_,T[:R,b=_,y=_,T[:R,c=_,z=_,d=_]]]; T[:R,T[:B,a,x,b],y,T[:B,c,z,d]]
+    when [a=_,x=_,b=_]; T[:B,a,x,b]
+    end
+  end
+
+#  # balance with no pattern matching
+#  def balance(l, v, r)
+#    case
+#    when T===l && l.c===:R && T===l.l && l.l.c===:R
+#      T[:R,T[:B,l.l.l,l.l.v,l.l.r],l.v,T[:B,l.r,v,r]]
+#    when T===l && l.c===:R && T===l.r && l.r.c===:R
+#      T[:R,T[:B,l.l,l.v,l.r.l],l.r.v,T[:B,l.r.r,v,r]]
+#    when T===l && l.c===:R && T===r   && r  .c===:R
+#      T[:R,T[:B,l.l,l.v,l.r],v,T[:B,r.l,r.v,r.r]]
+#    when T===r && r.c===:R && T===r.l && r.l.c===:R
+#      T[:R,T[:B,l,v,r.l.l],r.l.v,T[:B,r.l.r,r.v,r.r]]
+#    when T===r && r.c===:R && T===r.r && r.r.c===:R
+#      T[:R,T[:B,l,v,r.l],r.v,T[:B,r.r.l,r.r.v,r.r.r]]
+#    else T[:B,l,v,r]
+#    end
+#  end
+end
+
+include RedBlackTree
+
+tree = E
+(1..10).to_a.shuffle.each do |x|
+  tree = insert(x, tree)
+end
+
+p member( 5, tree) #=> true
+p member(11, tree) #=> false
+p member( 0, tree) #=> false
+p tree

data/lib/case_class.rb

@@ -0,0 +1,47 @@
+require "delegate"
+
+module CaseClass
+  class PlaceHolder < SimpleDelegator
+    def initialize
+      class << self
+        def ==(obj)
+          obj = obj.__getobj__ while PlaceHolder === obj
+          class << self
+            remove_method(:==)
+            remove_method(:===)
+            remove_method(:inspect)
+          end
+          __setobj__(obj)
+          true
+        end
+
+        alias === ==
+
+        def inspect
+          "_promise_"
+        end
+      end
+
+      super(nil)
+    end
+  end
+
+  class Case < Struct
+    def ===(obj)
+      obj = obj.__getobj__ while PlaceHolder === obj
+      super
+    end
+
+    def self.[](*ary)
+      if ary.size >= 1
+        new(*ary)
+      else
+        new(:dummy)[nil]
+      end
+    end
+  end
+
+  def _
+    PlaceHolder.new
+  end
+end

data/test/helper.rb

@@ -0,0 +1,9 @@
+require 'rubygems'
+require 'test/unit'
+
+$LOAD_PATH.unshift(File.dirname(__FILE__))
+$LOAD_PATH.unshift(File.join(File.dirname(__FILE__), '..', 'lib'))
+require 'case_class'
+
+class Test::Unit::TestCase
+end

data/test/test_case_class.rb

@@ -0,0 +1,22 @@
+require "helper"
+
+class TestCaseClass < Test::Unit::TestCase
+  def test_placeholder
+    x = CaseClass::PlaceHolder.new
+    assert_equal("_promise_", x.inspect)
+    assert_equal(true, x === 42)
+    assert_equal("42", x.inspect)
+  end
+
+  Foo = CaseClass::Case[:x, :y, :z]
+  def test_case
+    foo = Foo[1, 2, 3]
+    x = CaseClass::PlaceHolder.new
+    y = CaseClass::PlaceHolder.new
+    z = CaseClass::PlaceHolder.new
+    Foo[x, y, z] === Foo[1, 2, 3]
+    assert_equal(1, x)
+    assert_equal(2, y)
+    assert_equal(3, z)
+  end
+end

metadata

@@ -0,0 +1,78 @@
+--- !ruby/object:Gem::Specification 
+name: case_class
+version: !ruby/object:Gem::Version 
+  prerelease: false
+  segments: 
+  - 1
+  - 0
+  - 0
+  version: 1.0.0
+platform: ruby
+authors: 
+- Yusuke Endoh
+autorequire: 
+bindir: bin
+cert_chain: []
+
+date: 2010-05-22 00:00:00 +09:00
+default_executable: 
+dependencies: []
+
+description: This provides Scala-like case classes for Ruby.  You can enjoy pattern matching with place holders.
+email: mame@tsg.ne.jp
+executables: []
+
+extensions: []
+
+extra_rdoc_files: 
+- README
+files: 
+- .document
+- .gitignore
+- README
+- Rakefile
+- VERSION
+- examples/example.rb
+- examples/expr.rb
+- examples/rbtree.rb
+- lib/case_class.rb
+- test/helper.rb
+- test/test_case_class.rb
+has_rdoc: true
+homepage: http://github.com/mame/case_class
+licenses: []
+
+post_install_message: 
+rdoc_options: 
+- --charset=UTF-8
+require_paths: 
+- lib
+required_ruby_version: !ruby/object:Gem::Requirement 
+  none: false
+  requirements: 
+  - - ">="
+    - !ruby/object:Gem::Version 
+      segments: 
+      - 0
+      version: "0"
+required_rubygems_version: !ruby/object:Gem::Requirement 
+  none: false
+  requirements: 
+  - - ">="
+    - !ruby/object:Gem::Version 
+      segments: 
+      - 0
+      version: "0"
+requirements: []
+
+rubyforge_project: 
+rubygems_version: 1.3.7
+signing_key: 
+specification_version: 3
+summary: Scala-like case classes for Ruby
+test_files: 
+- test/helper.rb
+- test/test_case_class.rb
+- examples/rbtree.rb
+- examples/expr.rb
+- examples/example.rb