proinsias 0.4.0 → 0.5.0

checksums.yaml

@@ -1,7 +1,7 @@
 ---
 SHA256:
-  metadata.gz: 43d8fcf8b4dab8a9e03b680d62811523b54f8393af3604381f37a9f2e377e071
-  data.tar.gz: 91dc6aa1cc2568ffd191c201254003cff9283d4539e77e428f2ad846744079f2
+  metadata.gz: c0a4bf173e6cda40f59c1ea516b7b692b364814ba4e99a166a7347ef39abaf0b
+  data.tar.gz: bc3e5f35b892ccd4f11b45c6313e27299f1a52a8bf7eb4cdf8b3544e613f094e
 SHA512:
-  metadata.gz: 3f08e2815654ca3a61962ad7b4e506f5f826be777099feb7429c4dbd8c1c6d534365ff7f765eede754290203f4c5e0c95e3a0b2b2465d42aefdfa1f2ab707df7
-  data.tar.gz: 63971758da89199ac0afba450ae40ca1efcd2652145d0dbe24acbae3aadb1390aef199ae5cdb852528ef336715d048b33e49a0b6f0f8408c695837672612e4ee
+  metadata.gz: 52bb28ebce936f928e6d33eabcfb738d085e3b7f41d20e2ee83c47f9d4382905fa2f239348ceeba2242c95e998eaf249c9cabb1650103ddfff1ffa20af5ad7db
+  data.tar.gz: 350ab68ec3615c8ff092a02d05d1e97303d1a6163588fe7e3f9a466017b91bb74fb9713d6656f2b64d618f1b668d3bdf2c85dc35b07ab26ed9498b8c43ed2160

data/Gemfile.lock

@@ -1,7 +1,7 @@
 PATH
   remote: .
   specs:
-    proinsias (0.4.0)
+    proinsias (0.5.0)
       moory (~> 1.2.0)
 
 GEM

data/examples/parentheses.rb

@@ -0,0 +1,15 @@
+assembly_line = Proinsias::AssemblyLine.new
+
+director = Proinsias::Director.new(
+  consumer:   assembly_line.method(:issue)
+)
+
+scanner = Proinsias::Scanner.new(
+  consumer: director.method(:issue)
+)
+
+"((p ≡ q) ≡ r) ≡ (p ≡ (q ≡ r))".each_char do |c|
+  scanner.issue(c)
+end
+
+pp assembly_line.product.to_ast

data/lib/proinsias/director.rb

@@ -2,10 +2,15 @@ require 'moory'
 
 module Proinsias
   class Director
-    attr_accessor :consumer
+    attr_accessor :consumer, :quarantine
 
-    def initialize(consumer:nil)
-      @consumer = consumer
+    DEFAULT_QUARANTINE = proc { |particle| 
+      fail "Received unexpected particle: #{particle}"
+    }
+
+    def initialize(consumer:, quarantine:DEFAULT_QUARANTINE)
+      @consumer   = consumer
+      @quarantine = quarantine
     end
 
     def controller
@@ -22,6 +27,9 @@ module Proinsias
             commands: result
           )
         )
+      else
+        quarantine ?
+          quarantine.call(particle) : nil
       end
     end
 

data/lib/proinsias/particle.rb

@@ -85,6 +85,39 @@ module Proinsias
       end
     end
 
+    class LParen < UnaryOperator
+      include Disposition::Pessimistic
+
+      def initialize(glyph='(')
+        super
+        @strength = 0
+        @role = 'lparen'
+      end
+
+      def to_ast
+        arguments.collect { |a| a.to_ast }
+      end
+
+      def receive(rparen)
+        if rparen.is_a?(Proinsias::Particle::RParen)
+          @glyph = '()'
+          @received = rparen.received
+        else
+          fail "Argument is not an RParen" unless rparen.is_a?(Proinsias::Particle::RParen)
+        end
+      end
+    end
+
+    class RParen < UnaryOperator
+      include Disposition::Optimistic
+
+      def initialize(glyph=')')
+        super
+        @strength = 12
+        @role = 'rparen'
+      end
+    end
+
     class Negation < UnaryOperator
       include Disposition::Pessimistic
 

data/lib/proinsias/scanner.rb

@@ -31,6 +31,8 @@ module Proinsias
         '='     => 'Equality',
         '∨'     => 'Disjunction',
         '∧'     => 'Conjunction',
+        '('     => 'LParen',
+        ')'     => 'RParen',
       }
       
       Proinsias::Particle

data/lib/proinsias/version.rb

@@ -1,3 +1,3 @@
 module Proinsias
-  VERSION = "0.4.0"
+  VERSION = "0.5.0"
 end

metadata

@@ -1,7 +1,7 @@
 --- !ruby/object:Gem::Specification
 name: proinsias
 version: !ruby/object:Gem::Version
-  version: 0.4.0
+  version: 0.5.0
 platform: ruby
 authors:
 - Adam W. Grant
@@ -85,6 +85,7 @@ files:
 - bin/setup
 - examples/assemblyline.rb
 - examples/director.rb
+- examples/parentheses.rb
 - examples/scanner.rb
 - lib/proinsias.rb
 - lib/proinsias/assembler.rb