nrser 0.3.11 → 0.3.12

checksums.yaml

@@ -1,7 +1,7 @@
 ---
 SHA1:
-  metadata.gz: b28f0270e795220c086aa15bfa2bf1cf91658a75
-  data.tar.gz: 5ff6997c97cc0eaba218b268f2cd863bd7b9a90e
+  metadata.gz: b0455e10b137f0194452111ef3a4a55960a7b642
+  data.tar.gz: 4966b5b797d0de2da7f79687d05af23656740e2e
 SHA512:
-  metadata.gz: a0faeceb9600dd14189b383708653ebb95343157392eda4e651beab63ae788b57c556b1e803c2ad4648e5830a73e54300e15e1f78650c49cd4079d5ea649a1e4
-  data.tar.gz: e0ed971f6c69078b84fbb9a57056f2a41d30da7cb6c0a97741ccdb22a8ac601ddf2d36cda7e6e11d83cbff506d2ca1f2709b1073acb344e0e31271d336ea0306
+  metadata.gz: aed3f495e077fa4c1167afe6113a5fea5d38f66ca9e7ade3961104b0d38c026f174f36d2bed8ae5b59a21b70515f687f1c1840ec1490403ca8ea4e151acf250d
+  data.tar.gz: 30d68b577092b8250349f636535a53de3031e7b44030c55d4bb4a5d0c7ee159ad65693f53a8100296f3f5b1613f02ca79ad0de284971ad5788514bdbe587b31f

data/lib/nrser/core_ext/array.rb

@@ -1,3 +1,5 @@
+require_relative './array/to_proc'
+
 class Array
   include NRSER::Ext::Tree
   
@@ -91,41 +93,6 @@ class Array
   def to_chainer publicly: true
     NRSER.chainer self, publicly: publicly
   end # #to_chainer
-  
-  
-  # Returns a lambda that calls accepts a single arg and calls either:
-  # 
-  # 1.  `#[self.first]` if this array has only one entry.
-  # 2.  `#dig( *self )` if this array has more than one entry.
-  # 
-  # @example
-  #   list = [{id: 1, name: "Neil"}, {id: 2, name: "Mica"}]
-  #   list.assoc_by &[:id]
-  #   # =>  {
-  #   #       1 => {id: 1, name: "Neil"},
-  #   #       2 => {id: 2, name: "Mica"},
-  #   #     }
-  # 
-  # @return [Proc]
-  #   Lambda proc that accepts a single argument and calls `#[]` or `#dig with 
-  #   this array's contents as the arguments.
-  # 
-  def to_proc
-    method_name = case count
-    when 0
-      raise NRSER::CountError.new \
-        "Can not create getter proc from empty array",
-        value: self,
-        expected: '> 0',
-        count: count
-    when 1
-      :[]
-    else
-      :dig
-    end
-      
-    NRSER::Message.new( method_name, *self ).to_proc
-  end # #to_proc
 
 
   # Old name for {#to_proc}.

data/lib/nrser/core_ext/array/to_proc.rb

@@ -0,0 +1,39 @@
+require 'nrser/message'
+
+class Array
+  
+  # Returns a lambda that calls accepts a single arg and calls either:
+  # 
+  # 1.  `#[self.first]` if this array has only one entry.
+  # 2.  `#dig( *self )` if this array has more than one entry.
+  # 
+  # @example
+  #   list = [{id: 1, name: "Neil"}, {id: 2, name: "Mica"}]
+  #   list.assoc_by &[:id]
+  #   # =>  {
+  #   #       1 => {id: 1, name: "Neil"},
+  #   #       2 => {id: 2, name: "Mica"},
+  #   #     }
+  # 
+  # @return [Proc]
+  #   Lambda proc that accepts a single argument and calls `#[]` or `#dig with 
+  #   this array's contents as the arguments.
+  # 
+  def to_proc
+    method_name = case count
+    when 0
+      raise NRSER::CountError.new \
+        "Can not create getter proc from empty array",
+        value: self,
+        expected: '> 0',
+        count: count
+    when 1
+      :[]
+    else
+      :dig
+    end
+      
+    NRSER::Message.new( method_name, *self ).to_proc
+  end # #to_proc
+
+end # class Array

data/lib/nrser/core_ext/enumerable.rb

@@ -1,5 +1,6 @@
 require 'nrser/functions/enumerable/associate'
 require_relative './enumerable/find_map'
+require_relative './enumerable/slash_map'
 
 
 # Instance methods to extend {Enumerable}.
@@ -16,6 +17,18 @@ module Enumerable
   def find_only &block
     NRSER.find_only self, &block
   end
+
+  
+  # Right now, *exactly* the same as {#find_only}... though I wished I had
+  # called it this and had {#find_only} return `nil` if it failed, as is 
+  # kind-of a some-what established practice, because now I get confused.
+  # 
+  # Maybe some day I will make that change. For now, this is here so when I
+  # forget and add the `!` it works.
+  # 
+  def find_only! &block
+    NRSER.find_only self, &block
+  end
   
   
   # See {NRSER.assoc_by}
@@ -65,5 +78,4 @@ module Enumerable
     NRSER.slice? self, *args, &block
   end
   
-  
 end # module Enumerable

data/lib/nrser/core_ext/enumerable/slash_map.rb

@@ -0,0 +1,37 @@
+module Enumerable
+  
+  # @note EXPERIMENTAL!
+  # 
+  # An idea I'm playing around with for convenient mapping of {Enumerable}.
+  # 
+  # @example Extract Attributes
+  #   Cat   = Struct.new :name, :breed
+  #   
+  #   cats  = [ Cat.new( 'Hudie', 'Chinese-American Shorthair' ),
+  #             Cat.new( 'Oscar', 'Bengal' ) ]
+  #   
+  #   cats/:name  #=> [ 'Hudie', 'Oscar' ]
+  #   cats/:breed #=> [ 'Chinese-American Shorthair', 'Bengal' ]
+  # 
+  # @example Extract Values
+  #   # Need the array.to_proc ~> ->( key ) { array.dig *key } for it to really
+  #   # *feel* nice... and that's the whole point!
+  #   require 'nrser/core_ext/array/to_proc'
+  #   
+  #   kitties = [ { name: 'Hootie' }, 
+  #               { name: 'Oscie'  } ]
+  #   
+  #   kitties/[:name] #=> [ 'Hooie', 'Oscie' ]
+  # 
+  # Not so bad, eh? I'm calling it "slash-map" for the moment, BTW.
+  # 
+  # @param [#to_proc] proc_able
+  #   Something that can be `#to_proc`'d for the {Enumerable#map}.
+  # 
+  # @return [Enumerable]
+  # 
+  def / proc_able
+    map &proc_able
+  end
+  
+end # module NRSER

data/lib/nrser/errors.rb

@@ -17,6 +17,7 @@ require_relative './errors/argument_error'
 require_relative './errors/type_error'
 require_relative './errors/abstract_method_error'
 require_relative './errors/conflict_error'
+require_relative './errors/unreachable_error'
 
 
 module NRSER

data/lib/nrser/errors/conflict_error.rb

@@ -10,6 +10,12 @@
 require_relative './nicer_error'
 
 
+# Namespace
+# ========================================================================
+
+module  NRSER
+
+
 # Definitions
 # =======================================================================
 
@@ -17,7 +23,12 @@ require_relative './nicer_error'
 # it's not the type or an argument, but something about the data or
 # configuration just isn't ok.
 # 
-module NRSER
 class ConflictError < ::StandardError
   include NRSER::NicerError
-end; end # class NRSER::ConflictError
+end # class ConflictError
+
+
+# /Namespace
+# ========================================================================
+
+end # module NRSER

data/lib/nrser/errors/unreachable_error.rb

@@ -0,0 +1,41 @@
+# encoding: UTF-8
+# frozen_string_literal: true
+
+# Requirements
+# =======================================================================
+
+# Project / Package
+# -----------------------------------------------------------------------
+
+require_relative './nicer_error'
+
+
+# Namespace
+# ========================================================================
+
+module  NRSER
+
+
+# Definitions
+# =======================================================================
+
+# Raised in places where execution should *never* reach.
+# 
+class UnreachableError < ::RuntimeError
+  include NRSER::NicerError
+
+  # The default message 
+  # 
+  # @return [String]
+  # 
+  def default_message
+    "An expression that should be unreachable has been executed"
+  end
+
+end # class UnreachableError
+
+
+# /Namespace
+# ========================================================================
+
+end # module NRSER

data/lib/nrser/graph/tsorter.rb

@@ -11,11 +11,11 @@
 require 'tsort'
 
 
-# Declarations
-# =======================================================================
+# Namespace
+# ========================================================================
 
-module NRSER; end
-module NRSER::Graph; end
+module  NRSER
+module  Graph
 
 
 # Definitions
@@ -23,7 +23,7 @@ module NRSER::Graph; end
 
 # Topologically sorts an {Enumerable} by a user-provided `child_node` block.
 # 
-class NRSER::Graph::TSorter
+class TSorter
   include TSort
   
   def initialize entries, &each_child
@@ -38,4 +38,11 @@ class NRSER::Graph::TSorter
   def tsort_each_child node, &block
     @each_child.call node, &block
   end
-end # class NRSER::Graph::TSorter
+end # class TSorter
+
+
+# /Namespace
+# ========================================================================
+
+end # module Graph
+end # module NRSER

data/lib/nrser/rspex.rb

@@ -103,7 +103,13 @@ class Wrapper
 end
 
 def wrap description = nil, &block
-  Wrapper.new description: description, &block
+  if block
+    Wrapper.new description: description, &block
+  else
+    Wrapper.new description: description.to_s do
+      send description
+    end
+  end
 end
 
 def unwrap obj, context: nil
@@ -114,6 +120,10 @@ def unwrap obj, context: nil
   end
 end
 
+def msg *args, &block
+  NRSER::Message.from *args, &block
+end
+
 
 def List *args
   NRSER::RSpex::List.new args

data/lib/nrser/rspex/example_group.rb

@@ -30,5 +30,6 @@ require_relative './example_group/describe_sent_to'
 require_relative './example_group/describe_setup'
 require_relative './example_group/describe_source_file'
 require_relative './example_group/describe_spec_file'
+require_relative './example_group/describe_subject'
 require_relative './example_group/describe_when'
 require_relative './example_group/describe_x'

data/lib/nrser/rspex/example_group/describe_message.rb

@@ -1,35 +1,53 @@
 # encoding: UTF-8
 # frozen_string_literal: true
 
-module NRSER::RSpex::ExampleGroup
-  
-  # Describe a {NRSER::Message}. Useful when you have a message that you want
-  # to send to many receivers (see {#describe_sent_to}).
-  # 
-  # @note
-  #   Since the block is used for the example group body, if you want to
-  #   describe a message with a {NRSER::Message#block} your need to create
-  #   the message yourself and pass it as the only argument.
-  # 
-  # @see #describe_x
-  #
-  # @param [Array] args
-  #   Passed to {NRSER::Message.from} to get or create the message instance.
-  # 
-  # @param &body (see #describe_x)
-  # 
-  # @return (see #describe_x)
-  # 
-  def describe_message *args, &body
-    message = NRSER::Message.from *args
-    
-    describe_x \
-      description,
-      type: :message,
-      metadata: {
-        message: message,
-      },
-      &body
-  end
+# Namespace
+# ========================================================================
+
+module  NRSER
+module  RSpex
+module  ExampleGroup
+
+
+# Definitions
+# ========================================================================
+
+# Describe a {NRSER::Message}. Useful when you have a message that you want
+# to send to many receivers (see {#describe_sent_to}).
+# 
+# @note
+#   Since the block is used for the example group body, if you want to
+#   describe a message with a {NRSER::Message#block} your need to create
+#   the message yourself and pass it as the only argument.
+# 
+# @see #describe_x
+#
+# @param [Array] args
+#   Passed to {NRSER::Message.from} to get or create the message instance.
+# 
+# @param &body (see #describe_x)
+# 
+# @return (see #describe_x)
+# 
+def describe_message *args, &body
+  message = NRSER::Message.from *args
   
-end # module NRSER::RSpex::ExampleGroup
+  describe_x \
+    message,
+    type: :message,
+    metadata: {
+      message: message,
+    },
+    subject_block: -> { message.send_to super() },
+    &body
+end
+
+alias_method :MESSAGE, :describe_message
+
+
+# /Namespace
+# ========================================================================
+
+end # module ExampleGroup
+end # module RSpex
+end # module NRSER

data/lib/nrser/rspex/example_group/describe_subject.rb

@@ -0,0 +1,53 @@
+# encoding: UTF-8
+# frozen_string_literal: true
+
+
+# Namespace
+# ========================================================================
+
+module  NRSER
+module  RSpex
+module  ExampleGroup
+
+
+# Definitions
+# ========================================================================
+
+# Define a example group binding a subject.
+# 
+# @note Experimental - only used in Rash at the moment. I've wanted *something*
+#   like this to make binding subject less noisy, but I'm not sure this is
+#   exactly it yet...
+# 
+# @see #describe_x
+# 
+# @param [Object] subject
+#   The value to bind as the subject. May be wrapped.
+# 
+# @param [Hash<Symbol, Object>] metadata
+#   Optional metadata for the example group.
+# 
+# @param &body (see #describe_x)
+# 
+# @return (see #describe_x)
+# 
+def describe_subject subject, **metadata, &body
+  describe_x \
+    subject,
+    type: :subject,
+    metadata: metadata,
+    subject_block: -> { unwrap subject, context: self },
+    &body
+end
+
+# Short name
+alias_method :SUBJECT, :describe_subject
+
+
+# /Namespace
+# ========================================================================
+
+end # module ExampleGroup
+end # module RSpex
+end # module NRSER
+

data/lib/nrser/types.rb

@@ -285,3 +285,4 @@ require_relative './types/pairs'
 require_relative './types/collections'
 require_relative './types/shape'
 require_relative './types/selector'
+require_relative './types/enumerables'

data/lib/nrser/types/arrays.rb

@@ -150,7 +150,7 @@ class ArrayOfType < ArrayType
     return false unless super( value )
     
     # Otherwise test all the items
-    value.all? &@item_type.method( :test )
+    value.all? &@item_type.method( :test? )
   end
   
   

data/lib/nrser/types/booleans.rb

@@ -46,7 +46,7 @@ class Boolean < Is
   # ========================================================================
     
     def custom_from_s string
-      return value if self::STRINGS.include?( string.downcase )
+      return value if self.class::STRINGS.include?( string.downcase )
       
       raise NRSER::Types::FromStringError.new \
         type: self,
@@ -74,7 +74,7 @@ end # class Boolean
 # Provides a {#custom_from_s} to load from CLI options and ENV var-like
 # string values.
 # 
-class True < Boolean
+class TrueType < Boolean
   
   STRINGS = NRSER::TRUTHY_STRINGS
   
@@ -92,7 +92,7 @@ end # class True
 # Provides a {#custom_from_s} to load from CLI options and ENV var-like
 # string values.
 # 
-class False < Boolean
+class FalseType < Boolean
   
   STRINGS = NRSER::FALSY_STRINGS
   
@@ -116,7 +116,7 @@ end # class FalseType
 #   
 def_type  :True,
 &->( **options ) do
-  True.new **options
+  TrueType.new **options
 end
 
 
@@ -131,7 +131,7 @@ end
 #   
 def_type        :False,
 &->( **options ) do
-  False.new **options
+  FalseType.new **options
 end # .False
 
 
@@ -145,6 +145,8 @@ end # .False
 #   
 def_type        :Boolean,
   aliases:    [ :bool ],
+  default_name: ->( *args, &block ) { 'Boolean' },
+  symbolic:     '𝔹',
 &->( **options ) do
   union self.True, self.False, **options
 end # .Boolean

data/lib/nrser/types/doc/display_table.md

@@ -53,7 +53,7 @@ to access it via the API.
 | `t.PositiveInteger`                          | `PositiveInteger`            | `ℤ⁺`                   | `(Integer & Bounded<min=1>)`                                  |
 | `t.NegativeInteger`                          | `NegativeInteger`            | `ℤ⁻`                   | `(Integer & Bounded<max=-1>)`                                 |
 | `t.NonNegativeInteger`                       | `NonNegativeInteger`         | `ℕ⁰`                   | `(Integer & Bounded<min=0>)`                                  |
-| `t.Boolean`                                  | `Boolean`                    | `Boolean`              | `(Is<true> \| Is<false>)`                                     |
+| `t.Boolean`                                  | `Boolean`                    | `𝔹`                    | `(Is<true> \| Is<false>)`                                     |
 | `t.Bounded( min: 1, max: 2 )`                | `Bounded<min=1, max=2>`      | `(1..2)`               | `Bounded<min=1, max=2>`                                       |
 | `t.Bounded( min: 1 )`                        | `Bounded<min=1>`             | `(1..)`                | `Bounded<min=1>`                                              |
 | `t.Array`                                    | `Array`                      | `[*]`                  | `Array`                                                       |

data/lib/nrser/types/enumerables.rb

@@ -0,0 +1,142 @@
+# encoding: UTF-8
+# frozen_string_literal: true
+
+# Requirements
+# =======================================================================
+
+# Project / Package
+# -----------------------------------------------------------------------
+
+# Need {Module.safe_name}
+require 'nrser/core_ext/module/names'
+
+# Need {Types.Top} for the default entry type
+require_relative './top'
+
+
+# Namespace
+# =======================================================================
+
+module  NRSER
+module  Types
+
+
+# Definitions
+# =======================================================================
+
+# Type class that parameterizes {Enumerable} values of a homogeneous type.
+# 
+# @example
+#   array_of_int = NRSER::Types::EnumerableType.new Array, Integer
+#   array_of_int.test? [1, 2, 3]          #=> true
+#   array_of_int.test? [1, 2, 'three']    #=> false
+#   array_of_int.test? 'blah'             #=> false
+#   array_of_int.test? []                 #=> true
+# 
+class EnumerableType < IsA
+  
+  # Attributes
+  # ========================================================================
+
+  # Type all entries must satisfy.
+  # 
+  # @return [Type]
+  #     
+  attr_reader :entry_type
+  
+  
+  # Construction
+  # ========================================================================
+  
+  # Instantiate a new `EnumerableType`.
+  def initialize  enumerable_type = ::Enumerable,
+                  entry_type = self.Top,
+                  **options
+    super enumerable_type, **options
+    @entry_type = Types.make entry_type
+  end # #initialize
+  
+  
+  # Instance Methods
+  # ========================================================================
+
+  # @!group Display Instance Methods
+  # ------------------------------------------------------------------------
+
+  def explain
+    "#{ enumerable_type.safe_name }<#{ entry_type.explain }>"
+  end
+
+  # @!endgroup Display Instance Methods # ************************************
+
+
+  # Intuitive alias for {IsA#mod}.
+  # 
+  # @return [Class]
+  # 
+  def enumerable_type; mod; end
+
+
+  def test? value
+    # Test that `value` is of the right container class first
+    return false unless super( value )
+
+    # If that passed test all the entries against the type
+    value.all? &@entry_type.method( :test? )
+  end
+  
+  
+end # class EnumerableType
+
+
+# @!group Enumerable Type Factories
+# --------------------------------------------------------------------------
+
+# @!method self.Enumerable_ enumerable_type = ::Enumerable, entry_type = self.Top, **options
+#   
+#   @todo
+#     YARDdoc method name has an `_` suffix added to hack around an apparent
+#     bug in YARD - it seems the method name `Enumerable` matching the 
+#     `Enumerable` class causes failure:
+#     
+#     ```
+#     [error]: Exception occurred while generating 'NRSER/Types/Type.html'
+#     [error]: ArgumentError: Invalid namespace object: #<yardoc method NRSER::Types.Enumerable>:YARD::CodeObjects::MethodObject
+#     [error]: Stack trace:
+#     	//.bundle/ruby/2.3.0/gems/yard-0.9.16/lib/yard/code_objects/proxy.rb:67:in `initialize'
+#     	//.bundle/ruby/2.3.0/gems/yard-0.9.16/lib/yard/registry_resolver.rb:87:in `new'
+#     	//.bundle/ruby/2.3.0/gems/yard-0.9.16/lib/yard/registry_resolver.rb:87:in `lookup_by_path'
+#     	//.bundle/ruby/2.3.0/gems/yard-0.9.16/lib/yard/registry.rb:304:in `resolve'
+#     	//.bundle/ruby/2.3.0/gems/yard-0.9.16/lib/yard/templates/helpers/html_helper.rb:292:in `link_object'
+#     	//.bundle/ruby/2.3.0/gems/yard-link_stdlib-0.1.0/lib/yard/link_stdlib/html_helper.rb:77:in `link_object'
+#     ```
+#   
+#   Types that parameterize {Enumerable} values of a homogeneous type.
+#   
+#   @param [Class] enumerable_type
+#     Required class of the container itself.
+#   
+#   @param [Type | Object] entry_type
+#     Type of the entries. If this is not a {Type}, one will be created from 
+#     it via {NRSER::Types.make}.
+#   
+#   @param [Hash] options
+#     Passed to {Type#initialize}.
+#   
+#   @return [Type]
+#   
+def_type        :Enumerable,
+  aliases:      [ :Enum, :enum ],
+  parameterize: [ :enumerable_type, :entry_type ],
+&->( enumerable_type = ::Enumerable, entry_type = self.Top, **options ) do
+  EnumerableType.new enumerable_type, entry_type, **options
+end # .Enumerable
+
+
+# @!endgroup Enumerable Type Factories # ***********************************
+
+# /Namespace
+# =======================================================================
+
+end # module  Types
+end # module  NRSER

data/lib/nrser/types/factory.rb

@@ -113,36 +113,44 @@ module Factory
   # 
   # @param [nil | false | Proc<(*args, &block): String>] default_name
   #   
-  #   Controls what - if anything - is done with the `name:` value in 
-  #   `options` when the factory method is called.
+  #   Controls the default value assigned to the `name:` keyword argument (only
+  #   relevant when a `name:` value is *not* explicitly passed when building the
+  #   type).
   #   
   #   Everything here is done *before* the `options` are passed to the 
-  #   factory method's `&body`, so the body will see any `name:` option that
-  #   is filled in.
+  #   factory method's `&body`, so the body will see the default `name:` value
+  #   in the factory method body.
   #   
   #   When...
   #   
-  #   -   `nil` - when...
-  #       -   `parameterize:` is `nil` - `name` will be used as the created
-  #           type's {Type#name} unless a `name:` option is explicitly 
-  #           provided by the factory caller.
+  #   -   `default_name == nil`
+  #       
+  #       Behavior depends on the value of the `parameterize:` keyword:
+  #       
+  #       -   `parameterize == nil`
+  #           
+  #           The `name` parameter will be used as the default value.
   #           
   #           This situation covers "static" types that will only differ by
-  #           their `options` - things like custom {Type#from_s},
-  #           {Type#to_data}, etc.. Really, these are more like aliases since 
-  #           their member sets are identical.
+  #           their `options` (custom {Type#from_s}, {Type#to_data}, etc.).
+  #           Really, these are more like aliases since the types' member sets
+  #           are identical.
   #           
-  #       -   `parameterize:` is *not* `nil` - the `name:` option will be left
-  #           as `nil` if none is provided by the factory caller.
+  #       -   `parameterize != nil`
   #           
-  #   -   `false` - the `name:` option will not be touched - it will stay `nil`
-  #       unless the factory caller provides a value.
+  #           The default `name:` value will be left as `nil`.
+  #           
+  #   -   `default_name == false`
+  #       
+  #       The `name:` option will not be touched - it will stay `nil` unless the
+  #       factory caller provides a value.
   #       
-  #   -   `Proc<(*args, &block)->String>` - when the factory caller does not
-  #       provide a `name:` option this function will be called with the
-  #       arguments (including `options`) and block (if any) that the 
-  #       factory method was called with, and is expected to return a {String}
-  #       that will be set as the `name:` option.
+  #   -   `default_name is a Proc<(*args, &block)->String>`
+  #
+  #       When the factory caller does not provide a `name:` option this
+  #       function will be called with the arguments (including `options`) and
+  #       block (if any) that the factory method was called with, and is
+  #       expected to return a {String} that will be set as the `name:` option.
   # 
   # @param [nil | Symbol | Array<Symbol>] parameterize
   #   Indicates if the type is parameterized, and, if so, what arguments
@@ -200,9 +208,9 @@ module Factory
     unless  default_name.nil? ||
             default_name == false ||
             default_name.is_a?( Proc )
-      raise NRSER::TypeError,
+      raise NRSER::TypeError.new \
         "`default_name:` keyword argument must be {nil}, {false} or a {Proc},",
-        "found", default_name,
+        "found", default_name.inspect,
         expected: [ nil, false, Proc ],
         received: default_name
     end

data/lib/nrser/types/numbers.rb

@@ -146,6 +146,7 @@ end
 def_type      :NonNegativeInteger,
   symbolic:   'ℕ⁰',
   aliases:  [ :non_neg_int,
+              :Unsigned,
               :unsigned,
               :index,
               :non_negative_int, ],

data/lib/nrser/types/paths.rb

@@ -167,6 +167,15 @@ def_type        :HomePath,
 end # .HomePath
 
 
+def_type :TildePath,
+&->( **options ) do
+  self.Intersection \
+    self.Path,
+    self.When( TILDE_PATH_RE ),
+    **options
+end # .TildePath
+
+
 # @!method self.AbsPath **options
 #   A relative {.Path}, which is just a {.Path} that's not {.AbsPath} or
 #   {.TildePath}.

data/lib/nrser/types/top.rb

@@ -30,6 +30,11 @@ class Top < NRSER::Types::Type
 
   def initialize
     super name: NAME
+
+    # All types maybe *should* be frozen so they can be used as prop defaults,
+    # but this is the first one I ran into in practice, so it's the first one
+    # to freeze.
+    freeze
   end
 
   def test? value

data/lib/nrser/version.rb

@@ -18,7 +18,7 @@ module NRSER
   # 
   # @return [String]
   # 
-  VERSION = '0.3.11'
+  VERSION = '0.3.12'
   
   
   module Version

data/spec/lib/nrser/types/enumerables_spec.rb

@@ -0,0 +1,39 @@
+# encoding: UTF-8
+# frozen_string_literal: true
+
+require 'nrser/refinements/types'
+using NRSER::Types
+
+
+SPEC_FILE(
+  spec_path: __FILE__,
+  module: NRSER::Types,
+  method: :Enumerable,
+) do
+  
+  it_behaves_like 'type maker method'
+  
+  include_examples 'make type',
+    args: [ Array, Integer  ],
+
+    accepts: [
+      [],
+      [1, 2, 3],
+    ],
+
+    rejects: [
+      nil,
+      {},
+      Set[1, 2, 3],
+    ],
+    
+    and_is_expected: {
+      to: {
+        have_attributes: {
+          class: t::EnumerableType,
+          name: 'Array<Integer>',
+        }
+      }
+    }
+  
+end # SPEC_FILE

data/spec/lib/nrser/types/paths_spec.rb

@@ -92,8 +92,25 @@ SPEC_FILE(
   end # METHOD .path_seg
 
   
-  METHOD :tilde_path do
-    
+  METHOD :TildePath do
+    include_examples 'make type',
+      accepts: [
+        '~',
+        '~/blah',
+      ],
+      
+      rejects: [
+        'hey/ho',
+        './blah',
+      ],
+      
+      and_is_expected: {
+        to: {
+          have_attributes: {
+            name: 'TildePath',
+          }
+        }
+      }
   end # METHOD .tilde_path Description
 
   

data/spec/lib/nrser/types_spec.rb

@@ -22,14 +22,22 @@ describe NRSER::Types do
         fail: [{}],
       },
       
-      t.true => {
+      t.True => {
         pass: [true],
         fail: [1, 'true'],
+        from_s: {
+          pass: [ 'true', 'True', '1', 'T', 't'],
+          fail: [ 'f', '100' ],
+        }
       },
       
-      t.false => {
+      t.False => {
         pass: [false],
         fail: [true, 0, nil, 'false'],
+        from_s: {
+          pass: [ 'false', 'f', 'F', '0' ],
+          fail: [ 't', '-1' ],
+        }
       },
       
       t.bool => {

metadata

@@ -1,14 +1,14 @@
 --- !ruby/object:Gem::Specification
 name: nrser
 version: !ruby/object:Gem::Version
-  version: 0.3.11
+  version: 0.3.12
 platform: ruby
 authors:
 - nrser
 autorequire: 
 bindir: bin
 cert_chain: []
-date: 2018-09-24 00:00:00.000000000 Z
+date: 2019-03-10 00:00:00.000000000 Z
 dependencies:
 - !ruby/object:Gem::Dependency
   name: hamster
@@ -31,6 +31,9 @@ dependencies:
     - - "~>"
       - !ruby/object:Gem::Version
         version: '4.2'
+    - - "<"
+      - !ruby/object:Gem::Version
+        version: '4.4'
   type: :runtime
   prerelease: false
   version_requirements: !ruby/object:Gem::Requirement
@@ -38,6 +41,9 @@ dependencies:
     - - "~>"
       - !ruby/object:Gem::Version
         version: '4.2'
+    - - "<"
+      - !ruby/object:Gem::Version
+        version: '4.4'
 - !ruby/object:Gem::Dependency
   name: awesome_print
   requirement: !ruby/object:Gem::Requirement
@@ -112,9 +118,6 @@ dependencies:
   name: bundler
   requirement: !ruby/object:Gem::Requirement
     requirements:
-    - - "~>"
-      - !ruby/object:Gem::Version
-        version: '1.16'
     - - ">="
       - !ruby/object:Gem::Version
         version: 1.16.1
@@ -122,9 +125,6 @@ dependencies:
   prerelease: false
   version_requirements: !ruby/object:Gem::Requirement
     requirements:
-    - - "~>"
-      - !ruby/object:Gem::Version
-        version: '1.16'
     - - ">="
       - !ruby/object:Gem::Version
         version: 1.16.1
@@ -312,9 +312,11 @@ files:
 - lib/nrser/collection.rb
 - lib/nrser/core_ext.rb
 - lib/nrser/core_ext/array.rb
+- lib/nrser/core_ext/array/to_proc.rb
 - lib/nrser/core_ext/binding.rb
 - lib/nrser/core_ext/enumerable.rb
 - lib/nrser/core_ext/enumerable/find_map.rb
+- lib/nrser/core_ext/enumerable/slash_map.rb
 - lib/nrser/core_ext/exception.rb
 - lib/nrser/core_ext/hash.rb
 - lib/nrser/core_ext/hash/bury.rb
@@ -344,6 +346,7 @@ files:
 - lib/nrser/errors/count_error.rb
 - lib/nrser/errors/nicer_error.rb
 - lib/nrser/errors/type_error.rb
+- lib/nrser/errors/unreachable_error.rb
 - lib/nrser/errors/value_error.rb
 - lib/nrser/ext/tree.rb
 - lib/nrser/functions.rb
@@ -462,6 +465,7 @@ files:
 - lib/nrser/rspex/example_group/describe_setup.rb
 - lib/nrser/rspex/example_group/describe_source_file.rb
 - lib/nrser/rspex/example_group/describe_spec_file.rb
+- lib/nrser/rspex/example_group/describe_subject.rb
 - lib/nrser/rspex/example_group/describe_when.rb
 - lib/nrser/rspex/example_group/describe_x.rb
 - lib/nrser/rspex/example_group/overrides.rb
@@ -480,6 +484,7 @@ files:
 - lib/nrser/types/collections.rb
 - lib/nrser/types/combinators.rb
 - lib/nrser/types/doc/display_table.md
+- lib/nrser/types/enumerables.rb
 - lib/nrser/types/eqiuvalent.rb
 - lib/nrser/types/errors/check_error.rb
 - lib/nrser/types/errors/from_string_error.rb
@@ -570,6 +575,7 @@ files:
 - spec/lib/nrser/types/attrs_spec.rb
 - spec/lib/nrser/types/combinators_spec.rb
 - spec/lib/nrser/types/display_spec.rb
+- spec/lib/nrser/types/enumerables_spec.rb
 - spec/lib/nrser/types/is_spec.rb
 - spec/lib/nrser/types/pairs_spec.rb
 - spec/lib/nrser/types/paths_spec.rb
@@ -629,6 +635,7 @@ test_files:
 - spec/lib/nrser/types/strings_spec.rb
 - spec/lib/nrser/types/symbols_spec.rb
 - spec/lib/nrser/types/tuples_spec.rb
+- spec/lib/nrser/types/enumerables_spec.rb
 - spec/lib/nrser/types/attrs_spec.rb
 - spec/lib/nrser/core_ext/hash/short_transform_keys_spec.rb
 - spec/lib/nrser/core_ext/hash_spec.rb