diff options
Diffstat (limited to 'frontend/utilities.icl')
| -rw-r--r-- | frontend/utilities.icl | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/frontend/utilities.icl b/frontend/utilities.icl index 6b5f09c..3ceb48b 100644 --- a/frontend/utilities.icl +++ b/frontend/utilities.icl @@ -266,6 +266,15 @@ foldrArraySt f a st # (ai, a) = a![i] = foldr_a_st (i-1) a (f ai st) +firstIndex p l :== first_index l 0 + where + first_index [] i + = (i-i)-1 + first_index [h:t] i + | p h + = i + = first_index t (i+1) + optCons :: !(Optional .a) !u:[.a] -> (!v:[.a], !Int) ,[u <= v] optCons No l = (l, 0) |