~/jendhub

def pieces.retire

gralha-coverage@0.1.0.1 · cover.bend:709

import gralha-coverage@0.1.0.1/cover.bend as Cover
import Base

709def pieces.retire(xs: List<&2, Piece>, +bottom: F32, acc: List<&2, Piece>) -> List<&2, Piece>:
710  match xs:
711    case Nil{}: acc
712    case Con{p, rest}:
713      +pp = p
714      pieces.retire(rest, bottom, piece.keep(F32.is_gt(piece.bottom(pp), bottom), pp, acc))

Uses (6)

Used by (1)