class Dry::Types::Definition

def self.[](primitive)
  if primitive == ::Array
    Types::Array
  elsif primitive == ::Hash
    Types::Hash
  else
    self
  end
end

def call(input)
  input
end

def constrained?
  false
end

def default?
  false
end

def failure(input, error)
  Result::Failure.new(input, error)
end

def initialize(primitive, options = {})
  super
  @primitive = primitive
  freeze
end

def name
  primitive.name
end

def optional?
  false
end

def primitive?(value)
  value.is_a?(primitive)
end

def result(klass, *args)
  klass.new(*args)
end

def success(input)
  Result::Success.new(input)
end

def to_ast(meta: true)
  [:definition, [primitive, meta ? self.meta : EMPTY_HASH]]
end

def try(input, &block)
  if valid?(input)
    success(input)
  else
    failure = failure(input, "#{input.inspect} must be an instance of #{primitive}")
    block ? yield(failure) : failure
  end
end