Class: Dhall::Coder::Verifier

Inherits:
Object
  • Object
show all
Defined in:
lib/dhall/coder.rb

Instance Method Summary collapse

Constructor Details

#initialize(*classes) ⇒ Verifier

Returns a new instance of Verifier.



14
15
16
17
 
# File 'lib/dhall/coder.rb', line 14

def initialize(*classes)
	@classes = classes
	@matcher = ValueSemantics::Either.new(classes)
end

Instance Method Details

#verify(obj, op) ⇒ Object 



28
29
30
31
32
33
34
35
 
# File 'lib/dhall/coder.rb', line 28

def verify(obj, op)
	if @matcher === obj
		obj
	else
		raise ArgumentError, "#{op} does not match "\
		                     "#{@classes.inspect}: #{obj.inspect}"
	end
end

#verify_class(klass, op) ⇒ Object 



19
20
21
22
23
24
25
26
 
# File 'lib/dhall/coder.rb', line 19

def verify_class(klass, op)
	if @classes.any? { |safe| klass <= safe }
		klass
	else
		raise ArgumentError, "#{op} does not match "\
		                     "#{@classes.inspect}: #{klass}"
	end
end