proinsias 0.2.0 → 0.3.0

checksums.yaml

@@ -1,7 +1,7 @@
 ---
 SHA256:
-  metadata.gz: 0a51137014744fb158735b6f9e32d4df50cda2d8e8f0e0cffc088fd8ab8bd29d
-  data.tar.gz: f3f1340c0786e25b54d12efebe8a3a64d9b5a4ceaf2e1dff7d0694dc74df8fed
+  metadata.gz: 2208cb49a3ee68ac0474a3f474f01ab0d58fc5467ab0c8738b50e7fa87338ba9
+  data.tar.gz: 651b290b3f896d025a330969db5106b6b1830a38e234371457311b416358094c
 SHA512:
-  metadata.gz: ebd6996020f55346b42e65f65e797d9e166fb882d8de035381de09dbae116abd758a8a50bd9c00d0bb831ea1e70191a9a6bcae264fbbe18e19a2e895acab3eda
-  data.tar.gz: d025d3325fe546b624f6154c00b1d5caeffb9df11495d9e7d82d5dfabed8d19e4962fb36695d998d7bab77de9a62b1805681a694026cd08f0e85ed12f65c3d60
+  metadata.gz: d02c436a089a259f9aafcf543044727d95e12fb893b60433cd1debbdef7344cf2ed42e6fa2595f020b04fb3f533f49e57bfa7285efe2387b3287ce92f448eff6
+  data.tar.gz: 816d069c3581138e49f694aca3e0b47ea579ddabbedd5e782dff5d95a2086a1b0ee9aa2c8e907b7859b2968be2ff218a170a339020303ebe63d410347b5c5915

data/Gemfile.lock

@@ -1,14 +1,14 @@
 PATH
   remote: .
   specs:
-    proinsias (0.2.0)
-      moory (~> 1.1.3)
+    proinsias (0.3.0)
+      moory (~> 1.2.0)
 
 GEM
   remote: https://rubygems.org/
   specs:
     diff-lcs (1.3)
-    moory (1.1.3)
+    moory (1.2.0)
     rake (10.5.0)
     rspec (3.7.0)
       rspec-core (~> 3.7.0)

data/examples/assemblyline.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 ⇒ s".each_char do |c|
+  scanner.issue(c)
+end
+
+pp assembly_line.product.to_ast

data/examples/director.rb

@@ -0,0 +1,15 @@
+trace = Array.new
+
+director = Proinsias::Director.new(
+  consumer: trace.method(:<<)
+)
+
+scanner = Proinsias::Scanner.new(
+  consumer: director.method(:issue)
+)
+
+"p ≡ p ≡ true".each_char do |c|
+  scanner.issue(c)
+end
+
+pp trace

data/examples/scanner.rb

@@ -0,0 +1,11 @@
+trace = Array.new
+
+scanner = Proinsias::Scanner.new(
+  consumer: trace.method(:<<)
+)
+
+"p ≡ p ≡ true".each_char do |c|
+  scanner.issue(c)
+end
+
+pp trace

data/lib/proinsias/assembler.rb

@@ -5,24 +5,34 @@ module Proinsias
     def feed(incoming)
       receiver ?
         connect(incoming) :
-        @receiver = incoming
+        establish(incoming)
 
-      @opening = incoming.expectant? ? incoming : nil
+      look_for_opening(incoming)
+
+      self
     end
 
+    private
+    
     def connect(incoming)
+      @receiver = route(incoming)
+    end
+
+    def route(incoming)
       if opening
         opening.receive(incoming)
-        return @receiver
-      end
-      if incoming > receiver
-        incoming.receive(receiver)
-        return @receiver = incoming
-      end
-      if incoming < receiver
-        receiver.absorb(incoming)
-        return @receiver
+        receiver
+      else
+        receiver.integrate(incoming)
       end
     end
+
+    def look_for_opening(incoming)
+      @opening = incoming.expectant? ? incoming : nil
+    end
+
+    def establish(incoming)
+      @receiver = incoming
+    end
   end
 end

data/lib/proinsias/assemblyline.rb

@@ -0,0 +1,37 @@
+module Proinsias
+  class AssemblyLine
+    attr_writer :active
+
+    def deferrals
+      @deferrals ||= []
+    end
+
+    def active
+      @active ||= Proinsias::Assembler.new
+    end
+
+    def issue(directive)
+      if incoming = directive.particle
+        active.feed(incoming)
+        directive.commands.each { |cmd| send(cmd) }
+      end
+    end
+
+    def defer
+      deferrals.push(active)
+      @active = nil
+    end
+
+    def reconvene
+      tmp = deferrals.pop
+
+      @active = tmp.feed(active.receiver)
+    end
+
+    def product
+      deferrals.empty? ?
+        active.receiver :
+        nil
+    end
+  end
+end

data/lib/proinsias/configurations.rb

@@ -1,5 +1,35 @@
 module Proinsias
   module Configurations
+    FILTER = """
+    ^ : p / p / produce : ^
+    ^ : q / q / produce : ^
+    ^ : r / r / produce : ^
+    ^ : s / s / produce : ^
+
+    ^ : ¬ / ¬ / produce : ^
+
+    ^ : ≡ / ≡ / produce : ^
+    ^ : ∧ / ∧ / produce : ^
+    ^ : ∨ / ∨ / produce : ^
+    ^ : ⇒ / ⇒ / produce : ^
+    ^ : ⇐ / ⇐ / produce : ^
+    ^ : = / = / produce : ^
+
+    ^ : ( / ( / produce : ^
+    ^ : ) / ) / produce : ^
+
+    ^ : t : 0
+    0 : r : 1
+    1 : u : 2
+    2 : e / true / produce : ^
+
+    ^ : f : 3
+    3 : a : 4
+    4 : l : 5
+    5 : s : 6
+    6 : e / false / produce : ^
+    """
+    
     PIP = # PIP: Prefix Infix Parenthetical
     {
       basis: 'basis',

data/lib/proinsias/director.rb

@@ -0,0 +1,36 @@
+require 'moory'
+
+module Proinsias
+  class Director
+    attr_accessor :consumer
+
+    def initialize(consumer:nil)
+      @consumer = consumer
+    end
+
+    def controller
+      @controller ||= Moory::Logistic::Controller.new(
+        Configurations::PIP
+      )
+    end
+
+    def issue(particle)
+      if result = controller.issue(particle.role)
+        forward(
+          Directive.new(
+            particle:  particle,
+            commands: result
+          )
+        )
+      end
+    end
+
+    private
+
+    def forward(directive)
+      consumer.call(directive) if consumer
+    end
+  end
+
+  Directive = Struct.new(:particle, :commands, keyword_init: true)
+end

data/lib/proinsias/filter.rb

@@ -0,0 +1,12 @@
+require 'moory'
+
+module Proinsias
+  module Filter
+    def Filter.create(consumer:)
+      Moory::Filter.new(
+        rules:    Proinsias::Configurations::FILTER,
+        consumer: consumer
+      )
+    end
+  end
+end

data/lib/proinsias/{operators.rb → particle.rb}

@@ -1,5 +1,5 @@
 module Proinsias
-  module Competitor
+  module Disposition
     module Optimistic
       attr_reader :strength
       include Comparable
@@ -23,10 +23,12 @@ module Proinsias
     end
   end
 
-  module Atoms
+  module Particle
     class Atom
       include Receiver
-      include Competitor::Pessimistic
+      include Disposition::Pessimistic
+
+      attr_reader :role
 
       def initialize(glyph)
         @glyph = glyph
@@ -39,12 +41,29 @@ module Proinsias
       end
     end
     
-    Constant = Atom
-    Variable = Atom
+    class Constant < Atom
+      def initialize(glyph)
+        super
+        @role = 'constant'
+      end
+    end
+
+    class Variable < Atom
+      def initialize(glyph)
+        super
+        @role = 'variable'
+      end
+    end
   end
 
-  module Operators
+  module Particle
     class Operator
+      include Proinsias::Receiver
+
+      attr_reader :role
+      
+      alias arguments received
+      
       def to_ast
         {
           @glyph => arguments.collect { |a| a.to_ast }
@@ -53,8 +72,6 @@ module Proinsias
     end
 
     class BinaryOperator < Operator
-      include Proinsias::Receiver
-
       def initialize(glyph)
         @glyph = glyph
         @capacity = 2
@@ -62,8 +79,6 @@ module Proinsias
     end
 
     class UnaryOperator < Operator
-      include Proinsias::Receiver
-
       def initialize(glyph)
         @glyph = glyph
         @capacity = 1
@@ -71,65 +86,72 @@ module Proinsias
     end
 
     class Negation < UnaryOperator
-      include Competitor::Pessimistic
+      include Disposition::Pessimistic
 
-      def initialize
-        super('¬')
+      def initialize(glyph='¬')
+        super
         @strength = 2
+        @role = 'prefix'
       end
     end
 
     class Equivalence < BinaryOperator
-      include Competitor::Optimistic
+      include Disposition::Optimistic
 
-      def initialize
-        super('≡')
+      def initialize(glyph='≡')
+        super
         @strength = 12
+        @role = 'infix'
       end
     end
 
     class Consequence < BinaryOperator
-      include Competitor::Optimistic
+      include Disposition::Optimistic
 
-      def initialize
-        super('⇐')
+      def initialize(glyph='⇐')
+        super
         @strength = 11
+        @role = 'infix'
       end
     end
 
     class Implication < BinaryOperator
-      include Competitor::Pessimistic
+      include Disposition::Pessimistic
 
-      def initialize
-        super('⇒')
+      def initialize(glyph='⇒')
+        super
         @strength = 11
+        @role = 'infix'
       end
     end
 
     class Equality < BinaryOperator
-      include Competitor::Optimistic
+      include Disposition::Optimistic
 
-      def initialize
-        super('=')
+      def initialize(glyph='=')
+        super
         @strength = 9
+        @role = 'infix'
       end
     end
 
     class Disjunction < BinaryOperator
-      include Competitor::Optimistic
+      include Disposition::Optimistic
 
-      def initialize
-        super('∨')
+      def initialize(glyph='∨')
+        super
         @strength = 10
+        @role = 'infix'
       end
     end
 
     class Conjunction < BinaryOperator
-      include Competitor::Optimistic
+      include Disposition::Optimistic
 
-      def initialize
-        super('∧')
+      def initialize(glyph='∧')
+        super
         @strength = 10
+        @role = 'infix'
       end
     end
   end

data/lib/proinsias/receiver.rb

@@ -1,19 +1,24 @@
 module Proinsias
   module Receiver
-    attr_reader :received, :capacity
-
-    alias nodes received
-    alias arguments received
+    attr_accessor :received, :capacity, :flexible
 
     def received
       @received ||= []
     end
 
     def receive(guest)
-      (received << guest
-      guest) unless full?
+      make_room if flexible
+
+      (
+        received << guest
+        guest
+      ) unless full?
     end
 
+    def capacity
+      @capacity ||= 0
+    end
+    
     def full?
       ! expectant?
     end
@@ -22,23 +27,44 @@ module Proinsias
       received.count < capacity
     end
 
+    def make_room(count=1)
+      @capacity = expectant? ? 
+          capacity :
+          capacity + count
+    end
+
     def last
       received.last
     end
 
-    def accommodates?(other)
-      other > last
+    def integrate(other)
+      if other > self
+        other.receive(self)
+        return other
+      end
+      if other < self
+        self.insert(other)
+        return self
+      end
     end
-
-    def absorb(other)
+    
+    def insert(other)
       accommodates?(other) ?
-        splice(other) :
-        last.absorb(other)
+      splice(other) :
+      last.insert(other)
     end
-
+    
     def splice(other)
       other.receive(received.pop)
       receive(other)
     end
+    
+    def superpose(other)
+      received.each { |r| other.receive(r) }
+    end
+
+    def accommodates?(other)
+      other > last
+    end
   end
 end

data/lib/proinsias/scanner.rb

@@ -0,0 +1,47 @@
+module Proinsias
+  class Scanner
+    attr_accessor :consumer
+
+    def initialize(consumer:)
+      @consumer = consumer
+    end
+
+    def issue(char)
+      filter.issue(char)
+    end
+
+    def filter
+      @filter ||= Proinsias::Filter.create(
+        consumer: method(:forward)
+      )
+    end
+
+    def translate(glyph)
+      map = {
+        'p'     => 'Variable',
+        'q'     => 'Variable',
+        'r'     => 'Variable',
+        's'     => 'Variable',
+        'true'  => 'Constant',
+        'false' => 'Constant',
+        '¬'     => 'Negation',
+        '≡'     => 'Equivalence',
+        '⇐'     => 'Consequence',
+        '⇒'     => 'Implication',
+        '='     => 'Equality',
+        '∨'     => 'Disjunction',
+        '∧'     => 'Conjunction',
+      }
+      
+      Proinsias::Particle
+        .const_get(map[glyph])
+        .send(:new, glyph)
+    end
+
+    def forward(glyph)
+      consumer.call(
+        translate(glyph)
+      )
+    end
+  end
+end

data/lib/proinsias/version.rb

@@ -1,3 +1,3 @@
 module Proinsias
-  VERSION = "0.2.0"
+  VERSION = "0.3.0"
 end

data/lib/proinsias.rb

@@ -1,11 +1,13 @@
 require "proinsias/version"
-require "proinsias/token"
-require "proinsias/decoder"
+require "proinsias/filter"
 require "proinsias/configurations"
-require "proinsias/sieve"
 require "proinsias/receiver"
-require "proinsias/operators"
+require "proinsias/particle"
+require "proinsias/scanner"
 require "proinsias/assembler"
+require "proinsias/director"
+require "proinsias/assemblyline"
+
 
 module Proinsias
   # Your code goes here...

data/proinsias.gemspec

@@ -35,5 +35,5 @@ Gem::Specification.new do |spec|
   spec.add_development_dependency "rake", "~> 10.0"
   spec.add_development_dependency "rspec", "~> 3.0"
 
-  spec.add_dependency "moory", "~> 1.1.3"
+  spec.add_dependency "moory", "~> 1.2.0"
 end

metadata

@@ -1,14 +1,14 @@
 --- !ruby/object:Gem::Specification
 name: proinsias
 version: !ruby/object:Gem::Version
-  version: 0.2.0
+  version: 0.3.0
 platform: ruby
 authors:
 - Adam W. Grant
 autorequire: 
 bindir: exe
 cert_chain: []
-date: 2018-08-05 00:00:00.000000000 Z
+date: 2018-08-11 00:00:00.000000000 Z
 dependencies:
 - !ruby/object:Gem::Dependency
   name: bundler
@@ -58,14 +58,14 @@ dependencies:
     requirements:
     - - "~>"
       - !ruby/object:Gem::Version
-        version: 1.1.3
+        version: 1.2.0
   type: :runtime
   prerelease: false
   version_requirements: !ruby/object:Gem::Requirement
     requirements:
     - - "~>"
       - !ruby/object:Gem::Version
-        version: 1.1.3
+        version: 1.2.0
 description: 
 email:
 - adam_grnt@yahoo.co.uk
@@ -83,14 +83,18 @@ files:
 - Rakefile
 - bin/console
 - bin/setup
+- examples/assemblyline.rb
+- examples/director.rb
+- examples/scanner.rb
 - lib/proinsias.rb
 - lib/proinsias/assembler.rb
+- lib/proinsias/assemblyline.rb
 - lib/proinsias/configurations.rb
-- lib/proinsias/decoder.rb
-- lib/proinsias/operators.rb
+- lib/proinsias/director.rb
+- lib/proinsias/filter.rb
+- lib/proinsias/particle.rb
 - lib/proinsias/receiver.rb
-- lib/proinsias/sieve.rb
-- lib/proinsias/token.rb
+- lib/proinsias/scanner.rb
 - lib/proinsias/version.rb
 - proinsias.gemspec
 homepage: https://github.com/elclavijero/proinsias

data/lib/proinsias/decoder.rb

@@ -1,68 +0,0 @@
-require 'moory'
-
-module Proinsias
-  module Decoder
-    RULES = """
-    ^ : p / variable / produce : ^
-    ^ : q / variable / produce : ^
-    ^ : r / variable / produce : ^
-    ^ : s / variable / produce : ^
-
-    ^ : ¬ / prefix / produce : ^
-
-    ^ : ≡ / infix / produce : ^
-    ^ : ∧ / infix / produce : ^
-    ^ : ∨ / infix / produce : ^
-    ^ : ⇒ / infix / produce : ^
-    ^ : ⇐ / infix / produce : ^
-
-    ^ : ( / lparen / produce : ^
-    ^ : ) / rparen / produce : ^
-
-    ^ : t : 0
-    0 : r : 1
-    1 : u : 2
-    2 : e / constant / produce : ^
-
-    ^ : f : 3
-    3 : a : 4
-    4 : l : 5
-    5 : s : 6
-    6 : e / constant / produce : ^
-    """
-    
-    class Automaton < Moory::Logistic::Unit
-      IGNORE = [' ', "\t", "\n"]
-
-      def initialize(consumer)
-        @buffer = ""
-        @consumer = consumer
-        super(rules: RULES)
-      end
-
-      def configure(rules)
-        super
-        repertoire.learn(name: 'produce', item: method(:produce))
-      end
-
-      def produce(output)
-        @consumer.call(
-          Token.new(
-            glyph: @buffer,
-            role:  output
-          )
-        )
-        @buffer = ""
-      end
-
-      def issue(stimulus)
-        return if IGNORE.include?(stimulus)
-        
-        @buffer << stimulus
-        unless success = super(stimulus)
-          produce(nil)
-        end
-      end
-    end
-  end
-end

data/lib/proinsias/sieve.rb

@@ -1,31 +0,0 @@
-require 'moory'
-
-module Proinsias
-  class Sieve
-    def initialize(filter:, consumer:, quarantine:nil)
-      @consumer   = consumer
-      @quarantine = quarantine
-      @filter     = filter
-    end
-
-    def issue(token)
-      fits?(token) ?
-        release(token) :
-        quarantine(token)
-    end
-
-    private
-
-    def fits?(token)
-      @filter.issue(token.role)
-    end
-
-    def release(token)
-      @consumer.call(token)
-    end
-
-    def quarantine(token)
-      @quarantine.call(token) if @quarantine
-    end
-  end
-end

data/lib/proinsias/token.rb

@@ -1,3 +0,0 @@
-module Proinsias
-  Token = Struct.new(:role, :glyph, keyword_init: true)
-end