Searched refs:fieldSelectionLabel (Results 1 – 10 of 10) sorted by relevance
1088 … docs (Field aL (Syntax.fieldSelectionLabel -> bL)) (Field aR (Syntax.fieldSelectionLabel -> bR)) =1103 … docs (Field aL (Syntax.fieldSelectionLabel -> bL)) (Field aR (Syntax.fieldSelectionLabel ->bR)) =
568 Field (Union ktsY) (Syntax.fieldSelectionLabel -> kY) ->576 App (Field (Union ktsY) (Syntax.fieldSelectionLabel -> kY)) vY ->620 Field r k@FieldSelection{fieldSelectionLabel = x} -> do
846 Field t (Syntax.fieldSelectionLabel -> x) ->
415 , fieldSelectionLabel :: !Text function
778 Field t (Syntax.fieldSelectionLabel -> k) ->
1115 Field e (Syntax.fieldSelectionLabel -> x) -> do
1696 unsafeExpectUnionLit _ (Field (Union _) (Core.fieldSelectionLabel -> k)) =1698 unsafeExpectUnionLit _ (App (Field (Union _) (Core.fieldSelectionLabel -> k)) v) =1723 extractUnionConstructor (App (Field (Union kts) (Core.fieldSelectionLabel -> fld)) e) =1725 extractUnionConstructor (Field (Union kts) (Core.fieldSelectionLabel -> fld)) =
73 (Dhall.Field union (Dhall.FieldSelection { fieldSelectionLabel = "Local" }))
1245 prettySelectorExpression (Field a (Dhall.Syntax.fieldSelectionLabel -> b)) =
95 `Dhall.Core.fieldSelectionLabel` to convert between the detailed and the