eval-results.hs

foldlS _f _nil list


(\f z l ->
   case l of
     Nil -> z
     Cons x xs ->
       case f z x of
         0 -> foldlS f 0 xs
         r -> foldlS f r xs)
  _f
  _nil
  list
  
  
(\z l ->
   case l of
     Nil -> z
     Cons x xs ->
       case _f z x of
         0 -> foldlS _f 0 xs
         r -> foldlS _f r xs)
  _nil
  list
  
  
(\l ->
   case l of
     Nil -> _nil
     Cons x xs ->
       case _f _nil x of
         0 -> foldlS _f 0 xs
         r -> foldlS _f r xs)
  list
  
  
case list of
  Nil -> _nil
  Cons x xs ->
    case _f _nil x of
      0 -> foldlS _f 0 xs
      r -> foldlS _f r xs
      
      
case Cons True (Cons False Nil) of
  Nil -> _nil
  Cons x xs ->
    case _f _nil x of
      0 -> foldlS _f 0 xs
      r -> foldlS _f r xs
      
      
case _f _nil True of
  0 -> foldlS _f 0 (Cons False Nil)
  r -> foldlS _f r (Cons False Nil)