Lines Matching refs:keyR

2332                     Field declared $ Core.makeFieldSelection keyR
2334                     App (Field declared $ Core.makeFieldSelection keyR) valR
2340                     , (keyR, notEmptyRecord declaredR)
2351         keyR = constructorModifier (Data.Text.pack (conName nR))  function
2368                 Nothing   -> Field declared $ Core.makeFieldSelection keyR
2369                 Just valR -> App (Field declared $ Core.makeFieldSelection keyR) valR
2374         keyR = constructorModifier (Data.Text.pack (conName nR))  function
2376         declared = Union (Dhall.Map.insert keyR (notEmptyRecord declaredR) ktsL)
2392                 Nothing   -> Field declared $ Core.makeFieldSelection keyR
2393                 Just valR -> App (Field declared $ Core.makeFieldSelection keyR) valR
2395             (keyR, maybeValR) =
2422                 Nothing   -> Field declared $ Core.makeFieldSelection keyR
2423                 Just valR -> App (Field declared $ Core.makeFieldSelection keyR) valR
2425             (keyR, maybeValR) =