Module: Dhall::Parser::Expression

Defined in:
lib/dhall/parser.rb

Instance Method Summary collapse

Instance Method Details

#arrow ⇒ Object 



59
60
61
62
63
64
 
# File 'lib/dhall/parser.rb', line 59

def arrow
  Forall.of_arguments(
    capture(:operator_expression).value,
    body: capture(:expression).value
  )
end

#forall ⇒ Object 



51
52
53
54
55
56
57
 
# File 'lib/dhall/parser.rb', line 51

def forall
  Forall.new(
    var:  capture(:nonreserved_label).value,
    type: captures(:expression)[0].value,
    body: captures(:expression)[1].value
  )
end

#if ⇒ Object 



66
67
68
69
70
71
72
 
# File 'lib/dhall/parser.rb', line 66

def if
  If.new(
    predicate: captures(:expression)[0].value,
    then:      captures(:expression)[1].value,
    else:      captures(:expression)[2].value
  )
end

#lambda ⇒ Object 



43
44
45
46
47
48
49
 
# File 'lib/dhall/parser.rb', line 43

def lambda
  Function.new(
    var:  capture(:nonreserved_label).value,
    type: captures(:expression)[0].value,
    body: captures(:expression)[1].value
  )
end

#let_binding ⇒ Object 



36
37
38
39
40
41
 
# File 'lib/dhall/parser.rb', line 36

def let_binding
  LetBlock.for(
    lets: captures(:let_binding).map(&:value),
    body: capture(:expression).value
  )
end

#merge ⇒ Object 



74
75
76
77
78
79
80
 
# File 'lib/dhall/parser.rb', line 74

def merge
  Merge.new(
    record: captures(:import_expression)[0].value,
    input:  captures(:import_expression)[1].value,
    type:   capture(:application_expression)&.value
  )
end

#value ⇒ Object 



23
24
25
26
27
28
29
30
31
32
33
34
 
# File 'lib/dhall/parser.rb', line 23

def value
  key =
    [:let_binding, :lambda, :forall, :arrow, :if, :merge]
    .find { |k| captures.key?(k) }

  return public_send(key) if key

  key =
    [:empty_collection, :non_empty_optional]
    .find { |k| captures.key?(k) }
  key ? capture(key).value : super
end