Module: Dhall::Types

Defined in:
lib/dhall/types.rb

Class Method Summary collapse

Class Method Details

.MAP(k: Builtins[:Text], v: Builtins[:Text]) ⇒ Object 



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

def self.MAP(k: Builtins[:Text], v: Builtins[:Text])
	Builtins[:List].call(MAP_ENTRY(k: k, v: v))
end

.MAP_ENTRY(k: Builtins[:Text], v: Builtins[:Text]) ⇒ Object 



7
8
9
10
11
12
13
 
# File 'lib/dhall/types.rb', line 7

def self.MAP_ENTRY(k: Builtins[:Text], v: Builtins[:Text])
	RecordType.new(
		record: {
			"mapKey" => k, "mapValue" => v
		}
	)
end