stitcher 0.1.0

data/lib/stitcher/type.rb

@@ -0,0 +1,107 @@
+module Stitcher
+	module TypeOperators
+		def | other
+			Stitcher.type_or self, other
+		end
+
+		def & other
+			Stitcher.type_and self, other
+		end
+
+		def !
+			Stitcher.type_not self
+		end
+
+		def +@
+			Stitcher.type_plus_at self
+		end
+	end
+end
+
+
+module Stitcher module Refinements
+	module Type
+		refine Object do
+			def type
+				stitcher_type
+			end
+
+			def stitcher_type
+				Stitcher::Type.new self.class == Class ? self : self.class
+			end
+
+			def classtype
+				self.class == Class ? self : self.class
+			end
+		end
+
+		refine Class do
+			include TypeOperators
+		end
+	end
+end end
+
+
+using Stitcher::Refinements::Type
+
+
+module Stitcher
+	class Type
+		include TypeOperators
+
+		def initialize klass = nil, &block
+			@comp = block
+			@comp = lambda do |other, op|
+				# change operator "<" to ">".
+				return other.comp(klass, op.to_s.tr("<>", "><"))  if other.class == Type
+				return self.comp(other, :==) if op.to_sym == :===
+				klass.__send__ op, other.classtype
+			end unless block_given?
+		end
+
+		def comp other, op
+			!!@comp.(other, op)
+		end
+
+		[:==, :!=, :>=, :<=, :>, :<, :===].each do |op|
+			define_method(op) do |other|
+				comp other, op
+			end
+		end
+
+		def type
+			self
+		end
+	end
+
+	def type_or a, b
+		Type.new do |other, op|
+			(a.type.__send__ op, other.type) || (b.type.__send__ op, other.type)
+		end
+	end
+	module_function :type_or
+
+
+	def type_and a, b
+		Type.new do |other, op|
+			(a.type.__send__ op, other.type) && (b.type.__send__ op, other.type)
+		end
+	end
+	module_function :type_and
+
+	def type_not a
+		Type.new do |other, op|
+			!(a.type.__send__ op, other.type)
+		end
+	end
+	module_function :type_not
+
+	def type_plus_at a
+		Type.new do |other, op|
+			next a.type >= other if op.to_sym == :===
+			a.type.__send__ op, other.type
+		end
+	end
+	module_function :type_plus_at
+end
+

data/lib/stitcher/type/core_ext.rb

@@ -0,0 +1,11 @@
+require_relative "../type"
+
+class Object
+	def type
+		stitcher_type
+	end
+
+	def stitcher_type
+		Stitcher::Type.new self.class == Class ? self : self.class
+	end
+end

data/lib/stitcher/variadic_argument.rb

@@ -0,0 +1,12 @@
+require_relative "./core_ext"
+
+using StitcherArrayEx
+
+module Stitcher module VariadicArgument
+	def +@
+		lambda { |other|
+			return false if size > other.size
+			clone.fill(last, size, other.size - size) === other
+		}
+	end
+end end

data/lib/stitcher/version.rb

@@ -0,0 +1,3 @@
+module Stitcher
+  VERSION = "0.1.0"
+end

data/stitcher.gemspec

@@ -0,0 +1,25 @@
+# coding: utf-8
+lib = File.expand_path('../lib', __FILE__)
+$LOAD_PATH.unshift(lib) unless $LOAD_PATH.include?(lib)
+require 'stitcher/version'
+
+Gem::Specification.new do |spec|
+  spec.name          = "stitcher"
+  spec.version       = Stitcher::VERSION
+  spec.authors       = ["manga_osyo"]
+  spec.email         = ["manga.osyo@gmail.com"]
+
+  spec.summary       = %q{Typed Programing}
+  spec.description   = %q{Typed Programing}
+  spec.homepage      = "https://github.com/osyo-manga/gem-stitcher"
+  spec.license       = "MIT"
+
+  spec.files         = `git ls-files -z`.split("\x0").reject { |f| f.match(%r{^(test|spec|features)/}) }
+  spec.bindir        = "exe"
+  spec.executables   = spec.files.grep(%r{^exe/}) { |f| File.basename(f) }
+  spec.require_paths = ["lib"]
+
+  spec.add_development_dependency "bundler", "~> 1.6"
+  spec.add_development_dependency "rake", "~> 10.0"
+  spec.add_development_dependency "rspec"
+end

metadata

@@ -0,0 +1,117 @@
+--- !ruby/object:Gem::Specification
+name: stitcher
+version: !ruby/object:Gem::Version
+  version: 0.1.0
+platform: ruby
+authors:
+- manga_osyo
+autorequire: 
+bindir: exe
+cert_chain: []
+date: 2016-02-04 00:00:00.000000000 Z
+dependencies:
+- !ruby/object:Gem::Dependency
+  name: bundler
+  requirement: !ruby/object:Gem::Requirement
+    requirements:
+    - - "~>"
+      - !ruby/object:Gem::Version
+        version: '1.6'
+  type: :development
+  prerelease: false
+  version_requirements: !ruby/object:Gem::Requirement
+    requirements:
+    - - "~>"
+      - !ruby/object:Gem::Version
+        version: '1.6'
+- !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'
+- !ruby/object:Gem::Dependency
+  name: rspec
+  requirement: !ruby/object:Gem::Requirement
+    requirements:
+    - - ">="
+      - !ruby/object:Gem::Version
+        version: '0'
+  type: :development
+  prerelease: false
+  version_requirements: !ruby/object:Gem::Requirement
+    requirements:
+    - - ">="
+      - !ruby/object:Gem::Version
+        version: '0'
+description: Typed Programing
+email:
+- manga.osyo@gmail.com
+executables: []
+extensions: []
+extra_rdoc_files: []
+files:
+- ".gitignore"
+- ".rspec"
+- ".travis.yml"
+- Gemfile
+- README.md
+- Rakefile
+- bin/console
+- bin/setup
+- docs/matome.md
+- docs/stitcher.md
+- docs/type.md
+- docs/typed.md
+- example/core_ex.rb
+- example/register.rb
+- example/simple.rb
+- example/type.rb
+- lib/stitcher.rb
+- lib/stitcher/accessor.rb
+- lib/stitcher/concepts.rb
+- lib/stitcher/core.rb
+- lib/stitcher/core_ext.rb
+- lib/stitcher/define_method.rb
+- lib/stitcher/operators.rb
+- lib/stitcher/register.rb
+- lib/stitcher/require.rb
+- lib/stitcher/stitch.rb
+- lib/stitcher/type.rb
+- lib/stitcher/type/core_ext.rb
+- lib/stitcher/variadic_argument.rb
+- lib/stitcher/version.rb
+- stitcher.gemspec
+homepage: https://github.com/osyo-manga/gem-stitcher
+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.1
+signing_key: 
+specification_version: 4
+summary: Typed Programing
+test_files: []