typ 0.0.5 → 0.1.0

checksums.yaml

@@ -1,7 +1,7 @@
 ---
 SHA256:
-  metadata.gz: 14188b8d650c32fecbae6ed1ae3c8f03eac9f31effad6a0695c8ec1e77f8bdbe
-  data.tar.gz: 89524fac30d45f13f8a21f904c22e9890fb3a8d2f59bb61ad53ef5ca6abfb7d4
+  metadata.gz: a3d4190e37bd4aadc5b0d529256c441835cdf9f3673cbdb23a1d0b2e583926a7
+  data.tar.gz: edc5160b73a35c92c08d27ea5a13998f37e37f47838f4f986dc4c81d69045b72
 SHA512:
-  metadata.gz: a08274c0bed76f596da8d0b30b45bfea0679c2ba8ba29b05e478f6ce2fc3366d3110e612a8f0c2b72ac9a0262aeb7391da8a30c4915c62464eeb25b8373b4bd1
-  data.tar.gz: defa65890558d113926b445b3e5a6161d80f645bd98d0ba5e3d2ff2f602ca62d64ac885378d140dc1d12d3deaec55897a497b28c567226afd506684ef0d2b585
+  metadata.gz: 2994b127d25415c59392d1561c7b067bb578a1fc62c4e3936e0c74184222c40621af22003e2fd901ef17671d93eb2db2015eafd34f7450ece569f36066ebf615
+  data.tar.gz: 26a90c3294320ee43b78b2c1a4c8ad9939060910b3d5265b400a30889c7e8bff6dd67e1955fb888ad0e41fd0c48e6602ecca62c39b3e4fbbdbfa189e08014230

data/lib/typ.rb

@@ -1,123 +1,227 @@
 module Typ
+  module Gate
+    module DSLReaders
+      def dsl_method
+        self.class.dsl_method
+      end
+      
+      def dsl_literal
+        self.class.dsl_literal
+      end
+    end
+  
+    module New
+      def new
+        c = Class.new
+        c.include Gate
+        c.extend Singleton
+        c
+      end
+      
+    end
+  
+    module Singleton
+      attr_accessor :dsl_method, :dsl_literal
+    end
+  
+    extend New
+    include DSLReaders
+    
+    attr_reader :it, :error
+    
+    def initialize it
+      @it = it
+      @ok = begin
+              check
+            rescue => e
+              @error = e
+              false
+            end
+    end
+    
+    def check
+    end
+    
+    def ok?
+      @ok
+    end
+  end
+
   def self.included mod
     mod.extend DSL
+    mod.extend Singleton
   end
   
-  def initialize it
-    @it = it
-    @gates = self.class.gates.map { |gate| gate.new it }
-    @fails = gates.reject &:ok?
-  end
+  include Gate
   
-  attr_reader :it, :gates, :fails
+  attr_reader :gates, :fails
   
-  def ok?
+  def check
+    @gates = self.class.gates.map { |gate| gate.new it }
+    @fails = gates.reject &:ok?
     fails.empty?
   end
 
   module DSL
-    def gates
-      @gates ||= []
-    end
-    
-    def is type
-      case type
-      when Array
-        gates << Is::Array.new(type)
-      when Class
-        if type.include? Typ
-          gates << type
-        else
-          fail "don't know how to create a Gate from #{type}"
+    class Gate
+      module CheckMethod
+        def augment_gate_with_check test
+          check = Module.new do
+            define_method :check do
+              test[it]
+            end
+          end
+        
+          gate.include check
         end
-      else
-        fail "don't know how to create a Gate from #{type}"
       end
-    end
     
-    def is_a type
-      case type
-      when Module
-        gates << IsA.new(type)
-      else
-        fail "don't know how to create a Gate from #{type}"
-      end
-    end
-  end
-
-  module Is
-  
-    module Array
-      class << self
-        def new array
-          check = if array[0].is_a?(Symbol)
-            method, *arguments = array
-            -> receiver { receiver.send method, *arguments }
-          elsif array[1].is_a?(Symbol)
-            receiver, method = array
-            -> argument { receiver.send method, argument }
-          else
-            fail "not sure how to handle #{array} yet"
+      module TestFor
+        def test_for type
+          case type
+          when Symbol
+            -> it { it.send type or bad_assertion(it, type) }
+          when Array
+            cannot_create_gate type unless type.size == 2
+            unless type[0].is_a?(Symbol) || type[1].is_a?(Symbol)
+              cannot_create_gate type
+            end
+        
+            if type[0].is_a? Symbol
+              method, argument = type
+              -> it { it.send method, argument or bad_assertion(it, type) }
+            else
+              receiver, method = type
+              -> it { receiver.send method, it or bad_assertion(it, type) }
+            end
+          when Class
+            type if type.include? Typ
           end
-      
-          gate = Class.new
-          gate.include self
-          gate.check, gate.array = check, array
-          gate
+        end
+        
+        def cannot_create_gate type
+          fail Typ::Error::CannotCreateGate.new(type)
+        end
+        
+        def bad_assertion it, name
+          fail Typ::Error::BadAssertion.new(it, name)
         end
       end
-      
-      def self.included gate
-        gate.extend Singleton
+    
+      def initialize method, literal, **kwargs
+        @method, @literal, @kwargs = method, literal, kwargs
+        make
       end
       
-      module Singleton
-        attr_accessor :check, :array
+      def gate
+        @gate ||= Typ::Gate.new
       end
       
-      def to_a
-        self.class.array
+      def make
       end
       
-      def ok?
-        @ok
-      end
+      include TestFor
+      include CheckMethod
       
-      def initialize it
-        @ok = self.class.check[it]
+      def enrich_gate
+        augment_gate_with_check @test
+        gate.dsl_method = @method
+        gate.dsl_literal = @literal
       end
     end
-  end
-
-  module IsA
-    class << self
-      def new type
-        check = -> it { it.is_a? type }
-    
-        gate = Class.new
-        gate.include self
-        gate.type, gate.check = type, check
-        gate
-      end
+  
+    def gates
+      @gates ||= []
     end
     
-    def self.included gate
-      gate.extend Singleton
+    def is literal
+      gates << Is.new(__method__, literal).gate
     end
     
-    module Singleton
-      attr_accessor :type, :check
+    def is_a literal
+      gates << IsA.new(__method__, literal).gate
     end
     
-    def ok?
-      @ok
+    def its name, literal
+      gates << Its.new(__method__, literal, name: name).gate
     end
     
-    def initialize it
-      @it = it
-      @ok = self.class.check[it]
+    def key name, literal
+      gates << Key.new(__method__, literal, name: name).gate
+    end
+  
+    class FetchGate < Gate
+      def make
+        type_check = test_for @literal
+        @test = fetch_check >> type_check
+        enrich_gate
+      end
+    end
+  
+    class Is < Gate
+      def make
+        @test = test_for @literal
+      
+        if @test
+          if Class === @literal
+            @gate = @literal
+          else
+            enrich_gate
+          end
+        else
+          cannot_create_gate @literal
+        end
+      end
+    end
+  
+    class IsA < Gate
+      def make
+        @test = test_for [:is_a?, @literal]
+        enrich_gate
+      end
+    end
+  
+    class Its < FetchGate
+      def fetch_check
+        @fetch_check ||= begin
+                           name = @kwargs[:name]
+                           -> it { it.send name }
+                         end
+      end
+    end
+  
+    class Key < FetchGate
+      def fetch_check
+        @fetch_check ||= begin
+                           name = @kwargs[:name]
+                           -> it { it[name] }
+                         end
+      end
+    end
+  end
+
+  class Error < StandardError
+  
+    class BadAssertion < self
+      def initialize it, method_name
+        message = "#{it} is #{method_name}"
+        super message
+      end
+    end
+  
+    class CannotCreateGate < self
+      def initialize object
+        message = "Don't know how to create a gate from #{object.inspect}:#{object.class}."
+        super message
+      end
+    end
+  end
+
+  module Singleton
+    def call it
+      new(it).ok?
     end
     
-    attr_reader :it
+    alias_method :===, :call
   end
 end

metadata

@@ -1,17 +1,18 @@
 --- !ruby/object:Gem::Specification
 name: typ
 version: !ruby/object:Gem::Version
-  version: 0.0.5
+  version: 0.1.0
 platform: ruby
 authors:
-- Anatoly Chernow
+- Anatoly Chernov
 autorequire: 
 bindir: bin
 cert_chain: []
-date: 2018-04-30 00:00:00.000000000 Z
+date: 2023-08-01 00:00:00.000000000 Z
 dependencies: []
 description: 
-email: 
+email:
+- chertoly@gmail.com
 executables: []
 extensions: []
 extra_rdoc_files: []
@@ -35,9 +36,8 @@ required_rubygems_version: !ruby/object:Gem::Requirement
     - !ruby/object:Gem::Version
       version: '0'
 requirements: []
-rubyforge_project: 
-rubygems_version: 2.7.6
+rubygems_version: 3.4.15
 signing_key: 
 specification_version: 4
-summary: A tool for defining and enforcing types of Ruby objects.
+summary: To type Ruby objects.
 test_files: []