Searched refs:ListFold (Results 1 – 7 of 7) sorted by relevance
271 App (App (App (App (App ListFold _) (ListLit _ xs)) t) cons) nil -> do497 ListFold -> pure ListFold757 App (App (App (App (App (App ListFold _) (ListLit _ _)) _) _) _) _ -> False852 ListFold -> True
1266 diffPrimitiveExpression ListFold ListFold =1268 diffPrimitiveExpression l@ListFold r =1270 diffPrimitiveExpression l r@ListFold =
557 | ListFold constructor822 unsafeSubExpressions _ ListFold = pure ListFold
180 9 | sb == "List/fold" -> return ListFold666 ListFold ->
651 ListFold ->1151 ListFold `qApp` a `qApp` l `qApp` t `qApp` u `qApp` v1335 ListFold ->1336 ListFold
577 , ListFold <$ _ListFold
1312 prettyPrimitiveExpression ListFold =