~/jendhub

def replay.fresh

bend-kit-regex@0.8.0.0 · regex.bend:1744

import bend-kit-regex@0.8.0.0/regex.bend as Regex
import Base

1744# fresh: no match yet and every thread starts at the seed; skip it when next cannot start a match.
1745def replay.fresh(skip: Bool, outs: List<&2, Op>, +ths: List<&2, Th>, +init: List<&2, Maybe<&2, U32>>, +pos: U32) -> Vm:
1746  match skip:
1747    case True{}:
1748      Vm{Nil{}, None{}}
1749    case False{}:
1750      Vm{replay(outs, ths, init, pos), None{}}

Uses (8)

Used by (1)