proinsias 0.6.1 → 1.0.0

checksums.yaml

@@ -1,7 +1,7 @@
 ---
 SHA256:
-  metadata.gz: a6b3650c4481da95ee2b19c46f4c1f7f72695287f63ff1b2ef06d4c525783541
-  data.tar.gz: 8940e440c04d1c8a83571bf57d2d8ccbc4cc9cda9b154f8073c8353fce4d7cab
+  metadata.gz: 393a5e4558535b3b1fdc47d3a25bca9313e089fd700f4ea4da204dfe9c29a187
+  data.tar.gz: 1077ea2ee68a5f7b4f3a67224aa162d2cd1a0da217f109fc7d9bd429750d7f0b
 SHA512:
-  metadata.gz: 65c98c12e8b62b84cdd987e56904c2f6d254a49d458932cc8cda423fdd3d1bd16f59bc74fa5710f69f068a66ca87b924c0d789d6fb3f3046b53e605ccd00f4d2
-  data.tar.gz: b33714bd01a0afe61939ae7e95fb955e6a0595680e88c6e75df00edf91f955ad92e5e4d3f0aa9577a4260a45b1a61e3be25128b77c49331d5c578455fa9eb803
+  metadata.gz: 987552175626b6a24a2a2dd7f7cd902d96c703c22aec2e81172a17c29a579791b36533f07bde73e34c63b2878ea3256cdf7c4930464b47cdd3a4a79a5a81ff94
+  data.tar.gz: 85bbf2a5fe7d5dea4ada9e7da8558f9ef26a848feba180a2bc8d9a6879fab4b3dbdc60a8140700a4b64733883e7d6aa93ef4eb0190b10a6cbdd4aec87e765ba7

data/Gemfile.lock

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

data/examples/assemblyline.rb

@@ -5,7 +5,7 @@ director = Proinsias::Director.new(
 )
 
 scanner = Proinsias::Scanner.new(
-  consumer: director.method(:issue)
+  consumer:   director.method(:issue)
 )
 
 "p ⇒ q ⇒ r ⇒ s".each_char do |c|

data/examples/director.rb

@@ -5,7 +5,7 @@ director = Proinsias::Director.new(
 )
 
 scanner = Proinsias::Scanner.new(
-  consumer: director.method(:issue)
+  consumer:   director.method(:issue)
 )
 
 "p ≡ p ≡ true".each_char do |c|

data/examples/parentheses.rb

@@ -5,7 +5,7 @@ director = Proinsias::Director.new(
 )
 
 scanner = Proinsias::Scanner.new(
-  consumer: director.method(:issue)
+  consumer:   director.method(:issue)
 )
 
 "p ⇒ (q ≡ r) ≡ (p ⇒ q) ≡ (p ⇒ r)".each_char do |c|

data/lib/proinsias/{assemblyline.rb → assemblyline/assemblyline.rb}

@@ -1,3 +1,5 @@
+require_relative './assembler'
+
 module Proinsias
   class AssemblyLine
     attr_writer :active

data/lib/proinsias/configurations/configurations.rb

@@ -0,0 +1,2 @@
+require_relative './filter'
+require_relative './controller'

data/lib/proinsias/configurations/controller.rb

@@ -0,0 +1,47 @@
+module Proinsias
+  module Configurations
+    module Controller
+      PIP = # PIP: Prefix Infix Parenthetical
+      {
+        basis: 'basis',
+        specs: {
+          'basis' => {
+            rules: """
+            ^ : constant : $
+            ^ : variable : $
+            ^ : prefix / open          / defer : Δ
+            ^ : lparen / parenthetical / defer : Δ
+            $ : infix  / open          / defer : Δ
+            
+            Δ : term : $
+            """,
+          },
+          'open' => {
+            rules: """
+            ^ : constant / term          / reconvene : $
+            ^ : variable / term          / reconvene : $
+            ^ : prefix   / open          / defer : Δ
+            ^ : lparen   / parenthetical / defer : Δ
+            $ : infix    / open          / defer : Δ
+            
+            Δ : term     / term          / reconvene : $
+            """,
+          },
+          'parenthetical' => {
+            rules: """
+            ^ : constant : C
+            ^ : variable : C
+            ^ : prefix / open          / defer : Δ
+            ^ : lparen / parenthetical / defer : Δ
+            ^ : rparen / void          / reconvene : $
+            C : infix  / open          / defer : Δ
+            C : rparen / term          / reconvene : $
+            
+            Δ : term : C
+            """
+          }
+        }
+      }
+    end
+  end
+end

data/lib/proinsias/configurations/filter.rb

@@ -0,0 +1,36 @@
+module Proinsias
+  module Configurations
+    module Filter
+      RULES = """
+      ^ : p / p / produce : ^
+      ^ : q / q / produce : ^
+      ^ : r / r / produce : ^
+      ^ : s / s / produce : ^
+  
+      ^ : ¬ / ¬ / 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 : ^
+      """
+    end
+  end
+end

data/lib/proinsias/{director.rb → parser/director.rb}

@@ -15,7 +15,7 @@ module Proinsias
 
     def controller
       @controller ||= Moory::Logistic::Controller.new(
-        Configurations::PIP
+        Configurations::Controller::PIP
       )
     end
 

data/lib/proinsias/{filter.rb → parser/filter.rb}

@@ -4,7 +4,7 @@ module Proinsias
   module Filter
     def Filter.create(consumer:)
       Moory::Filter.new(
-        rules:    Proinsias::Configurations::FILTER,
+        rules:    Proinsias::Configurations::Filter::RULES,
         consumer: consumer
       )
     end

data/lib/proinsias/{parser.rb → parser/parser.rb}

@@ -1,3 +1,7 @@
+require_relative './filter'
+require_relative './scanner'
+require_relative './director'
+
 module Proinsias
   class Parser
     def Parser.one_shot(str)

data/lib/proinsias/parser/scanner.rb

@@ -0,0 +1,29 @@
+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)
+      Proinsias::Particle.from_glyph(glyph)
+    end
+
+    def forward(glyph)
+      consumer.call(
+        translate(glyph)
+      )
+    end
+  end
+end

data/lib/proinsias/particle/ast.rb

@@ -0,0 +1,23 @@
+module Proinsias
+  module AST
+    module Parous
+      def to_ast
+        {
+          @glyph => received.collect { |a| a.to_ast }
+        }
+      end
+    end
+  
+    module Nonparous
+      def to_ast
+        @glyph
+      end
+    end
+
+    module Ephemeral
+      def to_ast
+        received.first.to_ast
+      end
+    end
+  end
+end

data/lib/proinsias/particle/definitions.rb

@@ -0,0 +1,143 @@
+module Proinsias
+  module Particle
+    def Particle.from_glyph(glyph)
+      Fundamental.new( glyph_properties(glyph) )
+    end
+
+    def Particle.glyph_properties(glyph)
+      DEFINITIONS.detect { |p| p[:glyph] == glyph }
+    end
+    
+    DEFINITIONS = [
+      # - CONSTANTS
+      {
+        glyph:       'true',
+        role:        'constant',
+        capacity:    0,
+        strength:    0,
+        disposition: 'Pessimistic',
+      },
+      {
+        glyph:       'false',
+        role:        'constant',
+        capacity:    0,
+        strength:    0,
+        disposition: 'Pessimistic',
+      },
+      # - VARIABLES
+      {
+        glyph:       'p',
+        role:        'variable',
+        capacity:    0,
+        strength:    0,
+        disposition: 'Pessimistic',
+      },
+      {
+        glyph:       'q',
+        role:        'variable',
+        capacity:    0,
+        strength:    0,
+        disposition: 'Pessimistic',
+      },
+      {
+        glyph:       'r',
+        role:        'variable',
+        capacity:    0,
+        strength:    0,
+        disposition: 'Pessimistic',
+      },
+      {
+        glyph:       's',
+        role:        'variable',
+        capacity:    0,
+        strength:    0,
+        disposition: 'Pessimistic',
+      },
+      {
+        glyph:       'e',
+        role:        'variable',
+        capacity:    0,
+        strength:    0,
+        disposition: 'Pessimistic',
+      },
+
+      # - OPERATORS
+      {
+        glyph:       '¬',
+        role:        'prefix',
+        capacity:    1,
+        strength:    2,
+        disposition: 'Pessimistic',
+      },
+      {
+        glyph:       '⇒',
+        role:        'infix',
+        capacity:    2,
+        strength:    11,
+        disposition: 'Pessimistic',
+      },
+      {
+        glyph:       '⇐',
+        role:        'infix',
+        capacity:    2,
+        strength:    11,
+        disposition: 'Optimistic',
+      },
+      {
+        glyph:       '≡',
+        role:        'infix',
+        capacity:     2,
+        strength:     12,
+        disposition: 'Optimistic',
+      },
+      {
+        glyph:       '≢',
+        role:        'infix',
+        capacity:    2,
+        strength:    12,
+        disposition: 'Optimistic',
+      },
+      {
+        glyph:       '∨',
+        role:        'infix',
+        capacity:     2,
+        strength:     10,
+        disposition: 'Optimistic',
+      },
+      {
+        glyph:       '∧',
+        role:        'infix',
+        capacity:    2,
+        strength:    9,
+        disposition: 'Optimistic',
+      },
+      {
+        glyph:       '=',
+        role:        'infix',
+        capacity:    2,
+        strength:    9,
+        disposition: 'Optimistic',
+      },
+
+      # -- OUTFIX
+      {
+        glyph:        '(',
+        role:         'lparen',
+        capacity:     1,
+        strength:     0,
+        disposition: 'Pessimistic',
+        ephemeral:   true,
+        sentinel:    'rparen',
+      },
+
+      # -- SENTINELS
+      {
+        glyph:       ')',
+        role:        'rparen',
+        capacity:    1,
+        strength:    12,
+        disposition: 'Optimistic',
+      },
+    ]
+  end
+end

data/lib/proinsias/particle/fundamental.rb

@@ -0,0 +1,30 @@
+module Proinsias
+  module Particle
+    Fundamental = Class.new do
+      include Receiver
+
+      attr_reader :glyph, :capacity, :strength, :role, :disposition
+      attr_reader :sentinel
+      attr_reader :ephemeral
+
+      def initialize(definition)
+        @glyph       = definition.fetch(:glyph)
+        @capacity    = definition.fetch(:capacity)
+        @strength    = definition.fetch(:strength)
+        @role        = definition.fetch(:role)
+        @disposition = definition.fetch(:disposition)
+        @sentinel    = definition.fetch(:sentinel,nil)
+        @ephemeral   = definition.fetch(:ephemeral,nil)
+
+        specialise
+      end
+
+      def specialise
+        extend(Disposition.const_get(disposition))
+        extend(capacity > 0 ? AST::Parous : AST::Nonparous)
+        extend(AST::Ephemeral) if ephemeral
+        extend(Outfix) if sentinel
+      end
+    end
+  end
+end

data/lib/proinsias/particle/particle.rb

@@ -0,0 +1,35 @@
+require_relative './definitions'
+require_relative './fundamental'
+require_relative './ast'
+
+module Proinsias
+  module Particle
+    module Foundation
+      include Receiver
+      attr_reader :role
+    end
+    
+    module Atom
+      include Foundation
+      include AST::Nonparous
+      include Disposition::Pessimistic
+    end
+
+    module Operator
+      include Foundation
+      include AST::Parous
+      alias   arguments received
+    end
+
+    module Outfix
+      def receive(particle)
+        if particle.role == @sentinel
+          @glyph = "#{@glyph} #{@sentinel}"
+          @received = particle.received
+        else
+          fail "Particle is not the expected sentinel.  We wanted: #{@sentinel}"
+        end
+      end
+    end
+  end
+end

data/lib/proinsias/receiver/disposition.rb

@@ -0,0 +1,25 @@
+module Proinsias
+  module Disposition
+    module Optimistic
+      attr_reader :strength
+      include Comparable
+  
+      def <=>(other)
+        return  1 if strength >  other.strength
+        return  1 if strength == other.strength
+        return -1 if strength <  other.strength
+      end
+    end
+  
+    module Pessimistic
+      attr_reader :strength
+      include Comparable
+  
+      def <=>(other)
+        return  1 if strength >  other.strength
+        return -1 if strength == other.strength
+        return -1 if strength <  other.strength
+      end
+    end
+  end
+end

data/lib/proinsias/{receiver.rb → receiver/receiver.rb}

@@ -1,3 +1,5 @@
+require_relative './disposition'
+
 module Proinsias
   module Receiver
     attr_accessor :received, :capacity, :flexible

data/lib/proinsias/version.rb

@@ -1,3 +1,3 @@
 module Proinsias
-  VERSION = "0.6.1"
+  VERSION = "1.0.0"
 end

data/lib/proinsias.rb

@@ -1,13 +1,9 @@
 require "proinsias/version"
-require "proinsias/filter"
-require "proinsias/configurations"
-require "proinsias/receiver"
-require "proinsias/particle"
-require "proinsias/scanner"
-require "proinsias/assembler"
-require "proinsias/director"
-require "proinsias/assemblyline"
-require "proinsias/parser"
+require "proinsias/configurations/configurations"
+require "proinsias/receiver/receiver"
+require "proinsias/particle/particle"
+require "proinsias/assemblyline/assemblyline"
+require "proinsias/parser/parser"
 
 
 module Proinsias

metadata

@@ -1,14 +1,14 @@
 --- !ruby/object:Gem::Specification
 name: proinsias
 version: !ruby/object:Gem::Version
-  version: 0.6.1
+  version: 1.0.0
 platform: ruby
 authors:
 - Adam W. Grant
 autorequire: 
 bindir: exe
 cert_chain: []
-date: 2018-08-11 00:00:00.000000000 Z
+date: 2018-08-13 00:00:00.000000000 Z
 dependencies:
 - !ruby/object:Gem::Dependency
   name: bundler
@@ -89,15 +89,21 @@ files:
 - examples/parser.rb
 - examples/scanner.rb
 - lib/proinsias.rb
-- lib/proinsias/assembler.rb
-- lib/proinsias/assemblyline.rb
-- lib/proinsias/configurations.rb
-- lib/proinsias/director.rb
-- lib/proinsias/filter.rb
-- lib/proinsias/parser.rb
-- lib/proinsias/particle.rb
-- lib/proinsias/receiver.rb
-- lib/proinsias/scanner.rb
+- lib/proinsias/assemblyline/assembler.rb
+- lib/proinsias/assemblyline/assemblyline.rb
+- lib/proinsias/configurations/configurations.rb
+- lib/proinsias/configurations/controller.rb
+- lib/proinsias/configurations/filter.rb
+- lib/proinsias/parser/director.rb
+- lib/proinsias/parser/filter.rb
+- lib/proinsias/parser/parser.rb
+- lib/proinsias/parser/scanner.rb
+- lib/proinsias/particle/ast.rb
+- lib/proinsias/particle/definitions.rb
+- lib/proinsias/particle/fundamental.rb
+- lib/proinsias/particle/particle.rb
+- lib/proinsias/receiver/disposition.rb
+- lib/proinsias/receiver/receiver.rb
 - lib/proinsias/version.rb
 - proinsias.gemspec
 homepage: https://github.com/elclavijero/proinsias

data/lib/proinsias/configurations.rb

@@ -1,76 +0,0 @@
-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 : ^
-    ^ : ) / ) / 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',
-      specs: {
-        'basis' => {
-          rules: """
-          ^ : constant : $
-          ^ : variable : $
-          ^ : prefix / open          / defer : Δ
-          ^ : lparen / parenthetical / defer : Δ
-          $ : infix  / open          / defer : Δ
-          
-          Δ : term : $
-          """,
-        },
-        'open' => {
-          rules: """
-          ^ : constant / term          / reconvene : $
-          ^ : variable / term          / reconvene : $
-          ^ : prefix   / open          / defer : Δ
-          ^ : lparen   / parenthetical / defer : Δ
-          $ : infix    / open          / defer : Δ
-          
-          Δ : term     / term          / reconvene : $
-          """,
-        },
-        'parenthetical' => {
-          rules: """
-          ^ : constant : C
-          ^ : variable : C
-          ^ : prefix / open          / defer : Δ
-          ^ : lparen / parenthetical / defer : Δ
-          ^ : rparen / void          / reconvene : $
-          C : infix  / open          / defer : Δ
-          C : rparen / term          / reconvene : $
-          
-          Δ : term : C
-          """
-        }
-      }
-    }
-  end
-end

data/lib/proinsias/particle.rb

@@ -1,201 +0,0 @@
-module Proinsias
-  module Disposition
-    module Optimistic
-      attr_reader :strength
-      include Comparable
-  
-      def <=>(other)
-        return  1 if strength >  other.strength
-        return  1 if strength == other.strength
-        return -1 if strength <  other.strength
-      end
-    end
-  
-    module Pessimistic
-      attr_reader :strength
-      include Comparable
-  
-      def <=>(other)
-        return  1 if strength >  other.strength
-        return -1 if strength == other.strength
-        return -1 if strength <  other.strength
-      end
-    end
-  end
-
-  module Particle
-    class Atom
-      include Receiver
-      include Disposition::Pessimistic
-
-      attr_reader :role
-
-      def initialize(glyph)
-        @glyph = glyph
-        @capacity = 0
-        @strength = 0
-      end
-
-      def to_ast
-        @glyph
-      end
-    end
-    
-    class Constant < Atom
-      def initialize(glyph)
-        super
-        @role = 'constant'
-      end
-    end
-
-    class Variable < Atom
-      def initialize(glyph)
-        super
-        @role = 'variable'
-      end
-    end
-  end
-
-  module Particle
-    class Operator
-      include Proinsias::Receiver
-
-      attr_reader :role
-      
-      alias arguments received
-      
-      def to_ast
-        {
-          @glyph => arguments.collect { |a| a.to_ast }
-        }
-      end
-    end
-
-    class BinaryOperator < Operator
-      def initialize(glyph)
-        @glyph = glyph
-        @capacity = 2
-      end
-    end
-
-    class UnaryOperator < Operator
-      def initialize(glyph)
-        @glyph = glyph
-        @capacity = 1
-      end
-    end
-
-    class LParen < UnaryOperator
-      include Disposition::Pessimistic
-
-      def initialize(glyph='(')
-        super
-        @strength = 0
-        @role = 'lparen'
-      end
-
-      def to_ast
-        arguments.first.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
-
-      def initialize(glyph='¬')
-        super
-        @strength = 2
-        @role = 'prefix'
-      end
-    end
-
-    class Equivalence < BinaryOperator
-      include Disposition::Optimistic
-
-      def initialize(glyph='≡')
-        super
-        @strength = 12
-        @role = 'infix'
-      end
-    end
-
-    class Inequivalence < BinaryOperator
-      include Disposition::Optimistic
-
-      def initialize(glyph='≢')
-        super
-        @strength = 12
-        @role = 'infix'
-      end
-    end
-
-    class Consequence < BinaryOperator
-      include Disposition::Optimistic
-
-      def initialize(glyph='⇐')
-        super
-        @strength = 11
-        @role = 'infix'
-      end
-    end
-
-    class Implication < BinaryOperator
-      include Disposition::Pessimistic
-
-      def initialize(glyph='⇒')
-        super
-        @strength = 11
-        @role = 'infix'
-      end
-    end
-
-    class Equality < BinaryOperator
-      include Disposition::Optimistic
-
-      def initialize(glyph='=')
-        super
-        @strength = 9
-        @role = 'infix'
-      end
-    end
-
-    class Disjunction < BinaryOperator
-      include Disposition::Optimistic
-
-      def initialize(glyph='∨')
-        super
-        @strength = 10
-        @role = 'infix'
-      end
-    end
-
-    class Conjunction < BinaryOperator
-      include Disposition::Optimistic
-
-      def initialize(glyph='∧')
-        super
-        @strength = 10
-        @role = 'infix'
-      end
-    end
-  end
-end

data/lib/proinsias/scanner.rb

@@ -1,50 +0,0 @@
-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',
-        '≢'     => 'Inequivalence',
-        '⇐'     => 'Consequence',
-        '⇒'     => 'Implication',
-        '='     => 'Equality',
-        '∨'     => 'Disjunction',
-        '∧'     => 'Conjunction',
-        '('     => 'LParen',
-        ')'     => 'RParen',
-      }
-      
-      Proinsias::Particle
-        .const_get(map[glyph])
-        .send(:new, glyph)
-    end
-
-    def forward(glyph)
-      consumer.call(
-        translate(glyph)
-      )
-    end
-  end
-end