Class: Dhall::Forall

Inherits:

Function

• Object
• Expression
• Function
• Dhall::Forall

Defined in:

lib/dhall/ast.rb

Instance Method Summary

• #as_json ⇒ Object

Methods inherited from Function

#<<, #>>, #binding, #call, #curry, decode, disable_alpha_normalization!, enable_alpha_normalization!, #normalize, of_arguments, #shift, #substitute

Methods inherited from Expression

#&, #*, #+, #annotate, #as_dhall, #cache_key, #call, #concat, decode, #deep_merge, #deep_merge_type, #dhall_eq, #digest, #fetch, #fusion, #merge, #normalize, #resolve, #shift, #slice, #substitute, #to_binary, #to_cbor, #to_proc, #to_s, #|

Instance Method Details

#as_json ⇒ Object

# File 'lib/dhall/ast.rb', line 216

def as_json
	if var == "_"
		[2, type.as_json, body.as_json]
	else
		[2, var, type.as_json, body.as_json]
	end
end