module Dhall::Types
Public Class Methods
MAP(k: Builtins[:Text], v: Builtins[:Text])
click to toggle source
# 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])
click to toggle source
# 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