1
96%
main: 96%

Ran 13 Aug 2024 12:56PM UTC

Files 267

Run time 6s

Badge

Embed ▾

Committed 13 Aug 2024 12:55PM UTC coverage: 86.691% (-0.01%) from 86.701%

Job # 2722.1

Build Type

push

github

Committed by

web-flow

Commit Message

use for each sugar (#853)

Note Iter::all, Iter::any can also be replaced, but it is not optimal currently
```
pub fn myany [T] (iter/9 : Iter[T], f/10 : (T) -> Bool) -> Bool {
  let *foreach_result/29 : Ref[ForeachResult[Bool, Bool, Unit]] = Ref[
      ForeachResult[Bool, Bool, Unit]
    ]::{
      val: Continue()
    } in
  @ignore(
    iter/9(
      fn (x/11 : T) -> Int {
        @nontail_join fn *foreach_exit/30 (*foreach_body_result/31 : IterResult) -> IterResult {
          *foreach_body_result/31
        }

        if f/10(x/11) {
          *foreach_result/29.val = Break(true)
          *foreach_exit/30(0)
        }
        1
      }
    )
  )
  match *foreach_result/29
  .val {
    Continue => false
    Break as *break/32 => *break/32
    .0
    Return as *return/33 => *return/33
    .0
    Error => panic
  }
}

pub fn myall [T] (iter/6 : Iter[T], f/7 : (T) -> Bool) -> Bool {
  let *foreach_result/36 : Ref[ForeachResult[Bool, Bool, Unit]] = Ref[
      ForeachResult[Bool, Bool, Unit]
    ]::{
      val: Continue()
    } in
  @ignore(
    iter/6(
      fn (x/8 : T) -> Int {
        @nontail_join fn *foreach_exit/37 (*foreach_body_result/38 : IterResult) -> IterResult {
          *foreach_body_result/38
        }

        if !f/7(x/8) {
          *foreach_result/36.val = Break(false)
          *foreach_exit/37(0)
        }
        1
      }
    )
  )
  match *foreach_result/36
  .val {
    Continue => true
    Break as *break/39 => *break/39
    .0
    Return as *return/40 => *return/40
    .0
    Error => panic
  }
}
```

Run Details

3739 of 4313 relevant lines covered (86.69%)

4553.91 hits per line

moonbitlang / core / 2722 / 1
96%
main: 96%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 2722.1

moonbitlang / core / 2722 / 1 96% main: 96%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 2722.1

moonbitlang / core / 2722 / 1
96%
main: 96%

README BADGES
x