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