accessory 0.1.5 → 0.1.6

data/lib/accessory/traversal_position/enumerable_before_offset.rb

@@ -9,22 +9,22 @@ module Accessory::TraversalPosition; end
 #
 # * An +EnumerableBeforeOffset+ with an <tt>.offset</tt> of <tt>0</tt>
 #   represents the position directly before the first result from
-#   <tt>#each</tt>, i.e. "the beginning." Using {LensPath#put_in} at this position
+#   <tt>#each</tt>, i.e. "the beginning." Using {Lens#put_in} at this position
 #   will _prepend_ to the +Enumerable+.
 #
 # * An +EnumerableBeforeOffset+ with an <tt>.offset</tt> equal to the
 #   <tt>#length</tt> of the +Enumerable+ (recognizable by
 #   <tt>EnumerableBeforeOffset#last?</tt> returning +true+) represents
 #   represents the position directly before the end of the enumeration,
-#   i.e. "the end" of the +Enumerable+. Using {LensPath#put_in} at this position
+#   i.e. "the end" of the +Enumerable+. Using {Lens#put_in} at this position
 #   will _append_ to the +Enumerable+.
 #
-# * In general, using {LensPath#put_in} with an +EnumerableBeforeOffset+ with an
+# * In general, using {Lens#put_in} with an +EnumerableBeforeOffset+ with an
 #   <tt>.offset</tt> of +n+ will insert an element _between_ elements
 #   <tt>n - 1</tt> and +n+ in the enumeration sequence.
 #
-# * Returning <tt>:pop</tt> from {LensPath#get_and_update_in} for an
-#   +EnumerableBeforeOffset+-terminated {LensPath} will have no effect, as
+# * Returning <tt>:pop</tt> from {Lens#get_and_update_in} for an
+#   +EnumerableBeforeOffset+-terminated {Lens} will have no effect, as
 #   you're removing an empty slice.
 
 class Accessory::TraversalPosition::EnumerableBeforeOffset

data/lib/accessory/version.rb

@@ -1,3 +1,3 @@
 module Accessory
-  VERSION = "0.1.5"
+  VERSION = "0.1.6"
 end

metadata

@@ -1,14 +1,14 @@
 --- !ruby/object:Gem::Specification
 name: accessory
 version: !ruby/object:Gem::Version
-  version: 0.1.5
+  version: 0.1.6
 platform: ruby
 authors:
 - Levi Aul
 autorequire:
 bindir: bin
 cert_chain: []
-date: 2021-01-12 00:00:00.000000000 Z
+date: 2021-01-13 00:00:00.000000000 Z
 dependencies: []
 description:
 email:
@@ -29,8 +29,8 @@ files:
 - lib/accessory/accessors/instance_variable_accessor.rb
 - lib/accessory/accessors/last_accessor.rb
 - lib/accessory/accessors/subscript_accessor.rb
+- lib/accessory/bound_lens.rb
 - lib/accessory/lens.rb
-- lib/accessory/lens_path.rb
 - lib/accessory/traversal_position/enumerable_at_offset.rb
 - lib/accessory/traversal_position/enumerable_before_offset.rb
 - lib/accessory/version.rb

data/lib/accessory/lens_path.rb

@@ -1,219 +0,0 @@
-module Accessory; end
-
-require 'accessory/accessor'
-require 'accessory/accessors/subscript_accessor'
-
-class Accessory::LensPath
-  # Returns the empty (identity) LensPath.
-  # @return [LensPath] the empty (identity) LensPath.
-  def self.empty
-    @empty_lens_path ||= (new([]).freeze)
-  end
-
-  # Returns a {LensPath} containing the specified +accessors+.
-  # @return [LensPath] a LensPath containing the specified +accessors+.
-  def self.[](*accessors)
-    new(accessors).freeze
-  end
-
-  class << self
-    private :new
-  end
-
-  # @!visibility private
-  def initialize(initial_parts)
-    @parts = []
-
-    for part in initial_parts
-      append_accessor!(part)
-    end
-  end
-
-  # @!visibility private
-  def to_a
-    @parts
-  end
-
-  # @!visibility private
-  def inspect(format: :long)
-    parts_desc = @parts.map{ |part| part.inspect(format: :short) }.join(', ')
-    parts_desc = "[#{parts_desc}]"
-
-    case format
-    when :long
-      "#LensPath#{parts_desc}"
-    when :short
-      parts_desc
-    end
-  end
-
-  # Returns a new {LensPath} resulting from appending +accessor+ to the receiver.
-  # @param accessor [Object] the accessor to append
-  # @return [LensPath] the new joined LensPath
-  def then(accessor)
-    d = self.dup
-    d.append_accessor!(accessor)
-    d.freeze
-  end
-
-  # @!visibility private
-  def dup
-    d = super
-    d.instance_eval do
-      @parts = @parts.dup
-    end
-    d
-  end
-
-  # Returns a new {LensPath} resulting from concatenating +other+ to the end
-  # of the receiver.
-  # @param other [Object] an accessor, an +Array+ of accessors, or another LensPath
-  # @return [LensPath] the new joined LensPath
-  def +(other)
-    parts =
-      case other
-      when Accessory::LensPath
-        other.to_a
-      when Array
-        other
-      else
-        [other]
-      end
-
-    d = self.dup
-    for part in parts
-      d.append_accessor!(part)
-    end
-    d.freeze
-  end
-
-  alias_method :/, :+
-
-  # Traverses +subject+ using the chain of accessors held in this LensPath,
-  # returning the discovered value.
-  #
-  # *Equivalent* in Elixir:  {https://hexdocs.pm/elixir/Kernel.html#get_in/2 +Kernel.get_in/2+}
-  #
-  # @return [Object] the value found after all traversals.
-  def get_in(subject)
-    if @parts.empty?
-      subject
-    else
-      get_in_step(subject, @parts)
-    end
-  end
-
-  # Traverses +subject+ using the chain of accessors held in this LensPath,
-  # modifying the final value at the end of the traversal chain using
-  # the passed +mutator_fn+, and returning the original targeted value(s)
-  # pre-modification.
-  #
-  # +mutator_fn+ must return one of two data "shapes":
-  # * a two-element +Array+, representing:
-  #   1. the value to surface as the "get" value of the traversal
-  #   2. the new value to replace at the traversal-position
-  # * the Symbol +:pop+ — which will remove the value from its parent, and
-  #   return it as-is.
-  #
-  # *Equivalent* in Elixir: {https://hexdocs.pm/elixir/Kernel.html#get_and_update_in/3 +Kernel.get_and_update_in/3+}
-  #
-  # @param subject [Object] the data-structure to traverse
-  # @param mutator_fn [Proc] a block taking the original value derived from
-  #   traversing +subject+, and returning a modification operation.
-  # @return [Array] a two-element +Array+, consisting of
-  #   1. the _old_ value(s) found after all traversals, and
-  #   2. the updated +subject+
-  def get_and_update_in(subject, &mutator_fn)
-    if @parts.empty?
-      subject
-    else
-      get_and_update_in_step(subject, @parts, mutator_fn)
-    end
-  end
-
-  # Traverses +subject+ using the chain of accessors held in this LensPath,
-  # replacing the final value at the end of the traversal chain with the
-  # result from the passed +new_value_fn+.
-  #
-  # *Equivalent* in Elixir: {https://hexdocs.pm/elixir/Kernel.html#update_in/3 +Kernel.update_in/3+}
-  #
-  # @param subject [Object] the data-structure to traverse
-  # @param new_value_fn [Proc] a block taking the original value derived from
-  #   traversing +subject+, and returning a replacement value.
-  # @return [Array] a two-element +Array+, consisting of
-  #   1. the _old_ value(s) found after all traversals, and
-  #   2. the updated +subject+
-  def update_in(subject, &new_value_fn)
-    _, new_data = self.get_and_update_in(data){ |v| [nil, new_value_fn.call(v)] }
-    new_data
-  end
-
-  # Traverses +subject+ using the chain of accessors held in this LensPath,
-  # replacing the final value at the end of the traversal chain with
-  # +new_value+.
-  #
-  # *Equivalent* in Elixir: {https://hexdocs.pm/elixir/Kernel.html#put_in/3 +Kernel.put_in/3+}
-  #
-  # @param subject [Object] the data-structure to traverse
-  # @param new_value [Object] a replacement value at the traversal position.
-  # @return [Object] the updated +subject+
-  def put_in(subject, new_value)
-    _, new_data = self.get_and_update_in(subject){ [nil, new_value] }
-    new_data
-  end
-
-  # Traverses +subject+ using the chain of accessors held in this LensPath,
-  # removing the final value at the end of the traversal chain from its position
-  # within its parent container.
-  #
-  # *Equivalent* in Elixir: {https://hexdocs.pm/elixir/Kernel.html#pop_in/2 +Kernel.pop_in/2+}
-  #
-  # @param subject [Object] the data-structure to traverse
-  # @return [Object] the updated +subject+
-  def pop_in(subject)
-    self.get_and_update_in(subject){ :pop }
-  end
-
-  protected
-  def append_accessor!(part)
-    accessor =
-      case part
-      when Accessory::Accessor
-        part
-      when Array
-        Accessory::SubscriptAccessor.new(part[0], default: part[1])
-      else
-        Accessory::SubscriptAccessor.new(part)
-      end
-
-    unless @parts.empty?
-      @parts.last.succ_default_data_constructor = accessor.default_data_constructor
-    end
-
-    @parts.push(accessor)
-  end
-
-  private
-  def get_in_step(data, path)
-    step_accessor = path.first
-    rest_of_path = path[1..-1]
-
-    if rest_of_path.empty?
-      step_accessor.get(data)
-    else
-      step_accessor.get(data){ |v| get_in_step(v, rest_of_path) }
-    end
-  end
-
-  private
-  def get_and_update_in_step(data, path, mutator_fn)
-    step_accessor = path.first
-    rest_of_path = path[1..-1]
-
-    if rest_of_path.empty?
-      step_accessor.get_and_update(data, &mutator_fn)
-    else
-      step_accessor.get_and_update(data){ |v| get_and_update_in_step(v, rest_of_path, mutator_fn) }
-    end
-  end
-end