Class: Dry::Types::PredicateInferrer

Inherits:
Object
  • Object
show all
Extended by:
Core::Cache
Defined in:
lib/dry/types/predicate_inferrer.rb

Overview

PredicateInferrer returns the list of predicates used by a type.

Defined Under Namespace

Classes: Compiler

Constant Summary collapse

TYPE_TO_PREDICATE = 
{
  ::DateTime => :date_time?,
  ::Date => :date?,
  ::Time => :time?,
  ::FalseClass => :false?,
  ::Integer => :int?,
  ::Float => :float?,
  ::NilClass => :nil?,
  ::String => :str?,
  ::TrueClass => :true?,
  ::BigDecimal => :decimal?,
  ::Array => :array?
}.freeze
REDUCED_TYPES = 
{
  [[[:true?], [:false?]]] => %i[bool?]
}.freeze
HASH = 
%i[hash?].freeze
ARRAY = 
%i[array?].freeze
NIL = 
%i[nil?].freeze

Instance Attribute Summary collapse

Instance Method Summary collapse

Constructor Details

#initialize(registry = PredicateRegistry.new) ⇒ PredicateInferrer

This method is part of a private API. You should avoid using this method if possible, as it may be removed or be changed in the future.

Returns a new instance of PredicateInferrer.



212
213
214
 
# File 'lib/dry/types/predicate_inferrer.rb', line 212

def initialize(registry = PredicateRegistry.new)
  @compiler = Compiler.new(registry)
end

Instance Attribute Details

#compiler ⇒ Compiler (readonly)

This method is part of a private API. You should avoid using this method if possible, as it may be removed or be changed in the future. 



209
210
211
 
# File 'lib/dry/types/predicate_inferrer.rb', line 209

def compiler
  @compiler
end

Instance Method Details

#[](type) ⇒ Symbol

This method is part of a private API. You should avoid using this method if possible, as it may be removed or be changed in the future.

Infer predicate identifier from the provided type



222
223
224
225
226
227
228
229
230
231
232
 
# File 'lib/dry/types/predicate_inferrer.rb', line 222

def [](type)
  self.class.fetch_or_store(type) do
    predicates = compiler.visit(type.to_ast)

    if predicates.is_a?(::Hash)
      predicates
    else
      REDUCED_TYPES[predicates] || predicates
    end
  end
end