Contents

# frozen_string_literal: true
module Speculation
  using NamespacedSymbols.refine(self)
  using Conj

  # @private
  class NilableSpec < SpecImpl
    S = Speculation

    def initialize(pred)
      @pred = pred
      @delayed_spec = Concurrent::Delay.new { S.send(:specize, pred) }
    end

    def conform(value)
      value.nil? ? value : @delayed_spec.value.conform(value)
    end

    def explain(path, via, inn, value)
      return if S.pvalid?(@delayed_spec.value, value) || value.nil?

      S.
        explain1(@pred, path.conj(:pred.ns), via, inn, value).
        conj(:path => path.conj(:nil.ns), :pred => NilClass, :val => value, :via => via, :in => inn)
    end

    def gen(overrides, path, rmap)
      return @gen if @gen

      ->(rantly) do
        rantly.freq([1, Gen.delay { Utils.constantly(nil) }],
                    [9, Gen.delay { S.gensub(@pred, overrides, path.conj(:pred.ns), rmap) }])
      end
    end
  end
end

Version data entries

1 entries across 1 versions & 1 rubygems

Version	Path
speculation-0.1.0	lib/speculation/spec_impl/nilable_spec.rb