Searched refs:ListIndexed (Results 1 – 7 of 7) sorted by relevance
296 App (App ListIndexed _A₀) (ListLit _ as₀) -> loop (ListLit t as₁)501 ListIndexed -> pure ListIndexed761 App (App ListIndexed _) (ListLit _ _) -> False856 ListIndexed -> True
1290 diffPrimitiveExpression ListIndexed ListIndexed =1292 diffPrimitiveExpression l@ListIndexed r =1294 diffPrimitiveExpression l r@ListIndexed =
565 | ListIndexed constructor826 unsafeSubExpressions _ ListIndexed = pure ListIndexed
189 | sb == "List/indexed" -> return ListIndexed678 ListIndexed ->
692 ListIndexed ->1159 ListIndexed `qApp` a `qApp` t1343 ListIndexed ->1344 ListIndexed
581 , ListIndexed <$ _ListIndexed
1320 prettyPrimitiveExpression ListIndexed =