def piece.take.pick

gralha-coverage@0.1.0.1 · cover.bend:869

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

869def piece.take.pick(hit: Bool, flat: Bool, a: Array<F32>, order: Array<U32>, +y0: F32, +y1: F32, +base: U32, +k: U32, +n: U32, active: List<&2, Piece>) -> (Array<F32> & Array<U32>) & PieceTake:
870  match hit:
871    case False{}: ((a, order), PieceTake{True{}, k, n, active})
872    case True{}:
873      match flat:
874        case True{}: ((a, order), PieceTake{False{}, (k + 1 : U32), n, active})
875        case False{}: piece.take.x0(Array.get(F32, a, base), order, y0, y1, base, k, n, active)

Uses (12)

Used by (1)