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