Method: Dhall::TypeChecker.assert

Defined in:
lib/dhall/typecheck.rb

.assert(type, assertion, message) ⇒ Object

Raises:

  • (TypeError) 


8
9
10
11
 
# File 'lib/dhall/typecheck.rb', line 8

def self.assert(type, assertion, message)
	raise TypeError, message unless assertion === type
	type
end