typ 0.0.5 → 0.0.6

checksums.yaml

@@ -1,7 +1,7 @@
 ---
 SHA256:
-  metadata.gz: 14188b8d650c32fecbae6ed1ae3c8f03eac9f31effad6a0695c8ec1e77f8bdbe
-  data.tar.gz: 89524fac30d45f13f8a21f904c22e9890fb3a8d2f59bb61ad53ef5ca6abfb7d4
+  metadata.gz: a726dc4e0d96b4f5bdad9858d10063bf818af3e5bd1293135acffa040bbde236
+  data.tar.gz: fbc8d499fb78954604a757593e2e46a9e2af7f5fba4102783d6011aa991a10f3
 SHA512:
-  metadata.gz: a08274c0bed76f596da8d0b30b45bfea0679c2ba8ba29b05e478f6ce2fc3366d3110e612a8f0c2b72ac9a0262aeb7391da8a30c4915c62464eeb25b8373b4bd1
-  data.tar.gz: defa65890558d113926b445b3e5a6161d80f645bd98d0ba5e3d2ff2f602ca62d64ac885378d140dc1d12d3deaec55897a497b28c567226afd506684ef0d2b585
+  metadata.gz: 2d3679f431008960d32befdaea22720e3a3cf49692c7a81f19463476b8cae6d67c8069d3920c1325a3c68d743058a348f2087295219f75bde0261bb780b95cdd
+  data.tar.gz: 20af3243c88900e428928f2c770cb661ee69835187fb0834f55d7be701ab3cfbf0f848b2a854f8998e42cd85291c4551da5b6eaf7ceb7946d63f71aadc823bfb

data/lib/typ.rb

@@ -1,18 +1,35 @@
 module Typ
+  module Gate
+    attr_reader :it
+    
+    def initialize it
+      @it = it
+      check
+    end
+    
+    # Should set @ok to be true or false
+    def check
+      @ok = self.class.check === it
+    end
+    
+    def ok?
+      @ok
+    end
+  end
+
   def self.included mod
     mod.extend DSL
+    mod.extend PatternMatching
   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?
-    fails.empty?
+  def check
+    @gates = self.class.gates.map { |gate| gate.new it }
+    @fails = gates.reject &:ok?
+    @ok = fails.empty?
   end
 
   module DSL
@@ -35,10 +52,10 @@ module Typ
       end
     end
     
-    def is_a type
+    def is_a type, params = {}
       case type
       when Module
-        gates << IsA.new(type)
+        gates << IsA.new(type, params)
       else
         fail "don't know how to create a Gate from #{type}"
       end
@@ -48,21 +65,36 @@ module Typ
   module Is
   
     module Array
-      class << self
-        def new array
-          check = if array[0].is_a?(Symbol)
+      class Check
+        def initialize array
+          @array = array
+          @check = if array[0].is_a?(Symbol)
             method, *arguments = array
-            -> receiver { receiver.send method, *arguments }
+            -> it { it.send method, *arguments }
           elsif array[1].is_a?(Symbol)
             receiver, method = array
-            -> argument { receiver.send method, argument }
+            -> it { receiver.send method, it }
           else
             fail "not sure how to handle #{array} yet"
           end
+        end
+      
+        def === it
+          @check === it
+        end
+      
+        def to_a
+          @array
+        end
+      end
+      
+      class << self
+        def new array
+          check = Check.new array
       
           gate = Class.new
           gate.include self
-          gate.check, gate.array = check, array
+          gate.check = check
           gate
         end
       end
@@ -72,31 +104,25 @@ module Typ
       end
       
       module Singleton
-        attr_accessor :check, :array
+        attr_accessor :check
       end
       
       def to_a
-        self.class.array
-      end
-      
-      def ok?
-        @ok
+        self.class.check.to_a
       end
       
-      def initialize it
-        @ok = self.class.check[it]
-      end
+      include Gate
     end
   end
 
   module IsA
     class << self
-      def new type
-        check = -> it { it.is_a? type }
+      def new type, params = {}
+        type = Type.new type, params
     
         gate = Class.new
         gate.include self
-        gate.type, gate.check = type, check
+        gate.check = type
         gate
       end
     end
@@ -106,18 +132,62 @@ module Typ
     end
     
     module Singleton
-      attr_accessor :type, :check
+      attr_accessor :check
     end
     
-    def ok?
-      @ok
+    include Gate
+  
+    class Type
+      def initialize type, params = {}
+        @type, @params = type, params
+      
+        @param = params[:of]
+      
+        @check = if @params.empty?
+                   -> it { it.is_a? @type }
+                 else
+                   if @param
+                     check_Array
+                   else
+                     check_Hash
+                   end
+                 end
+      end
+      
+      def === it
+        @check === it
+      end
+      
+      def to_s
+        if @params.empty?
+          @type.to_s
+        else
+          "#{@type}, #{@params}"
+        end
+      end
+      
+      private
+        def check_Array
+          -> it {
+            it.is_a?(@type) &&
+              it.all? { |element| element.is_a? @param }
+          }
+        end
+      
+        def check_Hash
+          key_type, value_type = @params.first
+          -> it {
+           it.is_a?(@type) &&
+             it.keys.all? {|k| k.is_a? key_type } &&
+             it.values.all? {|v| v.is_a? value_type }
+          }
+        end
     end
-    
-    def initialize it
-      @it = it
-      @ok = self.class.check[it]
+  end
+
+  module PatternMatching
+    def === it
+      new(it).ok?
     end
-    
-    attr_reader :it
   end
 end

metadata

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