typ 0.0.0 → 0.0.1

checksums.yaml

@@ -1,7 +1,7 @@
 ---
 SHA256:
-  metadata.gz: 8229c885608c560adc085e62bddcd8f3f1aaac35432619042a36527fcf42d393
-  data.tar.gz: e451a0dbacb13fb98fcdb9067bd3d8eca3fc38daf0dc56048a9ef8c35ca40ad0
+  metadata.gz: 1e38d74e0f2bb298612cbc9c76ce190d53537d1a204d00821f7d28a3afcc9ab6
+  data.tar.gz: 17d1212f324b8da8f7170d19e94f144f308d1dca53bf5b6697a68d742b79b52c
 SHA512:
-  metadata.gz: 53f853a2fa6c08377c77e422bdbcf2087486a02056f9118723c537457c254ad7f7c3b1335f89686391ea36f50dc91b7f0064eee19274df86e050dc60a2e01916
-  data.tar.gz: a1f3e66a15dcd688112799a2aeffb9ccf75130ee32d0f61e6140d6f022a88ffd33ceae9653e3fd374df06a38db8a87f763881aeafc86fff1a39212158630f022
+  metadata.gz: a96d036cc19728923e36e888663f6ba35ed18c1e168180f52344024be92c4d6f66a6480c8037fa7cfc644e166e10f6128f2973286eb88746681683b582489a11
+  data.tar.gz: fae6fb96a7f0ce79a5ceec290c597f1801e20647c438fcf5fbd3a06a252126cd17b5eae51008a3c4db0e1a76995a8f24699d2f525419b061194748e68b784052

data/lib/typ.rb

@@ -1,44 +1,56 @@
-class Typ
-  module Singleton
-    module DSL
-      def is type
-        case type
-        when Array
-          gates << Gate::FromArray[type]
-        end
-      end
-    end
-  
-    def gates
-      @gates ||= []
-    end
-    
-    include DSL
+module Typ
+  def self.included mod
+    mod.extend DSL
   end
-
-  def initialize object
-    @object = object
-    @gates = self.class.gates.map { |gate| gate.new object }
+  
+  def initialize it
+    @it = it
+    @gates = self.class.gates.map { |gate| gate.new it }
     @fails = gates.reject &:ok?
   end
   
-  attr_reader :object, :gates, :fails
+  attr_reader :it, :gates, :fails
   
   def ok?
     fails.empty?
   end
-  
-  extend Singleton
 
-  class Gate
+  module DSL
+    def gates
+      @gates ||= []
+    end
+    
+    def is type
+      case type
+      when Array
+        gates << Is::Array[type]
+      when Class
+        if type.include? Typ
+          gates << type
+        else
+          fail "don't know how to create a Gate from #{type}"
+        end
+      else
+        fail "don't know how to create a Gate from #{type}"
+      end
+    end
+  end
+
+  class Is
+    class << self
+      attr_accessor :check
+    end
+    
+    def initialize object
+      @ok = self.class.check[object]
+    end
+    
     def ok?
       @ok
     end
   
-    class FromArray < Gate
+    class Array < self
       class << self
-        attr_accessor :check
-      
         def [] array
           check = if array[0].is_a?(Symbol)
             method, *arguments = array
@@ -55,10 +67,6 @@ class Typ
           gate
         end
       end
-      
-      def initialize object
-        @ok = self.class.check[object]
-      end
     end
   end
 end

metadata

@@ -1,14 +1,14 @@
 --- !ruby/object:Gem::Specification
 name: typ
 version: !ruby/object:Gem::Version
-  version: 0.0.0
+  version: 0.0.1
 platform: ruby
 authors:
 - Anatoly Chernow
 autorequire: 
 bindir: bin
 cert_chain: []
-date: 2018-04-21 00:00:00.000000000 Z
+date: 2018-04-26 00:00:00.000000000 Z
 dependencies: []
 description: 
 email: