~singpolyma/dhall-ruby: lib/dhall/types.rb - sourcehut git


                                                                                
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
# frozen_string_literal: true

require "dhall/builtins"

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

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